This page has moved: the current version is at http://ilya.cc.
For Alexander Shlyakhter's page, please go here.
Ilya Shlyakhter's page
Welcome to my (bare-bones) homepage!
Email me at .
Address: 52 Oxford St Rm 471G, Cambridge, MA 02138
I'm a computational biologist in the Sabeti Lab at Harvard University. Until 2/07, I was a research staff member in the Verification Group at NEC Laboratories.
If you have a PDF viewer,
you can look at my resume.
Short letters on varied subjects: all, NY Times, LA Times,
WashPost, The Economist, WSJ, Boston Globe, USA Today, Chicago Tribune, Time Magazine, Philadelphia Inquirer, misc.
Papers:
- S. Grossman, I. Shlyakhter, E. K. Karlsson, E. H. Byrne, S. Morales, G. Frieden, E. Hostetter, E. Angelino, M. Garber, O. Zuk, E. S. Lander, S. F. Schaffner, P. C. Sabeti. A Composite of Multiple Signals Distinguishes Causal Variants in Regions of Positive Selection. Science 12 February 2010:
Vol. 327. no. 5967.
- 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 (poster).
- 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)
- 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
)
- 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.
- 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.
Links:
Related work: