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 |