Thomas Ball
Thomas Ball
Microsoft Research
Verified email at microsoft.com - Homepage
TitleCited byYear
The S LAM project: debugging system software via static analysis
T Ball, SK Rajamani
ACM SIGPLAN Notices 37 (1), 1-3, 2002
11222002
Automatic predicate abstraction of C programs
T Ball, R Majumdar, T Millstein, SK Rajamani
ACM SIGPLAN Notices 36 (5), 203-213, 2001
9912001
Efficient path profiling
T Ball, JR Larus
Proceedings of the 29th annual ACM/IEEE international symposium on …, 1996
8231996
Mining metrics to predict component failures
N Nagappan, T Ball, A Zeller
Proceedings of the 28th international conference on Software engineering …, 2006
8022006
Automatically validating temporal safety properties of interfaces
T Ball, SK Rajamani
Proceedings of the 8th international SPIN workshop on Model checking of …, 2001
7952001
Feedback-directed random test generation
C Pacheco, SK Lahiri, MD Ernst, T Ball
Proceedings of the 29th international conference on Software Engineering, 75-84, 2007
7342007
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
7132005
Optimally profiling and tracing programs
T Ball, JR Larus
ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (4), 1319-1360, 1994
6931994
Exploiting hardware performance counters with flow and context sensitive profiling
G Ammons, T Ball, JR Larus
ACM Sigplan Notices 32 (5), 85-96, 1997
5791997
Finding and Reproducing Heisenbugs in Concurrent Programs.
M Musuvathi, S Qadeer, T Ball, G Basler, PA Nainar, I Neamtiu
OSDI 8, 267-280, 2008
5752008
Software visualization in the large
T Ball, SG Eick
Computer 29 (4), 33-43, 1996
5341996
Bebop: A symbolic model checker for boolean programs
T Ball, SK Rajamani
International SPIN Workshop on Model Checking of Software, 113-130, 2000
4942000
Method and apparatus for tracking and viewing changes on the web
TJ Ball, F Douglis
US Patent 6,366,933, 2002
4042002
Branch prediction for free
T Ball, JR Larus
ACM SIGPLAN Notices 28 (6), 300-313, 1993
3871993
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
3822001
The SLAM toolkit
T Ball, SK Rajamani
International Conference on Computer Aided Verification, 260-264, 2001
3642001
From symptom to cause: localizing errors in counterexample traces
T Ball, M Naik, SK Rajamani
ACM SIGPLAN Notices 38 (1), 97-105, 2003
3612003
The concept of dynamic analysis
T Ball
ACM SIGSOFT Software Engineering Notes 24 (6), 216-234, 1999
3501999
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
3342004
The use of program profiling for software maintenance with applications to the year 2000 problem
T Reps, T Ball, M Das, J Larus
Software Engineering—Esec/Fse'97, 432-449, 1997
3251997
The system can't perform the operation now. Try again later.
Articles 1–20