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
(106)
Susan Horwitz
39
Mooly Sagiv
38
Tim Teitelbaum
28
Shmuel Sagiv
26
Reinhard Wilhelm
20
Conferences
(41)
POPL
13
CAV
13
SAS(WSA)
10
CC
9
TACAS
6
Journals
(25)
TOPLAS
12
ACM Sigsoft Software Engineering Notes
12
SIGPLAN
11
TR
8
STTT
3
Keywords
(298)
Embed
Subscribe
Academic
Authors
Thomas W. Reps
Edit
Thomas W. Reps
University of Wisconsin Madison
Publications: 257
|
Citations: 11117
|
G-Index: 100
|
H-Index: 54
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:
Software Engineering
,
Programming Languages
,
Algorithms & Theory
View FAQ about top research area and research interests
Collaborated with
106 co-authors
from 1980 to 2011
; Cited by
5640 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(257)
BibTeX
|
RIS
|
RefWorks
Download
A decision procedure for detecting atomicity violations for communicating processes with locks
(
Citations: 1
)
Nicholas Kidd
,
Peter Lammich
,
Tayssir Touili
,
Thomas W. Reps
Journal:
International Journal on Software Tools for Technology Transfer - STTT
, vol. 13, no. 1, pp. 37-60, 2011
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
Symbolic analysis via semantic reinterpretation
Junghee Lim
,
Akash Lal
,
Thomas W. Reps
Journal:
International Journal on Software Tools for Technology Transfer - STTT
, vol. 13, no. 1, pp. 61-87, 2011
Directed Proof Generation for Machine Code
(
Citations: 6
)
Aditya V. Thakur
,
Junghee Lim
,
Akash Lal
,
Amanda Burton
,
Evan Driscoll
,
Matt Elder
,
Tycho Andersen
,
Thomas W. Reps
Conference:
Computer Aided Verification - CAV
, pp. 288-305, 2010
WYSINWYX: What you see is not what you eXecute
(
Citations: 5
)
Gogul Balakrishnan
,
Thomas Reps
Journal:
ACM Transactions on Programming Languages and Systems - TOPLAS
, vol. 32, no. 6, pp. 1-84, 2010
Order by:
Citations
(11117 times by 5692 publications)
OSMOSE: automatic structural testing of executables
(
Citations: 4
)
Sébastien Bardin
,
Philippe Herrmann
Journal:
Software Testing, Verification & Reliability - STVR
, vol. 21, no. 1, pp. 29-54, 2011
Streaming transducers for algorithmic verification of single-pass list-processing programs
(
Citations: 2
)
Rajeev Alur
,
Pavol Černý
Published in 2011.
Refinement-Based CFG Reconstruction from Unstructured Programs
(
Citations: 3
)
Sébastien Bardin
,
Philippe Herrmann
,
Franck Védrine
Conference:
Verification, Model Checking and Abstract Interpretation - VMCAI
, pp. 54-69, 2011
A parametric segmentation functor for fully automatic and scalable array content analysis
(
Citations: 3
)
Patrick Cousot
,
Radhia Cousot
,
Francesco Logozzo
Published in 2011.
Precise reasoning for programs using containers
(
Citations: 2
)
Isil Dillig
,
Thomas Dillig
,
Alex Aiken
Published in 2011.
Comments