For Alexander Shlyakhter's page, please go here.

Ilya Shlyakhter's page

Welcome to my (bare-bones) homepage!

Email me at .

Phone: 617-256-6780 cell, 617-258-0935 work

Address: 320 Charles St Rm 2242, Cambridge, MA 02141

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

Papers:

• I. MacCallum, I. Shlyakhter, D. Przybylski, J. Butler, E. Lander, C. Nusbaum, D. Jaffe. De novo assembly of microbial genomes from Illumina whole-genome shotgun data. CSHL Meeting on The Biology of Genomes, May 2008.
• J. Butler, I. MacCallum, M. Kleber, I. Shlyakhter, M. Belmonte, E. Lander, C. Nusbaum, D. Jaffe. ALLPATHS: de novo assembly of whole-genome shotgun microreads. (to appear in Genome Research)
• F. Ivancic, I. Shlyakhter, A. Gupta, M. K. Ganai, V. Kahlon, C. Wang, Z. Yang. Model Checking C Programs Using F-Soft (invited tutorial). ICCD 2005
• F. Ivancic, Z. Yang, M.K. Ganai, A. Gupta, I. Shlyakhter, P. Ashar. F-Soft: Software Verification Platform (tool paper). CAV 2005.
• 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 ( Discrete Applied Mathematics, special issue on satisfiability, vol. 155 no. 12, 15 June 2007, pp. 1539-1548, doi:10.1016/j.dam.2005.10.018 )
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: all, NY Times, LA Times, WashPost, The Economist, WSJ, Boston Globe, USA Today, Chicago Tribune, Time Magazine, Philadelphia Inquirer, NYT Magazine, misc.

• 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