Alcoa: the alloy constraint analyzer. - Daniel Jackson 001; Ian Schechter; Ilya Shlyakhter (ICSE, 2000)

A micromodularity mechanism. - Daniel Jackson 001; Ilya Shlyakhter; Manu Sridharan (ESEC / SIGSOFT FSE, 2001)

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

Debugging Overconstrained Declarative Models Using Unsatisfiable Cores. - Ilya Shlyakhter; Robert Seater; Daniel Jackson 001; Manu Sridharan; Mana Taghdiri (ASE, 2003)

A Case for Efficient Solution Enumeration. - Sarfraz Khurshid; Darko Marinov; Ilya Shlyakhter; Daniel Jackson 001 (SAT, 2003)

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

Model Checking C Programs Using F-SOFT. - Franjo Ivancic; Ilya Shlyakhter; Aarti Gupta; Malay K. Ganai; Vineet Kahlon; Chao Wang 001; Zijiang Yang 006 (ICCD, 2005)

Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop. - Himanshu Jain; Franjo Ivancic; Aarti Gupta; Ilya Shlyakhter; Chao Wang 001 (CAV, 2006)

Static Analysis in Disjunctive Numerical Domains. - Sriram Sankaranarayanan 001; Franjo Ivancic; Ilya Shlyakhter; Aarti Gupta (SAS, 2006)

Generating effective symmetry-breaking predicates for search problems. - Ilya Shlyakhter (Discret. Appl. Math., 2007)

Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking. - Aleksandr Zaks; Zijiang Yang 006; Ilya Shlyakhter; Franjo Ivancic; Srihari Cadambi; Malay K. Ganai; Aarti Gupta; Pranav Ashar (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008)

Cosi2: an efficient simulator of exact and approximate coalescent with selection. - Ilya Shlyakhter; Pardis C. Sabeti; Stephen F. Schaffner (Bioinform., 2014)

DataLad: distributed system for joint management of code, data, and their relationship. - Yaroslav O. Halchenko; Kyle Meyer; Benjamin Poldrack; Debanjum Singh Solanky; Adina S. Wagner; Jason Gors; Dave MacFarlane; Dorian Pustina; Vanessa V. Sochat; Satrajit S. Ghosh; Christian Mönch; Christopher J. Markiewicz; et al. (J. Open Source Softw., 2021)