Ilya Shlyakhter

14 papers A* 4A 1B 1C 1Journal 6Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
insilicoSV: a flexible grammar-based framework for structural variant simulation and placement.
Bioinform.
Enzo Battistella, Nick Jiang, Chris Rohlicek, Ilya Shlyakhter, Victoria Popic
2021 J jnl
DataLad: distributed system for joint management of code, data, and their relationship.
J. Open Source Softw.
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 K. 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
2008 J jnl
Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Aleksandr Zaks, Zijiang Yang, Ilya Shlyakhter, Franjo Ivancic, Srihari Cadambi, Malay K. Ganai, Aarti Gupta, Pranav Ashar
2007 J jnl
Generating effective symmetry-breaking predicates for search problems.
Discret. Appl. Math.
Ilya Shlyakhter
2006 B conf
Static Analysis in Disjunctive Numerical Domains.
SAS
Sriram Sankaranarayanan, Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta
2006 A* conf
Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop.
CAV
Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya Shlyakhter, Chao Wang
2005 A* conf
F-Soft: Software Verification Platform.
CAV
Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Ilya Shlyakhter, Pranav Ashar
2005 C conf
Model Checking C Programs Using F-SOFT.
ICCD
Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Malay K. Ganai, Vineet Kahlon, Chao Wang, Zijiang Yang
2003 A conf
A Case for Efficient Solution Enumeration.
SAT
Sarfraz Khurshid, Darko Marinov, Ilya Shlyakhter, Daniel Jackson
2003 A* conf
Debugging Overconstrained Declarative Models Using Unsatisfiable Cores.
ASE
Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri
2001 — conf
A micromodularity mechanism.
ESEC / SIGSOFT FSE
Daniel Jackson, Ilya Shlyakhter, Manu Sridharan
2001 J jnl
Generating effective symmetry-breaking predicates for search problems.
Electron. Notes Discret. Math.
Ilya Shlyakhter
2001 J jnl
Reconstructing 3D Tree Models from Instrumented Photographs.
IEEE Computer Graphics and Applications
Ilya Shlyakhter, Max Rozenoer, Julie Dorsey, Seth J. Teller
2000 A* conf
Alcoa: the alloy constraint analyzer.
ICSE
Daniel Jackson, Ian Schechter, Ilya Shlyakhter