Alexey Loginov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
8
Active years
2001–2016
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | PLDI | Polymorphic type inference for machine code. | Matthew Noonan, Alexey Loginov, David R. Cok |
| 2015 | ICSE | Data-Delineation in Software Binaries and its Application to Buffer-Overrun Discovery. | Denis Gopan, Evan Driscoll, Ducson Nguyen, Dimitri Naydich, Alexey Loginov, David Melski |
| 2008 | ISSTA | Verifying dereference safety via expanding-scope analysis. | Alexey Loginov, Eran Yahav, Satish Chandra, Stephen Fink, Noam Rinetzky, Mangala Gowri Nanda |
| 2006 | SAS | Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm. | Alexey Loginov, Thomas W. Reps, Mooly Sagiv |
| 2005 | CAV | Abstraction Refinement via Inductive Learning. | Alexey Loginov, Thomas W. Reps, Shmuel Sagiv |
| 2004 | SAS | A Relational Approach to Interprocedural Shape Analysis. | Bertrand Jeannet, Alexey Loginov, Thomas W. Reps, Shmuel Sagiv |
| 2003 | ESOP | Finite Differencing of Logical Formulas for Static Analysis. | Thomas W. Reps, Shmuel Sagiv, Alexey Loginov |
| 2002 | LICS | Semantic Minimization of 3-Valued Propositional Formulae. | Thomas W. Reps, Alexey Loginov, Shmuel Sagiv |
| 2002 | PLDI | Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs. | Jong-Deok Choi, Keunwoo Lee, Alexey Loginov, Robert O'Callahan, Vivek Sarkar, Manu Sridharan |
| 2001 | FASE | Debugging via Run-Time Type Checking. | Alexey Loginov, Suan Hsi Yong, Susan Horwitz, Thomas W. Reps |