Alexey Loginov

According to our database, Alexey Loginov authored at least 13 papers between 2001 and 2020.

Collaborative distances:

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

2020

Evolution of Cyber-Security Research in an Industrial Setting.

Alexey Loginov

Proceedings of the 2020 ACM Workshop on Forming an Ecosystem Around Software Transformation, 2020

2016

Polymorphic type inference for machine code.

Matthew Noonan, Alexey Loginov, David R. 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

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

2004

A Relational Approach to Interprocedural Shape Analysis.

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

Proceedings of the Static Analysis, 11th International Symposium, 2004

2003

Finite Differencing of Logical Formulas for Static Analysis.

Thomas W. Reps, Shmuel Sagiv, Alexey Loginov

Proceedings of the Programming Languages and Systems, 2003

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