|
|
News
- New papers:
-
CHESS: A Systematic Testing Tool for Concurrent Software. M.
Musuvathi, S. Qadeer, and T. Ball. Microsoft Research Technical
Report
MSR-TR-2007-149,
to appear OSDI
2008
-
Finding Errors in .NET with Feedback-Directed Random Testing,
Carlos Pacheco, Shuvendu Lahiri, Thomas Ball.
ISSTA 2008
-
First-class Concurrency Debugging and Testing. S.
Burckhardt, T. Ball, M. Musuvathi, and S. Qadeer. Position
paper, Workshop on Exploiting Concurrency Efficiently and
Correctly, 2008.
- Downloads: CHESS
for concurrency testing; Rule
Development Kit for SLAM/SDV; Z3
automated theorem prover.
Research
I manage the
Software Reliability Research group. My research interests are in how combinations of
static/dynamic program
analysis, model checking and theorem proving techniques can help improve the
correctness and reliability of programs. See my papers
for more details.
Service
Talks
-
Systematic Testing of Programs,
STEP workshop,
North Carolina State University,
University of
Virginia (May'08)
-
Systematic Testing of Concurrent Programs with CHESS,
Max Planck Institute for Software
Systems, (April '08)
- 30 Years of Abstraction
Interpretation (January '08)
- Lectures at
Columbia University for
Al Aho's
software verification
class (November '07)
- 10th Brazilian Symposium on Formal
Methods (August '07)
- Dutch Theory Day 2007 (March '07)
-
On
the Design and Implementation of Static Analysis Tools, University of
Oregon (February '07)
- LPAR 2005 (December '05)
- Verified
Software: Theories, Tools, Experiments Conference (October '05)
-
Summer School on Reliable Computing (July '05)
- Tutorial on Automated Abstraction Refinement (with
K. McMillan),
CAV'05 (July '05)
- Microsoft
Academic Days - Toronto (May '05)
-
A Theory of Predicate-Complete Test Coverage and Generation (Dec '04),
Tel-Aviv University
- Trends in
Testing Workshop at CISS (Nov '04)
- Portland State
- Symposium on Formal Methods for
Components and Objects (Nov '04)
- UC Davis
Student Workshop on Computing (Oct '04)
- Marktoberdorf 2004: Engineering Theories of Software Intensive Systems
(August '04)
- A
Theory of Predicate-Complete Test Coverage and Generation (May'04),
Stanford [ppt]
- "Software Testing" for
Rob DeLine's UW course
CSE 503
(May '04)
-
Integrated Formal Methods Conference (April 5-7 '04) [ppt]
- Workshop on Automated
Verification of Infinite-State Systems (April 3-4 '04)
- Solidifying Software Interfaces,
Symposium on Software, Science and Society (Dec '03)
- Symbolic Reasoning in SLAM, Dagstuhl
Seminar on Applied Deductive Verification (Nov '03)
- Solidifying Software Interfaces, Sustainable Computing
Consortium workshop (Sep '03)
- "Software
Model Checking with SLAM" (with
S. Rajamani) at
PLDI 2003 (PPT)
- Secrets
of Software Model Checking,
SAS'02 (talk
abstract)
- The
SLAM Project: Debugging System Software via Static Analysis,
POPL'02
Awards
Program Committees
- 2008:
India Software Engineering Conference
- 2006:
VMCAI'06
- 2005:
PDPAR'05,
SAS'05,
AADEBUG'05,
CAV'05,
ICSE '05 Experience Reports
- 2004:
SAS'04,
Metrics '04,
TAV-WEB '04,
POPL'04
- 2003:
SPIN'03
- 2002:
CAV'02,
PLDI'02,
TACAS'02,
PASTE'02 (with
FSE'02)
- 2001:
Workshop on Software
Model Checking,
SPIN'01 ,
ICSE'01,
SAINT'01
- 2000:
FSE'00,
ISSTA'00,
TACAS'00
- 1999:
DSL'99
History
|
I grew up in Summit,
NJ, where my claim to fame was writing a game for the Apple II called Falcons
in 1980 with high school pal Eric Varsanyi (see The Giant List of
Classic Game Programmers). I attended Cornell University
(B.A. 1987), and the University
of Wisconsin-Madison (Ph.D. 1993). From 1993-1999, I was at
Bell Labs in Naperville,
IL in the (now defunct) Software Production Research
Department. After 12 years as a Midwesterner, I had had enough.
Now I live in Mercer
Island, WA. I have sung in various Unitarian Universalist choirs, play
e-bass (mainly jazz, blues, some rock 'n roll) and piano. For the
latest news on the Ball/Ramsey family, see the the Ramsey/Ball Gazette 2004. I now play in a
band called the "The Middle
Third".
|
The "Thomas Ball" Collection
|
