Ilya Shlyakhter

According to our database, Ilya Shlyakhter authored at least 13 papers between 2000 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

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, Laura Waite, Ilya Shlyakhter, Alejandro de la Vega, Soichi Hayashi, Christian Olaf Häusler, Jean-Baptiste Poline, Tobias Kadelka, Kusti Skytén, Dorota Jarecka, David N. Kennedy, Ted J. Strauss, Matt Cieslak, Peter Vavra, Horea-Ioan Ioanas, Robin Schneider, Mika Pflüger, James V. Haxby, Simon B. Eickhoff, Michael Hanke

J. Open Source Softw., 2021

2014

<i>Cosi2: </i> an efficient simulator of exact and approximate coalescent with selection.

Ilya Shlyakhter, Pardis C. Sabeti, Stephen F. Schaffner

Bioinform., 2014

2008

Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking.

Aleksandr Zaks, Zijiang Yang, Ilya Shlyakhter, Franjo Ivancic, Srihari Cadambi, Malay K. Ganai, Aarti Gupta, Pranav Ashar

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008

2007

Generating effective symmetry-breaking predicates for search problems.

Ilya Shlyakhter

Discret. Appl. Math., 2007

2006

Static Analysis in Disjunctive Numerical Domains.

Sriram Sankaranarayanan, Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta

Proceedings of the Static Analysis, 13th International Symposium, 2006

Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop.

Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya Shlyakhter, Chao Wang

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005

Model Checking C Programs Using F-SOFT.

Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Malay K. Ganai, Vineet Kahlon, Chao Wang, Zijiang Yang

Proceedings of the 23rd International Conference on Computer Design (ICCD 2005), 2005

F-Soft: Software Verification Platform.

Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Ilya Shlyakhter, Pranav Ashar

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2003

A Case for Efficient Solution Enumeration.

Sarfraz Khurshid, Darko Marinov, Ilya Shlyakhter, Daniel Jackson

Proceedings of the Theory and Applications of Satisfiability Testing, 2003

Debugging Overconstrained Declarative Models Using Unsatisfiable Cores.

Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri

Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

2001

Reconstructing 3D Tree Models from Instrumented Photographs.

Ilya Shlyakhter, Max Rozenoer, Julie Dorsey, Seth J. Teller

IEEE Computer Graphics and Applications, 2001

A micromodularity mechanism.

Daniel Jackson, Ilya Shlyakhter, Manu Sridharan

Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

2000

Alcoa: the alloy constraint analyzer.

Daniel Jackson, Ian Schechter, Ilya Shlyakhter

Proceedings of the 22nd International Conference on on Software Engineering, 2000