Debugging via Run-Time Type Checking. - Alexey Loginov; Suan Hsi Yong; Susan Horwitz; Thomas W. Reps (FASE, 2001)

Semantic Minimization of 3-Valued Propositional Formulae. - Thomas W. Reps; Alexey Loginov; Shmuel Sagiv (LICS, 2002)

Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs. - Jong-Deok Choi; Keunwoo Lee; Alexey Loginov; Robert O'Callahan; Vivek Sarkar; Manu Sridharan (PLDI, 2002)

Finite Differencing of Logical Formulas for Static Analysis. - Thomas W. Reps; Shmuel Sagiv; Alexey Loginov (ESOP, 2003)

A Relational Approach to Interprocedural Shape Analysis. - Bertrand Jeannet; Alexey Loginov; Thomas W. Reps; Shmuel Sagiv (SAS, 2004)

Abstraction Refinement via Inductive Learning. - Alexey Loginov; Thomas W. Reps; Shmuel Sagiv (CAV, 2005)

Automatic Verification of Strongly Dynamic Software Systems. - 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; et al. (VSTTE, 2005)

Refinement-Based Verification for Possibly-Cyclic Lists. - Alexey Loginov; Thomas W. Reps; Mooly Sagiv (Program Analysis and Compilation, 2006)

Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm. - Alexey Loginov; Thomas W. Reps; Mooly Sagiv (SAS, 2006)

Verifying dereference safety via expanding-scope analysis. - Alexey Loginov; Eran Yahav; Satish Chandra 001; Stephen Fink; Noam Rinetzky; Mangala Gowri Nanda (ISSTA, 2008)

Data-Delineation in Software Binaries and its Application to Buffer-Overrun Discovery. - Denis Gopan; Evan Driscoll; Ducson Nguyen; Dimitri Naydich; Alexey Loginov; David Melski (ICSE (1), 2015)

Polymorphic type inference for machine code. - Matthew Noonan; Alexey Loginov; David R. Cok (PLDI, 2016)

Evolution of Cyber-Security Research in an Industrial Setting. - Alexey Loginov (FEAST@CCS, 2020)