Ilya Shlyakhter's page

Welcome to my (bare-bones) homepage!

Email me at .

Phone: 617-256-6780 cell

Address: 200 Technology Sq Rm 440, Cambridge, MA 02139

If you have a PDF viewer, you can look at my resume.

Papers:

• I. Shlyakhter, R. Seater, D. Jackson, M. Sridharan, M. Taghdiri. Debugging Overconstrained Declarative Models Using Unsatisfiable Cores, ASE 2003 (best paper award).
• I. Shlyakhter, M. Sridharan, R. Seater, D. Jackson. Exploiting Subformula Sharing in Automatic Analysis of Quantified Formulas. Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT 2003), S. Margherita Ligure - Portofino ( Italy), May 2003 (poster).
• S. Khurshid, D. Marinov, I. Shlyakhter, D. Jackson. A Case for Efficient Solution Enumeration. Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT 2003), S. Margherita Ligure - Portofino ( Italy), May 2003.
• I. Shlyakhter. Generating effective symmetry-breaking predicates for search problems (to appear in Discrete Applied Mathematics, special issue on satisfiability)
An earlier version, presented at the SAT '01 Workshop, has appeared in Electronic Notes in Discrete Mathematics, vol. 9, June 2001.
• A Micromodularity Mechanism, by Daniel Jackson, Ilya Shlyakhter and Manu Sridharan. Proc. ACM SIGSOFT Conf. Foundations of Software Engineering/European Software Engineering Conference (FSE/ESEC '01), Vienna, September 2001.
• Alcoa: the Alloy Constraint Analyzer, by Daniel Jackson, Ian Schechter and Ilya Shlyakhter. Proc. International Conference on Software Engineering, Limerick, Ireland, June 2000
• Reconstructing 3D Tree Models from Instrumented Photographs, by Ilya Shlyakhter, Max Rozenoer, Julie Dorsey, and Seth Teller. IEEE Computer Graphics and Applications, 21(3): 53-61, May/June 2001.
• "Estimating uncertainty in physical measurements, observational and environmental studies: Lessons from trends in nuclear data", A.I. Shlyakhter, I. Shlyakhter, C.L. Broido and R. Wilson. In: Proceed. ISUMA '93 Second International Symposium on Uncertainty Modeling and Analysis, IEEE Computer Society Press (1993), pp. 310-317
• An Empirical Examination of Factors Influencing Prediction of Carcinogenic Hazard Across Species", G.M. Gray, P. Li, I. Shlyakhter, R. Wilson, Regulatory Toxicology and Pharmacology, 22 283-291 (1995).
• Some earlier work related to SAT solvers: a progress bar for measuring progress of search, and a parallelization framework for SAT solvers.
• Area exam paper: a review of modern SAT techniques.
• Letters to the editor: NY Times, LA Times, WashPost, The Economist, WSJ, Boston Globe, USA Today, Time Magazine, unpublilshed.

• Alloy Analyzer
• Using symmetries to speed up search
• My father's homepage
• My brother Michael's homepage: exhibition of his artworks.
• Russian books on tape
• Pesni Dmitriya Kolomenskogo
• Courses on tape

• SPIN model checker
• Murphi verifier
• NuSMV model checker
• Model checking at CMU