Alexey Loginov

16 papers A* 4A 2B 3Journal 3Unranked 4
YearRankTypeTitle / Venue / Authors
2020 — conf
Evolution of Cyber-Security Research in an Industrial Setting.
FEAST@CCS
Alexey Loginov
2016 J jnl
Polymorphic Type Inference for Machine Code.
CoRR
Matthew Noonan, Alexey Loginov, David R. Cok
2016 A* conf
Polymorphic type inference for machine code.
PLDI
Matthew Noonan, Alexey Loginov, David R. Cok
2015 — conf
Data-Delineation in Software Binaries and its Application to Buffer-Overrun Discovery.
ICSE (1)
Denis Gopan, Evan Driscoll, Ducson Nguyen, Dimitri Naydich, Alexey Loginov, David Melski
2010 J jnl
A relational approach to interprocedural shape analysis.
ACM Trans. Program. Lang. Syst.
Bertrand Jeannet, Alexey Loginov, Thomas W. Reps, Mooly Sagiv
2010 J jnl
Finite differencing of logical formulas for static analysis.
ACM Trans. Program. Lang. Syst.
Thomas W. Reps, Mooly Sagiv, Alexey Loginov
2008 A conf
Verifying dereference safety via expanding-scope analysis.
ISSTA
Alexey Loginov, Eran Yahav, Satish Chandra, Stephen Fink, Noam Rinetzky, Mangala Gowri Nanda
2006 B conf
Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm.
SAS
Alexey Loginov, Thomas W. Reps, Mooly Sagiv
2006 — conf
Refinement-Based Verification for Possibly-Cyclic Lists.
Program Analysis and Compilation
Alexey Loginov, Thomas W. Reps, Mooly Sagiv
2005 A* conf
Abstraction Refinement via Inductive Learning.
CAV
Alexey Loginov, Thomas W. Reps, Shmuel Sagiv
2005 — conf
Automatic Verification of Strongly Dynamic Software Systems.
VSTTE
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
2004 B conf
A Relational Approach to Interprocedural Shape Analysis.
SAS
Bertrand Jeannet, Alexey Loginov, Thomas W. Reps, Shmuel Sagiv
2003 A conf
Finite Differencing of Logical Formulas for Static Analysis.
ESOP
Thomas W. Reps, Shmuel Sagiv, Alexey Loginov
2002 A* conf
Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs.
PLDI
Jong-Deok Choi, Keunwoo Lee, Alexey Loginov, Robert O'Callahan, Vivek Sarkar, Manu Sridharan
2002 A* conf
Semantic Minimization of 3-Valued Propositional Formulae.
LICS
Thomas W. Reps, Alexey Loginov, Shmuel Sagiv
2001 B conf
Debugging via Run-Time Type Checking.
FASE
Alexey Loginov, Suan Hsi Yong, Susan Horwitz, Thomas W. Reps