Explore over 5,113,590 papers,
50 were added last week.
Author
|
Conference
|
Journal
|
Year
Look for results that meet for the following criteria:
Later than
Equal to
Earlier than
Papers
Authors
Conferences
Journals
View Top Co-Authors In
Visual Explorer
Alexey Loginov
Top Co-Authors:
Thomas W. Reps (11)
Mooly Sagiv (6)
Jong-deok Choi (4)
Shmuel Sagiv (4)
Vivek Sarkar (3)
Susan Horwitz (3)
Eran Yahav (2)
Manu Sridharan (2)
Noam Rinetzky (2)
Suan Hsi Yong (2)
Keunwoo Lee (2)
Reinhard Wilhelm (1)
K. Lee (1)
J. Timothy Field (1)
Stephen J. Fink (1)
Satish Chandra (1)
Robert O'callahan (1)
Tal Lev-ami (1)
Mangala Gowri Nanda (1)
Bertrand Jeannet (1)
ObjectID : Author/258381
Alexey Loginov
Embed
Subscribe
Publications: 18
|
Citations: 279
|
G-Index: 16
|
H-Index: 7
Research Interest:
Software Engineering & Programming Languages
,
Algorithms and Theory
,
Hardware and Architecture
Univ. of Wisconsin - Madison
Bing
Order by:
Year
|
Citation
|
Rank
The rank of a paper is calculated by considering the authors, the published conference or journal, and its citation graph. The highest ranking result will appear first.
Learn more
Papers
Citations
Year 2008
Alexey Loginov
,
Eran Yahav
,
Satish Chandra
,
Stephen Fink
,
Noam Rinetzky
,
Mangala Gowri Nanda
:
Verifying dereference safety via expanding-scope analysis
,
ISSTA
, 2008
Year 2006
Alexey Loginov
,
Thomas W. Reps
,
Mooly Sagiv
:
Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm
,
SAS(WSA)
, 2006
(
Citations: 4
)
Alexey Loginov
,
Thomas W. Reps
,
Mooly Sagiv
:
Refinement-Based Verification for Possibly-Cyclic Lists
,
Birthday ...
, 2006
Year 2005
Alexey Loginov
,
Thomas W. Reps
,
Shmuel Sagiv
:
Abstraction Refinement via Inductive Learning
,
CAV
, 2005
(
Citations: 21
)
Alexey Loginov
,
Thomas Reps
,
Mooly Sagiv
:
Learning Abstractions for Verifying Data-Structure Properties
, 2005
(
Citations: 4
)
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
:
Automatic Verification of Strongly Dynamic Software Systems
, 2005
Year 2004
Bertrand Jeannet
,
Alexey Loginov
,
Thomas W. Reps
,
Shmuel Sagiv
:
A Relational Approach to Interprocedural Shape Analysis
,
SAS(WSA)
, 2004
(
Citations: 28
)
A. Loginov
,
T. Reps
,
M. Sagiv
:
Abstraction refinement for 3-valued-logic analysis
, 2004
(
Citations: 6
)
Year 2003
Thomas W. Reps
,
Shmuel Sagiv
,
Alexey Loginov
:
Finite Differencing of Logical Formulas for Static Analysis
,
ESOP
, 2003
(
Citations: 30
)
T. Reps
,
M. Sagiv
,
A. Loginov
:
Finite differencing of logical formulas with applications to program analysis
,
ESOP
, 2003
(
Citations: 3
)
Year 2002
Jong-deok Choi
,
Keunwoo Lee
,
Alexey Loginov
,
Robert O'callahan
,
Vivek Sarkar
,
Manu Sridharan
:
Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs
,
PLDI
, 2002
(
Citations: 116
)
Thomas W. Reps
,
Alexey Loginov
,
Shmuel Sagiv
:
Semantic Minimization of 3-Valued Propositional Formulae
,
LICS
, 2002
(
Citations: 7
)
J. D. Choi
,
K. Lee
,
A. Loginov
,
V. Sarkar Callahan
,
M. Sridharan
:
E cient and precise data race detection for object oriented programs
,
PLDI
, 2002
(
Citations: 3
)
Choi Jong-deok
,
Keunwoo Lee
,
Alexey Loginov
:
Robert O''Callahan, Vivek Sarkar, and Manu Sridharan. E cient and Precise Datarace Detection for
, 2002
(
Citations: 1
)
Year 2001
Alexey Loginov
,
Suan Hsi Yong
,
Susan Horwitz
,
Thomas W. Reps
:
Debugging via Run-Time Type Checking
,
FASE
, 2001
(
Citations: 42
)
Jong-deok Choi
,
Alexey Loginov
,
Vivek Sarkar
:
Static Datarace Analysis for Multithreaded Object-Oriented Programs
, 2001
(
Citations: 13
)
Alexey Loginov
,
Suan Hsi Yong
,
Susan Horwitz
:
Lecture Notes in Computer Science
, 2001
(
Citations: 1
)
Year Unknown
Alexey Loginov
,
Suan Yong
,
Susan Horwitz
:
A Run-Time Type-Checking Debugger for C