Search the dblp DataBase

Publications of Author

1. Alexey Loginov, Thomas W. Reps, Shmuel Sagiv
   Abstraction Refinement via Inductive Learning. [Citation Graph (0, 0)][DBLP]
   CAV, 2005, pp:519-533 [Conf]
   
2. Thomas W. Reps, Shmuel Sagiv, Alexey Loginov
   Finite Differencing of Logical Formulas for Static Analysis. [Citation Graph (0, 0)][DBLP]
   ESOP, 2003, pp:380-398 [Conf]
   
3. Alexey Loginov, Suan Hsi Yong, Susan Horwitz, Thomas W. Reps
   Debugging via Run-Time Type Checking. [Citation Graph (0, 0)][DBLP]
   FASE, 2001, pp:217-232 [Conf]
   
4. Thomas W. Reps, Alexey Loginov, Shmuel Sagiv
   Semantic Minimization of 3-Valued Propositional Formulae. [Citation Graph (0, 0)][DBLP]
   LICS, 2002, pp:40-0 [Conf]
   
5. Jong-Deok Choi, Keunwoo Lee, Alexey Loginov, Robert O'Callahan, Vivek Sarkar, Manu Sridharan
   Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
   PLDI, 2002, pp:258-269 [Conf]
   
6. Bertrand Jeannet, Alexey Loginov, Thomas W. Reps, Shmuel Sagiv
   A Relational Approach to Interprocedural Shape Analysis. [Citation Graph (0, 0)][DBLP]
   SAS, 2004, pp:246-264 [Conf]
   
7. Alexey Loginov, Thomas W. Reps, Mooly Sagiv
   Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm. [Citation Graph (0, 0)][DBLP]
   SAS, 2006, pp:261-279 [Conf]
   
8. Alexey Loginov, Thomas W. Reps, Mooly Sagiv
   Refinement-Based Verification for Possibly-Cyclic Lists. [Citation Graph (0, 0)][DBLP]
   Program Analysis and Compilation, 2006, pp:247-272 [Conf]
   
9. 
   Verifying dereference safety via expanding-scope analysis. [Citation Graph (, )][DBLP]
   
   
10. 
    Automatic Verification of Strongly Dynamic Software Systems. [Citation Graph (, )][DBLP]