Travelled to:1 × Austria
1 × Canada
1 × Ireland
1 × Italy
1 × Korea
1 × United Kingdom
2 × USA
Collaborated with:D.Jackson F.Ivancic A.Gupta M.Sridharan ∅ I.Schechter S.Sankaranarayanan S.Khurshid D.Marinov H.Jain C.Wang R.Seater M.Taghdiri Z.Yang M.K.Ganai P.Ashar
Talks about:static (2) predic (2) use (2) overconstrain (1) micromodular (1) constraint (1) unsatisfi (1) symmetri (1) platform (1) disjunct (1)
Person: Ilya Shlyakhter
DBLP: Shlyakhter:Ilya
Contributed to:
2006
20062005
2003
2003
20012001
2000Wrote 8 papers:
- CAV-2006-JainIGSW #abstraction #invariant #refinement #using
- Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop (HJ, FI, AG, IS, CW), pp. 137–151.
- SAS-2006-SankaranarayananISG #static analysis
- Static Analysis in Disjunctive Numerical Domains (SS, FI, IS, AG), pp. 3–17.
- CAV-2005-IvancicYGGSA #framework #named #platform #verification
- F-Soft: Software Verification Platform (FI, ZY, MKG, AG, IS, PA), pp. 301–306.
- ASE-2003-ShlyakhterSJST #debugging #declarative #modelling #satisfiability #using
- Debugging Overconstrained Declarative Models Using Unsatisfiable Cores (IS, RS, DJ, MS, MT), pp. 94–105.
- SAT-2003-KhurshidMSJ #performance
- A Case for Efficient Solution Enumeration (SK, DM, IS, DJ), pp. 272–286.
- ESEC-FSE-2001-JacksonSS
- A micromodularity mechanism (DJ, IS, MS), pp. 62–73.
- SAT-2001-Shlyakhter #effectiveness #generative #problem #symmetry
- Generating effective symmetry-breaking predicates for search problems (IS), pp. 19–35.
- ICSE-2000-JacksonSS #alloy #constraints #named
- Alcoa: the alloy constraint analyzer (DJ, IS, IS), pp. 730–733.