BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Shlyakhter:Ilya

Contributed to:

CAV 20062006
SAS 20062006
CAV 20052005
ASE 20032003
SAT 20032003
ESEC/FSE 20012001
SAT 20012001
ICSE 20002000

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.