 | 2009 |
|---|
| 83 |       | Thomas Ball,
Sebastian Burckhardt,
Jonathan de Halleux,
Madanlal Musuvathi,
Shaz Qadeer:
Deconstructing concurrency heisenbugs.
ICSE Companion 2009: 403-404 |
| 82 | | Thomas Ball:
A brief history of software - from Bell Labs to Microsoft Research.
MSR 2009 |
| 2008 |
|---|
| 81 | | Carlos Pacheco,
Shuvendu K. Lahiri,
Thomas Ball:
Finding errors in .net with feedback-directed random testing.
ISSTA 2008: 87-96 |
| 80 | | Madanlal Musuvathi,
Shaz Qadeer,
Thomas Ball,
Gérard Basler,
Piramanayagam Arumuga Nainar,
Iulian Neamtiu:
Finding and Reproducing Heisenbugs in Concurrent Programs.
OSDI 2008: 267-280 |
| 79 | | Grigore Rosu,
Feng Chen,
Thomas Ball:
Synthesizing Monitors for Safety Properties: This Time with Calls and Returns.
RV 2008: 51-68 |
| 78 | | Thomas Ball,
Orna Kupferman:
Vacuity in Testing.
TAP 2008: 4-17 |
| 2007 |
|---|
| 77 | | Thomas Ball,
Orna Kupferman,
Mooly Sagiv:
Leaping Loops in the Presence of Abstraction.
CAV 2007: 491-503 |
| 76 | | Nachiappan Nagappan,
Thomas Ball:
Using Software Dependencies and Churn Metrics to Predict Field Failures: An Empirical Case Study.
ESEM 2007: 364-373 |
| 75 | | Carlos Pacheco,
Shuvendu K. Lahiri,
Michael D. Ernst,
Thomas Ball:
Feedback-Directed Random Test Generation.
ICSE 2007: 75-84 |
| 74 | | Thomas Ball,
Orna Kupferman:
Better Under-Approximation of Programs by Hiding Variables.
VMCAI 2007: 314-328 |
| 73 | | Shuvendu K. Lahiri,
Thomas Ball,
Byron Cook:
Predicate Abstraction via Symbolic Decision Procedures.
Logical Methods in Computer Science 3(2): (2007) |
| 2006 |
|---|
| 72 |  | Michael I. Schwartzbach,
Thomas Ball:
Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006
ACM 2006 |
| 71 | | Thomas Ball,
Stephan Diehl,
David Notkin,
Andreas Zeller:
Multi-Version Program Analysis, 26. June - 1. July 2005
Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 |
| 70 | | Thomas Ball,
Robert B. Jones:
Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Springer 2006 |
| 69 | | Thomas Ball:
Automated Abstraction of Software.
ATVA 2006: 8 |
| 68 | | Thomas Ball,
Ella Bounimova,
Byron Cook,
Vladimir Levin,
Jakob Lichtenberg,
Con McGarvey,
Bohus Ondrusek,
Sriram K. Rajamani,
Abdullah Ustuner:
Thorough static analysis of device drivers.
EuroSys 2006: 73-85 |
| 67 | | Nachiappan Nagappan,
Thomas Ball,
Andreas Zeller:
Mining metrics to predict component failures.
ICSE 2006: 452-461 |
| 66 | | Gunnar Kudrjavets,
Nachiappan Nagappan,
Thomas Ball:
Assessing the Relationship between Software Assertions and Faults: An Empirical Investigation.
ISSRE 2006: 204-212 |
| 65 | | Nachiappan Nagappan,
Thomas Ball,
Brendan Murphy:
Using Historical In-Process and Product Metrics for Early Estimation of Software Failures.
ISSRE 2006: 62-74 |
| 64 | | Greta Yorsh,
Thomas Ball,
Mooly Sagiv:
Testing, abstraction, theorem proving: better together!
ISSTA 2006: 145-156 |
| 63 | | Thomas Ball,
Orna Kupferman:
An Abstraction-Refinement Framework for Multi-Agent Systems.
LICS 2006: 379-388 |
| 62 | | Shuvendu K. Lahiri,
Thomas Ball,
Byron Cook:
Predicate Abstraction via Symbolic Decision Procedures
CoRR abs/cs/0612003: (2006) |
| 61 | | Bernhard Beckert,
Tony Hoare,
Reiner Hähnle,
Douglas R. Smith,
Cordell Green,
Silvio Ranise,
Cesare Tinelli,
Thomas Ball,
Sriram K. Rajamani:
Intelligent Systems and Formal Methods in Software Engineering.
IEEE Intelligent Systems 21(6): 71-81 (2006) |
| 2005 |
|---|
| 60 | | Shuvendu K. Lahiri,
Thomas Ball,
Byron Cook:
Predicate Abstraction via Symbolic Decision Procedures.
CAV 2005: 24-38 |
| 59 | | Thomas Ball,
Orna Kupferman,
Greta Yorsh:
Abstraction for Falsification.
CAV 2005: 67-81 |
| 58 | | Nachiappan Nagappan,
Thomas Ball:
Use of relative code churn measures to predict system defect density.
ICSE 2005: 284-292 |
| 57 | | Nachiappan Nagappan,
Thomas Ball:
Static analysis tools as early indicators of pre-release defect density.
ICSE 2005: 580-586 |
| 56 | | Thomas Ball,
Shuvendu K. Lahiri,
Madanlal Musuvathi:
Zap: Automated Theorem Proving for Software Analysis.
LPAR 2005: 2-22 |
| 55 | | Thomas Ball,
Stephan Diehl,
David Notkin,
Andreas Zeller:
05261 Abstracts Collection - Multi-Version Program Analysis.
Multi-Version Program Analysis 2005 |
| 54 | | Thomas Ball,
Stephan Diehl,
David Notkin,
Andreas Zeller:
05261 Summary - Multi-Version Program Analysis.
Multi-Version Program Analysis 2005 |
| 53 | | Thomas Ball:
The Verified Software Challenge: A Call for a Holistic Approach to Reliability.
VSTTE 2005: 42-48 |
| 52 | | Thomas Ball,
Todd D. Millstein,
Sriram K. Rajamani:
Polymorphic predicate abstraction.
ACM Trans. Program. Lang. Syst. 27(2): 314-343 (2005) |
| 2004 |
|---|
| 51 | | Thomas Ball,
Byron Cook,
Shuvendu K. Lahiri,
Lintao Zhang:
Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement.
CAV 2004: 457-461 |
| 50 | | Thomas Ball:
A Theory of Predicate-Complete Test Coverage and Generation.
FMCO 2004: 1-22 |
| 49 | | Thomas Ball,
Byron Cook,
Vladimir Levin,
Sriram K. Rajamani:
SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft.
IFM 2004: 1-20 |
| 48 | | Benjamin Aminof,
Thomas Ball,
Orna Kupferman:
Reasoning About Systems with Transition Fairness.
LPAR 2004: 194-208 |
| 47 | | Thomas Ball,
Byron Cook,
Satyaki Das,
Sriram K. Rajamani:
Refining Approximations in Software Predicate Abstraction.
TACAS 2004: 388-403 |
| 46 | | Thomas Ball,
Vladimir Levin,
Fei Xie:
Automatic Creation of Environment Models via Training.
TACAS 2004: 93-107 |
| 45 | | James R. Larus,
Thomas Ball,
Manuvir Das,
Robert DeLine,
Manuel Fähndrich,
Jonathan D. Pincus,
Sriram K. Rajamani,
Ramanathan Venkatapathy:
Righting Software.
IEEE Software 21(3): 92-100 (2004) |
| 2003 |
|---|
| 44 | | Thomas Ball,
Sriram K. Rajamani:
Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings
Springer 2003 |
| 43 | | Thomas Ball,
Mayur Naik,
Sriram K. Rajamani:
From symptom to cause: localizing errors in counterexample traces.
POPL 2003: 97-105 |
| 42 | | Thomas Ball,
Andreas Podelski,
Sriram K. Rajamani:
Boolean and Cartesian abstraction for model checking C programs.
STTT 5(1): 49-58 (2003) |
| 2002 |
|---|
| 41 | | Thomas Ball,
Sriram K. Rajamani:
The SLAM project: debugging system software via static analysis.
POPL 2002: 1-3 |
| 40 | | Stephen Adams,
Thomas Ball,
Manuvir Das,
Sorin Lerner,
Sriram K. Rajamani,
Mark Seigle,
Westley Weimer:
Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis.
SAS 2002: 230-246 |
| 39 | | Thomas Ball,
Andreas Podelski,
Sriram K. Rajamani:
Relative Completeness of Abstraction Refinement for Software Model Checking.
TACAS 2002: 158-172 |
| 38 | | David L. Atkins,
Thomas Ball,
Todd L. Graves,
Audris Mockus:
Using Version Control Data to Evaluate the Impact of Software Tools: A Case Study of the Version Editor.
IEEE Trans. Software Eng. 28(7): 625-637 (2002) |
| 2001 |
|---|
| 37 | | Thomas Ball,
Sriram K. Rajamani:
The SLAM Toolkit.
CAV 2001: 260-264 |
| 36 | | Thomas Ball,
Sriram K. Rajamani:
Bebop: a path-sensitive interprocedural dataflow engine.
PASTE 2001: 97-103 |
| 35 | | Thomas Ball,
Rupak Majumdar,
Todd D. Millstein,
Sriram K. Rajamani:
Automatic Predicate Abstraction of C Programs.
PLDI 2001: 203-213 |
| 34 | | Thomas Ball,
Sriram K. Rajamani:
Automatically Validating Temporal Safety Properties of Interfaces.
SPIN 2001: 103-122 |
| 33 | | Thomas Ball,
Sagar Chaki,
Sriram K. Rajamani:
Parameterized Verification of Multithreaded Software Libraries.
TACAS 2001: 158-173 |
| 32 | | Thomas Ball,
Andreas Podelski,
Sriram K. Rajamani:
Boolean and Cartesian Abstraction for Model Checking C Programs.
TACAS 2001: 268-283 |
| 31 | | Thomas Ball,
Hans-Juergen Boehm:
SIGPLANet - A Modest Proposal for SIGPLAN in the 21st Century.
SIGPLAN Notices 36(4): 1-2 (2001) |
| 2000 |
|---|
| 30 | | Thomas Ball,
Sriram K. Rajamani:
Bebop: A Symbolic Model Checker for Boolean Programs.
SPIN 2000: 113-130 |
| 29 | | Thomas Ball,
Veta Bonnewell,
Peter J. Danielsen,
Peter Mataga,
Kenneth Rehor:
Speech-enabled services using TelePortalTM software and VoiceXMLstar.
Bell Labs Technical Journal 5(3): 98-111 (2000) |
| 28 | | Thomas Ball,
James R. Larus:
Using Paths to Measure, Explain, and Enhance Program Behavior.
IEEE Computer 33(7): 57-65 (2000) |
| 27 | | Thomas Ball,
Daniel Hoffman,
Frank Ruskey,
Richard Webber,
Lee J. White:
State Generation and Automated Class Testing.
Softw. Test., Verif. Reliab. 10(3): 149-170 (2000) |
| 1999 |
|---|
| 26 | | Michael Siff,
Satish Chandra,
Thomas Ball,
Krishna Kunchithapadam,
Thomas W. Reps:
Coping with Type Casts in C.
ESEC / SIGSOFT FSE 1999: 180-198 |
| 25 | | Thomas Ball:
The Concept of Dynamic Analysis.
ESEC / SIGSOFT FSE 1999: 216-234 |
| 24 | | David L. Atkins,
Thomas Ball,
Todd L. Graves,
Audris Mockus:
Using Version Control Data to Evaluate the Impact of Software Tools.
ICSE 1999: 324-333 |
| 23 | | David L. Atkins,
Thomas Ball,
Glenn Bruns,
Kenneth C. Cox:
Mawl: A Domain-Specific Language for Form-Based Services.
IEEE Trans. Software Eng. 25(3): 334-346 (1999) |
| 22 | | Thomas Ball:
Paths between Imperative and Functional Programming.
SIGPLAN Notices 34(2): 21-25 (1999) |
| 1998 |
|---|
| 21 | | Thomas Ball:
On the Limit of Control Flow Analysis for Regression Test Selection.
ISSTA 1998: 134-142 |
| 20 | | Thomas Ball,
Peter Mataga,
Shmuel Sagiv:
Edge Profiling versus Path Profiling: The Showdown.
POPL 1998: 134-148 |
| 19 | | Fred Douglis,
Thomas Ball,
Yih-Farn Chen,
Eleftherios Koutsofios:
The AT&T Internet Difference Engine: Tracking and Viewing Changes on the Web.
World Wide Web 1(1): 27-44 (1998) |
| 1997 |
|---|
| 18 | | David L. Atkins,
Thomas Ball,
Michael Benedikt,
Glenn Bruns,
Kenneth C. Cox,
Peter Mataga,
Kenneth Rehor:
Experience with a Domain Specific Language for Form-based Services.
DSL 1997: 37-50 |
| 17 | | Thomas W. Reps,
Thomas Ball,
Manuvir Das,
James R. Larus:
The Use of Program Profiling for Software Maintenance with Applications to the Year 2000 Problem.
ESEC / SIGSOFT FSE 1997: 432-449 |
| 16 | | Dean F. Jerding,
John T. Stasko,
Thomas Ball:
Visualizing Interactions in Program Executions.
ICSE 1997: 360-370 |
| 15 | | Glenn Ammons,
Thomas Ball,
James R. Larus:
Exploiting Hardware Performance Counters with Flow and Context Sensitive Profiling.
PLDI 1997: 85-96 |
| 1996 |
|---|
| 14 | | Thomas Ball,
Fred Douglis:
An Internet Difference Engine and its Applications.
COMPCON 1996: 71-76 |
| 13 | | Thomas Ball,
James R. Larus:
Efficient Path Profiling.
MICRO 1996: 46-57 |
| 12 | | Fred Douglis,
Thomas Ball:
Tracking and Viewing Changes on the Web.
USENIX Annual Technical Conference 1996: 165-176 |
| 11 | | Fred Douglis,
Thomas Ball,
Yih-Farn Chen,
Eleftherios Koutsofios:
WebGUIDE: Querying and Navigating Changes in Web Repositories.
Computer Networks 28(7-11): 1335-1344 (1996) |
| 10 | | Thomas Ball,
Stephen G. Eick:
Software Visualization in the Large.
IEEE Computer 29(4): 33-43 (1996) |
| 1995 |
|---|
| 9 | | Trishul M. Chilimbi,
Thomas Ball,
Stephen G. Eick,
James R. Larus:
Storm Watch: A Tool for Visualizing Memory System Protocols.
SC 1995 |
| 1994 |
|---|
| 8 | | Thomas Ball,
Stephen G. Eick:
Visualizing Program Slices.
VL 1994: 288-295 |
| 7 | | Thomas Ball,
James R. Larus:
Optimally Profiling and Tracing Programs.
ACM Trans. Program. Lang. Syst. 16(4): 1319-1360 (1994) |
| 6 | | Thomas Ball:
Efficient Counting Program Events with Support for On-Line Queries.
ACM Trans. Program. Lang. Syst. 16(5): 1399-1410 (1994) |
| 5 | | James R. Larus,
Thomas Ball:
Rewriting Executable Files to Measure Program Behavior.
Softw., Pract. Exper. 24(2): 197-218 (1994) |
| 1993 |
|---|
| 4 | | Thomas Ball,
Susan Horwitz:
Slicing Programs with Arbitrary Control-flow.
AADEBUG 1993: 206-222 |
| 3 | | Thomas Ball,
James R. Larus:
Branch Prediction For Free.
PLDI 1993: 300-313 |
| 2 | | Thomas Ball:
What's In a Region? Or Computing Control Dependence Regions In Near-Linear Time for Reducible Control Flow.
LOPLAS 2(1-4): 1-16 (1993) |
| 1992 |
|---|
| 1 | | Thomas Ball,
James R. Larus:
Optimally Profiling and Tracing Programs.
POPL 1992: 59-70 |
