Ilya Shlyakhter

Aleksandr Zaks, Zijiang Yang, Ilya Shlyakhter, Franjo Ivancic, Srihari Cadambi, Malay K. Ganai, Aarti Gupta, Pranav Ashar: Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking. IEEE Trans. on CAD of Integrated Circuits and Systems 27(8): 1513-1517 (2008)

Ilya Shlyakhter: Generating effective symmetry-breaking predicates for search problems. Discrete Applied Mathematics 155(12): 1539-1548 (2007)

Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya Shlyakhter, Chao Wang: Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop. CAV 2006: 137-151

Sriram Sankaranarayanan, Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta: Static Analysis in Disjunctive Numerical Domains. SAS 2006: 3-17

Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Ilya Shlyakhter, Pranav Ashar: F-Soft: Software Verification Platform. CAV 2005: 301-306

Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Malay K. Ganai: Model Checking C Programs Using F-SOFT. ICCD 2005: 297-308

Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri: Debugging Overconstrained Declarative Models Using Unsatisfiable Cores. ASE 2003: 94-105

Sarfraz Khurshid, Darko Marinov, Ilya Shlyakhter, Daniel Jackson: A Case for Efficient Solution Enumeration. SAT 2003: 272-286

Ilya Shlyakhter, Max Rozenoer, Julie Dorsey, Seth J. Teller: Reconstructing 3D Tree Models from Instrumented Photographs. IEEE Computer Graphics and Applications 21(3): 53-61 (2001)

Ilya Shlyakhter: Generating effective symmetry-breaking predicates for search problems. Electronic Notes in Discrete Mathematics 9: 19-35 (2001)

Daniel Jackson, Ilya Shlyakhter, Manu Sridharan: A micromodularity mechanism. ESEC / SIGSOFT FSE 2001: 62-73

Daniel Jackson, Ian Schechter, Ilya Shlyakhter: Alcoa: the alloy constraint analyzer. ICSE 2000: 730-733