| 2008 |
|---|
| 10 | EE | Alexey Loginov,
Eran Yahav,
Satish Chandra,
Stephen Fink,
Noam Rinetzky,
Mangala Gowri Nanda:
Verifying dereference safety via expanding-scope analysis.
ISSTA 2008: 213-224 |
| 2006 |
|---|
| 9 | EE | Alexey Loginov,
Thomas W. Reps,
Mooly Sagiv:
Refinement-Based Verification for Possibly-Cyclic Lists.
Program Analysis and Compilation 2006: 247-272 |
| 8 | EE | Alexey Loginov,
Thomas W. Reps,
Mooly Sagiv:
Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm.
SAS 2006: 261-279 |
| 2005 |
|---|
| 7 | EE | Alexey Loginov,
Thomas W. Reps,
Shmuel Sagiv:
Abstraction Refinement via Inductive Learning.
CAV 2005: 519-533 |
| 6 | EE | Nurit Dor,
John Field,
Denis Gopan,
Tal Lev-Ami,
Alexey Loginov,
Roman Manevich,
G. Ramalingam,
Thomas W. Reps,
Noam Rinetzky,
Mooly Sagiv,
Reinhard Wilhelm,
Eran Yahav,
Greta Yorsh:
Automatic Verification of Strongly Dynamic Software Systems.
VSTTE 2005: 82-92 |
| 2004 |
|---|
| 5 | EE | Bertrand Jeannet,
Alexey Loginov,
Thomas W. Reps,
Shmuel Sagiv:
A Relational Approach to Interprocedural Shape Analysis.
SAS 2004: 246-264 |
| 2003 |
|---|
| 4 | EE | Thomas W. Reps,
Shmuel Sagiv,
Alexey Loginov:
Finite Differencing of Logical Formulas for Static Analysis.
ESOP 2003: 380-398 |
| 2002 |
|---|
| 3 | EE | Thomas W. Reps,
Alexey Loginov,
Shmuel Sagiv:
Semantic Minimization of 3-Valued Propositional Formulae.
LICS 2002: 40- |
| 2 | EE | Jong-Deok Choi,
Keunwoo Lee,
Alexey Loginov,
Robert O'Callahan,
Vivek Sarkar,
Manu Sridharan:
Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs.
PLDI 2002: 258-269 |
| 2001 |
|---|
| 1 | EE | Alexey Loginov,
Suan Hsi Yong,
Susan Horwitz,
Thomas W. Reps:
Debugging via Run-Time Type Checking.
FASE 2001: 217-232 |
