Ilya Shlyakhter

Publication Activity (10 Years)

Years Active: 2000-2021
Publications (10 Years): 1

Top Topics

String Matching

Exact And Approximate

Data Availability

Top Venues

J. Open Source Softw.

Publications

Yaroslav O. Halchenko, Kyle Meyer, Benjamin Poldrack, Debanjum Singh Solanky, Adina 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 Strauss, Matt Cieslak, Peter Vavra, Horea-Ioan Ioanas, Robin Schneider, Mika Pflüger, James V. Haxby, Simon B. Eickhoff, Michael Hanke
DataLad: distributed system for joint management of code, data, and their relationship. J. Open Source Softw. 6 (63) (2021)
Ilya Shlyakhter, Pardis C. Sabeti, Stephen F. Schaffner
an efficient simulator of exact and approximate coalescent with selection. Bioinform. 30 (23) (2014)
Aleksandr Zaks, Zijiang Yang, Ilya Shlyakhter, Franjo Ivancic, Srihari Cadambi, Malay K. Ganai, Aarti Gupta, Pranav Ashar
Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27 (8) (2008)
Ilya Shlyakhter
Generating effective symmetry-breaking predicates for search problems. Discret. Appl. Math. 155 (12) (2007)
Sriram Sankaranarayanan, Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta
Static Analysis in Disjunctive Numerical Domains. SAS (2006)
Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya Shlyakhter, Chao Wang
Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop. CAV (2006)
Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Malay K. Ganai, Vineet Kahlon, Chao Wang, Zijiang Yang
Model Checking C Programs Using F-SOFT. ICCD (2005)
Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Ilya Shlyakhter, Pranav Ashar
F-Soft: Software Verification Platform. CAV (2005)
Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri
Debugging Overconstrained Declarative Models Using Unsatisfiable Cores. ASE (2003)
Sarfraz Khurshid, Darko Marinov, Ilya Shlyakhter, Daniel Jackson
A Case for Efficient Solution Enumeration. SAT (2003)
Ilya Shlyakhter
Generating effective symmetry-breaking predicates for search problems. Electron. Notes Discret. Math. 9 (2001)
Daniel Jackson, Ilya Shlyakhter, Manu Sridharan
A micromodularity mechanism. ESEC / SIGSOFT FSE (2001)
Ilya Shlyakhter, Max Rozenoer, Julie Dorsey, Seth J. Teller
Reconstructing 3D Tree Models from Instrumented Photographs. IEEE Computer Graphics and Applications 21 (3) (2001)
Daniel Jackson, Ian Schechter, Ilya Shlyakhter
Alcoa: the alloy constraint analyzer. ICSE (2000)