Alexey Loginov

According to our database, Alexey Loginov authored at least 12 papers between 2001 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Polymorphic type inference for machine code.

Matthew Noonan, Alexey Loginov, David Cok

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

2015

Data-Delineation in Software Binaries and its Application to Buffer-Overrun Discovery.

Denis Gopan, Evan Driscoll, Ducson Nguyen, Dimitri Naydich, Alexey Loginov, David Melski

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2010

Finite differencing of logical formulas for static analysis.

Thomas W. Reps, Mooly Sagiv, Alexey Loginov

ACM Trans. Program. Lang. Syst., 2010

A relational approach to interprocedural shape analysis.

Bertrand Jeannet, Alexey Loginov, Thomas W. Reps, Mooly Sagiv

ACM Trans. Program. Lang. Syst., 2010

2008

Verifying dereference safety via expanding-scope analysis.

Alexey Loginov, Eran Yahav, Satish Chandra, Stephen Fink, Noam Rinetzky, Mangala Gowri Nanda

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

2006

Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm.

Alexey Loginov, Thomas W. Reps, Mooly Sagiv

Proceedings of the Static Analysis, 13th International Symposium, 2006

Refinement-Based Verification for Possibly-Cyclic Lists.

Alexey Loginov, Thomas W. Reps, Mooly Sagiv

Proceedings of the Program Analysis and Compilation, 2006

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, Greta Yorsh

Proceedings of the Verified Software: Theories, 2005

Abstraction Refinement via Inductive Learning.

Alexey Loginov, Thomas W. Reps, Shmuel Sagiv

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

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

Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

Semantic Minimization of 3-Valued Propositional Formulae.

Thomas W. Reps, Alexey Loginov, Shmuel Sagiv

Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002

2001

Debugging via Run-Time Type Checking.

Alexey Loginov, Suan Hsi Yong, Susan Horwitz, Thomas W. Reps

Proceedings of the Fundamental Approaches to Software Engineering, 2001