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
(301)
Sriram Rajamani
35
James R. Larus
19
Nachiappan Nagappan
13
Byron Cook
11
Shuvendu Lahiri
10
Conferences
(36)
ICSE
11
CAV
8
TACAS
7
POPL
5
SPIN
4
Journals
(31)
SIGPLAN
7
J UROL
6
TSE
3
TOPLAS
3
ACM Sigsoft Software Engineering Notes
3
Keywords
(286)
Embed
Subscribe
Academic
Authors
Thomas Ball
Edit
Thomas Ball
Microsoft
Publications: 174
|
Citations: 7059
|
G-Index: 83
|
H-Index: 41
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
,
Urology
View FAQ about top research area and research interests
Collaborated with
301 co-authors
from 1988 to 2011
; Cited by
5995 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(174)
BibTeX
|
RIS
|
RefWorks
Download
Practical parallel and concurrent programming
(
Citations: 1
)
Caitlin Sadowski
,
Thomas Ball
,
Judith Bishop
,
Sebastian Burckhardt
,
Ganesh Gopalakrishnan
,
Joseph Mayo
,
Madanlal Musuvathi
,
Shaz Qadeer
,
Stephen Toub
Published in 2011.
Assessing the effectiveness of non-structural flood management measures in the Thames Estuary under conditions of socio-economic and environmental change
(
Citations: 1
)
Richard J. Dawson
,
Tom Ball
,
Jonathan Werritty
,
Alan Werritty
,
Jim W. Hall
,
Nicolas Roche
Journal:
Computer Aided Geometric Design - CAGD
, vol. 21, no. 2, pp. 628-646, 2011
Predictable and Progressive Testing of Multithreaded Code
Thomas Ball
,
Sebastian Burckhardt
,
Peli de Halleux
,
Madan Musuvathi
,
Shaz Qadeer
Journal:
IEEE Software - MS
, vol. 28, no. 3, pp. 75-83, 2011
Model Checking Büchi Pushdown Systems
Juncao Li
,
Fei Xie
,
Thomas Ball
,
Vladimir Levin
Conference:
Fundamental Approaches to Software Engineering - FASE
, pp. 141-155, 2011
Preemption Sealing for Efficient Concurrency Testing
(
Citations: 3
)
Thomas Ball
,
Sebastian Burckhardt
,
Katherine E. Coons
,
Madanlal Musuvathi
,
Shaz Qadeer
Conference:
Tools and Algorithms for Construction and Analysis of Systems - TACAS
, pp. 420-434, 2010
Order by:
Citations
(7059 times by 4971 publications)
A Controlled Experiment for Program Comprehension through Trace Visualization
(
Citations: 6
)
Bas Cornelissen
,
Andy Zaidman
,
Arie van Deursen
Journal:
IEEE Transactions on Software Engineering - TSE
, vol. 37, no. 3, pp. 341-355, 2011
Semi-Proving: An Integrated Method for Program Proving, Testing, and Debugging
(
Citations: 6
)
T. Y. Chen
,
T. H. Tse
,
Zhi Quan Zhou
Journal:
IEEE Transactions on Software Engineering - TSE
, vol. 37, no. 1, 2011
S2E: a platform for in-vivo multi-path analysis of software systems
(
Citations: 5
)
Vitaly Chipounov
,
Volodymyr Kuznetsov
,
George Candea
Conference:
Architectural Support for Programming Languages and Operating Systems - ASPLOS
, pp. 265-278, 2011
Parallel symbolic execution for automated real-world software testing
(
Citations: 4
)
Stefan Bucur
,
Vlad Ureche
,
Cristian Zamfir
,
George Candea
Conference:
EuroSys Conference - EUROSYS
, pp. 183-198, 2011
Faults in linux: ten years later
(
Citations: 3
)
Nicolas Palix
,
Gaël Thomas
,
Suman Saha
,
Christophe Calvès
,
Julia L. Lawall
,
Gilles Muller
Conference:
Architectural Support for Programming Languages and Operating Systems - ASPLOS
, pp. 305-318, 2011
Comments