Thomas Ball

Cited by

	All	Since 2019
Citations	25713	4925
h-index	69	40
i10-index	138	75

1400

700

350

1050

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202494 94 105 150 194 260 243 387 562 619 867 1114 1040 1187 1162 1216 1275 1229 1260 1365 1304 1224 1212 1035 1081 983 934 856 765 773 612

Public access

View all

5 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Sriram RajamaniMicrosoft Research Verified email at microsoft.com
James R LarusProfessor Emeritus, EPFLVerified email at larusstone.org
Nachiappan NagappanFacebookVerified email at fb.com
Shuvendu LahiriSenior Principal Researcher, Microsoft ResearchVerified email at microsoft.com
Shaz QadeerSoftware Engineer, MetaVerified email at meta.com
Steve HodgesLancaster University 📄= pub; 💡= patent ; 🏆/🏅= awardVerified email at lancaster.ac.uk
Madanlal MusuvathiMicrosoft ResearchVerified email at microsoft.com
Fred DouglisPeraton LabsVerified email at Peratonlabs.com
Joe FinneyLancaster UniversityVerified email at comp.lancs.ac.uk
Todd MillsteinProfessor of Computer Science, UCLAVerified email at cs.ucla.edu
Stephen G. EickVerified email at kscopeinc.com
Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk
James DevineMicrosoftVerified email at microsoft.com
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Sebastian BurckhardtMicrosoft ResearchVerified email at microsoft.com
Mooly SagivTel Aviv UniversityVerified email at acm.org
Peter J. DanielsenVerified email at uwalumni.com
Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair Emeritus, CS Dept., Univ. of WisconsinVerified email at cs.wisc.edu
Andreas ZellerFaculty, CISPA Helmholtz Center for Information Security • Professor, Saarland UniversityVerified email at cispa.de

Thomas Ball

Microsoft Research

Verified email at microsoft.com - Homepage

Program analysis verification testing CS education


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	1267	2002
Feedback-directed random test generation C Pacheco, SK Lahiri, MD Ernst, T Ball 29th International Conference on Software Engineering (ICSE'07), 75-84, 2007	1166	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	1146	2005
Mining metrics to predict component failures N Nagappan, T Ball, A Zeller Proceedings of the 28th international conference on Software engineering …, 2006	1132	2006
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	1131	2001
Efficient path profiling T Ball, JR Larus Proceedings of the 29th Annual IEEE/ACM International Symposium on …, 1996	987	1996
Automatically validating temporal safety properties of interfaces T Ball, SK Rajamani International SPIN Workshop on Model Checking of Software, 102-122, 2001	877	2001
Optimally profiling and tracing programs T Ball, JR Larus ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (4), 1319-1360, 1994	807	1994
Finding and Reproducing Heisenbugs in Concurrent Programs. M Musuvathi, S Qadeer, T Ball, G Basler, PA Nainar, I Neamtiu OSDI 8 (2008), 2008	754	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	694	1997
Software visualization in the large T Ball, SG Eick Computer 29 (4), 33-43, 1996	642	1996
Bebop: A symbolic model checker for boolean programs T Ball, SK Rajamani SPIN Model Checking and Software Verification: 7th International SPIN …, 2000	540	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	536	2006
Method and apparatus for tracking and viewing changes on the web TJ Ball, F Douglis US Patent 6,366,933, 2002	514	2002
The concept of dynamic analysis T Ball ACM SIGSOFT Software Engineering Notes 24 (6), 216-234, 1999	496	1999
Branch prediction for free T Ball, JR Larus ACM SIGPLAN Notices 28 (6), 300-313, 1993	474	1993
Boolean and Cartesian abstraction for model checking C programs T Ball, A Podelski, SK Rajamani Tools and Algorithms for the Construction and Analysis of Systems: 7th …, 2001	463	2001
SLAM and Static Driver Verifier: Technology transfer of formal methods inside Microsoft T Ball, B Cook, V Levin, SK Rajamani Integrated Formal Methods: 4th International Conference, IFM 2004 …, 2004	459	2004
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	442	2003
The SLAM toolkit T Ball, SK Rajamani Proceedings of CAV’2001 (13th Conference on Computer Aided Verification …, 2000	432	2000

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

Follow

Cited by

Co-authors