Ilya Shlyakhter

2008
12	EE	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. on CAD of Integrated Circuits and Systems 27(8): 1513-1517 (2008)
2007
11	EE	Ilya Shlyakhter: Generating effective symmetry-breaking predicates for search problems. Discrete Applied Mathematics 155(12): 1539-1548 (2007)
2006
10	EE	Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya Shlyakhter, Chao Wang: Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop. CAV 2006: 137-151
9	EE	Sriram Sankaranarayanan, Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta: Static Analysis in Disjunctive Numerical Domains. SAS 2006: 3-17
2005
8	EE	Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Ilya Shlyakhter, Pranav Ashar: F-Soft: Software Verification Platform. CAV 2005: 301-306
7	EE	Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Malay K. Ganai: Model Checking C Programs Using F-SOFT. ICCD 2005: 297-308
2003
6	EE	Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri: Debugging Overconstrained Declarative Models Using Unsatisfiable Cores. ASE 2003: 94-105
5	EE	Sarfraz Khurshid, Darko Marinov, Ilya Shlyakhter, Daniel Jackson: A Case for Efficient Solution Enumeration. SAT 2003: 272-286
2001
4	EE	Daniel Jackson, Ilya Shlyakhter, Manu Sridharan: A micromodularity mechanism. ESEC / SIGSOFT FSE 2001: 62-73
3	EE	Ilya Shlyakhter: Generating effective symmetry-breaking predicates for search problems. Electronic Notes in Discrete Mathematics 9: 19-35 (2001)
2	EE	Ilya Shlyakhter, Max Rozenoer, Julie Dorsey, Seth J. Teller: Reconstructing 3D Tree Models from Instrumented Photographs. IEEE Computer Graphics and Applications 21(3): 53-61 (2001)
2000
1	EE	Daniel Jackson, Ian Schechter, Ilya Shlyakhter: Alcoa: the alloy constraint analyzer. ICSE 2000: 730-733

Coauthor Index

1	Pranav Ashar	[8] [12]
2	Srihari Cadambi	[12]
3	Julie Dorsey	[2]
4	Malay K. Ganai	[7] [8] [12]
5	Aarti Gupta	[7] [8] [9] [10] [12]
6	Franjo Ivancic	[7] [8] [9] [10] [12]
7	Daniel Jackson	[1] [4] [5] [6]
8	Himanshu Jain	[10]
9	Sarfraz Khurshid	[5]
10	Darko Marinov	[5]
11	Max Rozenoer	[2]
12	Sriram Sankaranarayanan	[9]
13	Ian Schechter	[1]
14	Robert Seater	[6]
15	Manu Sridharan	[4] [6]
16	Mana Taghdiri	[6]
17	Seth J. Teller	[2]
18	Chao Wang	[10]
19	Zijiang Yang	[8] [12]
20	Aleksandr Zaks	[12]

Colors in the list of coauthors