A Tale Of Two Solvers: Eager and Lazy Approaches to Bit-vectors? Liana Hadarean1 , Kshitij Bansal1 , Dejan Jovanovi´c3 , Clark Barrett1 , and Cesare Tinelli2 1 2

Source URL: csl.sri.com

• Theoretical computer science
• Computational complexity theory
• Mathematics
• Logic in computer science
• Electronic design automation
• Formal methods
• NP-complete problems
• Boolean algebra
• Satisfiability modulo theories
• Boolean satisfiability problem
• Conflict-driven clause learning
• Solver

Beyond Shapes: Lists with Ordered Data Kshitij Bansal ?1

Source URL: www.lsv.ens-cachan.fr

The link between integrability, level crossings, and exact solution in quantum models Emil Yuzbashyan Rutgers University Collaborators: Haile K. Owusu and Kshitij Wagh

Source URL: www.physics.rutgers.edu

Deciding Local Theory Extensions via E-matching Kshitij Bansal1 , Andrew Reynolds2 , Tim King3 , Clark Barrett1 , and Thomas Wies1 1 2 3

Source URL: lara.epfl.ch

Structural Counter Abstraction Kshitij Bansal1 , Eric Koskinen1? , Thomas Wies1 , and Damien Zufferey2?? 1 New York University 2

Source URL: pub.ist.ac.at

Structural Counter Abstraction Kshitij Bansal1 , Eric Koskinen1? , Thomas Wies1 , and Damien Zufferey2?? 1 New York University 2

Source URL: pub.ist.ac.at

Dynamic Hardware-Assisted Software-Controlled Page Placement to Manage Capacity Allocation and Sharing within Large Caches ∗ Manu Awasthi, Kshitij Sudan, Rajeev Balasubramonian, John Carter School of Computing, Univers

Source URL: www.cs.utah.edu

Understanding the Behavior of Pthread Applications on Non-Uniform Cache Architectures Gagandeep S. Sachdev, Kshitij Sudan, Mary W. Hall, Rajeev Balasubramonian School of Computing, University of Utah Abstract

Source URL: www.cs.utah.edu

Handling the Problems and Opportunities Posed by Multiple On-Chip Memory Controllers ∗ Manu Awasthi, David Nellans, Kshitij Sudan, Rajeev Balasubramonian, Al Davis

Source URL: www.cs.utah.edu

Looking THROUGH versus Looking AT Kshitij Sharma Computer Human Interaction Lab in Learning and Instruction Eye-tracking: then

Source URL: www.delftdatascience.tudelft.nl