Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(27)
Thomas W. Reps
14
Mooly Sagiv
8
Shmuel Sagiv
4
Jong-Deok Choi
3
Manu Sridharan
3
Conferences
(10)
PLDI
2
ISSTA
1
LICS
1
SAS(WSA)
1
CAV
1
Journals
(2)
TOPLAS
2
SIGPLAN
1
Keywords
(45)
Embed
Subscribe
Academic
Authors
Alexey Loginov
Edit
Alexey Loginov
University of Wisconsin Madison
Publications: 20
|
Citations: 488
|
G-Index: 20
|
H-Index: 9
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Programming Languages
,
Software Engineering
,
Algorithms & Theory
View FAQ about top research area and research interests
Collaborated with
27 co-authors
from 1997 to 2008
; Cited by
527 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(20)
BibTeX
|
RIS
|
RefWorks
Download
Verifying dereference safety via expanding-scope analysis
(
Citations: 5
)
Alexey Loginov
,
Eran Yahav
,
Satish Chandra
,
Stephen Fink
,
Noam Rinetzky
,
Mangala Gowri Nanda
Conference:
International Symposium on Software Testing and Analysis - ISSTA
, pp. 213-224, 2008
Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm
(
Citations: 15
)
Alexey Loginov
,
Thomas W. Reps
,
Mooly Sagiv
Conference:
Static Analysis Symposium/Workshop on Static Analysis - SAS(WSA)
, pp. 261-279, 2006
Refinement-Based Verification for Possibly-Cyclic Lists
(
Citations: 3
)
Alexey Loginov
,
Thomas W. Reps
,
Mooly Sagiv
Conference:
Birthday ...
, pp. 247-272, 2006
Abstraction Refinement via Inductive Learning
(
Citations: 38
)
Alexey Loginov
,
Thomas W. Reps
,
Shmuel Sagiv
Conference:
Computer Aided Verification - CAV
, pp. 519-533, 2005
Learning Abstractions for Verifying Data-Structure Properties
(
Citations: 4
)
Alexey Loginov
,
Thomas Reps
,
Mooly Sagiv
Published in 2005.
Order by:
Citations
(488 times by 418 publications)
ConSeq: detecting concurrency bugs through sequential errors
Wei Zhang
,
Junghee Lim
,
Ramya Olichandran
,
Joel Scherpelz
,
Guoliang Jin
,
Shan Lu
,
Thomas W. Reps
Conference:
Architectural Support for Programming Languages and Operating Systems - ASPLOS
, pp. 251-264, 2011
LOCKSMITH: Practical static race detection for C
Polyvios Pratikakis
,
Jeffrey S. Foster
,
Michael Hicks
Journal:
ACM Transactions on Programming Languages and Systems - TOPLAS
, vol. 33, no. 1, pp. 1-55, 2011
Programs with lists are counter automata
Ahmed Bouajjani
,
Marius Bozga
,
Peter Habermehl
,
Radu Iosif
,
Pierre Moro
,
Tomás Vojnar
Journal:
Formal Methods in System Design - FMSD
, vol. 38, no. 2, pp. 158-192, 2011
2ndStrike: toward manifesting hidden concurrency typestate bugs
Qi Gao
,
Wenbin Zhang
,
Zhezhe Chen
,
Mai Zheng
,
Feng Qin
Conference:
Architectural Support for Programming Languages and Operating Systems - ASPLOS
, pp. 239-250, 2011
Thread contracts for safe parallelism
Rajesh K. Karmani
,
P. Madhusudan
,
Brandon M. Moore
Conference:
Principles and Practice of Parallel Programming - PPoPP
, pp. 125-134, 2011
Comments