Thomas Ball

Cited by

	All	Since 2016
Citations	23213	5771
h-index	67	38
i10-index	141	84

1400

700

350

1050

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202194 92 100 140 178 239 238 379 514 607 844 1091 1009 1187 1172 1233 1297 1256 1287 1385 1315 1282 1304 1141 1175 1052 954 143

Co-authors

Sriram RajamaniMicrosoft Research Verified email at microsoft.com
James R LarusProfessor and Dean, EPFLVerified email at larusstone.org
Nachiappan NagappanMicrosoft ResearchVerified email at microsoft.com
Shuvendu LahiriPrincipal Researcher, Microsoft ResearchVerified email at microsoft.com
Shaz QadeerResearch Scientist, FacebookVerified email at fb.com
Madanlal MusuvathiMicrosoft ResearchVerified email at microsoft.com
Fred DouglisPerspecta LabsVerified email at Perspectalabs.com
Todd MillsteinProfessor of Computer Science, UCLAVerified email at cs.ucla.edu
Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Mooly SagivTel Aviv UniversityVerified email at acm.org
Michael BenediktProfessor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
Andreas ZellerFaculty, CISPA Helmholtz Center for Information Security; Professor, Saarland UniversityVerified email at cispa.saarland
Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of WisconsinVerified email at cs.wisc.edu
Yih-Farn Robin ChenAT&T Labs - ResearchVerified email at research.att.com
Michael D. ErnstProfessor of Computer Science & Engineering, University of WashingtonVerified email at cs.washington.edu
Orna KupfermanProfessor of Computer Science, The Hebrew UniversityVerified email at cs.huji.ac.il
Judith BishopComputer Science Division, Stellenbosch UniversityVerified email at sun.ac.za
Iulian NeamtiuProfessor of Computer Science, New Jersey Institute of TechnologyVerified email at njit.edu

Thomas Ball

Microsoft Research

Verified email at microsoft.com - Homepage

Program analysis verification testing


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The SLAM project: debugging system software via static analysis T Ball, SK Rajamani Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002	1199	2002
Automatic predicate abstraction of C programs T Ball, R Majumdar, T Millstein, SK Rajamani Proceedings of the ACM SIGPLAN 2001 conference on Programming language …, 2001	1031	2001
Mining metrics to predict component failures N Nagappan, T Ball, A Zeller Proceedings of the 28th international conference on Software engineering …, 2006	959	2006
Efficient path profiling T Ball, JR Larus Proceedings of the 29th Annual IEEE/ACM International Symposium on …, 1996	902	1996
Feedback-directed random test generation C Pacheco, SK Lahiri, MD Ernst, T Ball 29th International Conference on Software Engineering (ICSE'07), 75-84, 2007	894	2007
Use of relative code churn measures to predict system defect density N Nagappan, T Ball Proceedings of the 27th international conference on Software engineering …, 2005	888	2005
Automatically validating temporal safety properties of interfaces T Ball, SK Rajamani International SPIN Workshop on Model Checking of Software, 102-122, 2001	837	2001
Optimally profiling and tracing programs T Ball, JR Larus ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (4), 1319-1360, 1994	730	1994
Finding and Reproducing Heisenbugs in Concurrent Programs. M Musuvathi, S Qadeer, T Ball, G Basler, PA Nainar, I Neamtiu OSDI 8, 267-280, 2008	645	2008
Exploiting hardware performance counters with flow and context sensitive profiling G Ammons, T Ball, JR Larus ACM Sigplan Notices 32 (5), 85-96, 1997	632	1997
Software visualization in the large T Ball, SG Eick Computer 29 (4), 33-43, 1996	596	1996
Bebop: A symbolic model checker for boolean programs T Ball, SK Rajamani International SPIN Workshop on Model Checking of Software, 113-130, 2000	508	2000
Thorough static analysis of device drivers T Ball, E Bounimova, B Cook, V Levin, J Lichtenberg, C McGarvey, ... ACM SIGOPS Operating Systems Review 40 (4), 73-85, 2006	505	2006
Method and apparatus for tracking and viewing changes on the web TJ Ball, F Douglis US Patent 6,366,933, 2002	442	2002
Boolean and Cartesian abstraction for model checking C programs T Ball, A Podelski, SK Rajamani International Conference on Tools and Algorithms for the Construction and …, 2001	419	2001
Branch prediction for free T Ball, JR Larus ACM SIGPLAN Notices 28 (6), 300-313, 1993	417	1993
The SLAM toolkit T Ball, SK Rajamani Proceedings of CAV’2001 (13th Conference on Computer Aided Verification …, 2000	400	2000
From symptom to cause: localizing errors in counterexample traces T Ball, M Naik, SK Rajamani Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of …, 2003	397	2003
The concept of dynamic analysis T Ball Software Engineering—ESEC/FSE’99, 216-234, 1999	395	1999
SLAM and Static Driver Verifier: Technology transfer of formal methods inside Microsoft T Ball, B Cook, V Levin, SK Rajamani International Conference on Integrated Formal Methods, 1-20, 2004	378	2004

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors