| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Madan Musuvathi, Shaz Qadeer |
Predictable and Progressive Testing of Multithreaded Code.  |
IEEE Software  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Vladimir Levin, Sriram K. Rajamani |
A decade of software model checking with SLAM. |
Commun. ACM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey |
Formalizing hardware/software interface specifications. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Mooly Sagiv (eds.) |
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, TX, USA, January 26-28, 2011 |
POPL |
2011 |
DBLP BibTeX RDF |
|
| 1 | Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin |
Model Checking Büchi Pushdown Systems. |
FASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Burckhardt, Daan Leijen, Caitlin Sadowski, Jaeheon Yi, Thomas Ball |
Two for the price of one: a model for parallel and incremental computation. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Caitlin Sadowski, Thomas Ball, Judith Bishop, Sebastian Burckhardt, Ganesh Gopalakrishnan, Joseph Mayo, Madanlal Musuvathi, Shaz Qadeer, Stephen Toub |
Practical parallel and concurrent programming. |
SIGCSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Sebastian Burckhardt, Katherine E. Coons, Madanlal Musuvathi, Shaz Qadeer |
Preemption Sealing for Efficient Concurrency Testing. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Ella Bounimova, Rahul Kumar, Vladimir Levin |
SLAM2: Static driver verification with under 4% false alarms. |
FMCAD |
2010 |
DBLP BibTeX RDF |
|
| 1 | Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey |
An Automata-Theoretic Approach to Hardware/Software Co-verification. |
FASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue |
Towards Scalable Modular Checking of User-Defined Properties. |
VSTTE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Ella Bounimova, Vladimir Levin, Rahul Kumar, Jakob Lichtenberg |
The Static Driver Verifier Research Platform. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin |
Efficient Reachability Analysis of Büchi Pushdown Systems for Hardware/Software Co-verification. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer |
Deconstructing concurrency heisenbugs. |
ICSE Companion |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball |
A brief history of software - from Bell Labs to Microsoft Research. |
MSR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigore Rosu, Feng Chen, Thomas Ball |
Synthesizing Monitors for Safety Properties: This Time with Calls and Returns. |
RV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Gérard Basler, Piramanayagam Arumuga Nainar, Iulian Neamtiu |
Finding and Reproducing Heisenbugs in Concurrent Programs. |
OSDI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Carlos Pacheco, Shuvendu K. Lahiri, Thomas Ball |
Finding errors in .net with feedback-directed random testing. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
random testing |
| 1 | Thomas Ball, Orna Kupferman |
Vacuity in Testing. |
TAP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuvendu K. Lahiri, Thomas Ball, Byron Cook |
Predicate Abstraction via Symbolic Decision Procedures. |
Logical Methods in Computer Science |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Orna Kupferman, Mooly Sagiv |
Leaping Loops in the Presence of Abstraction. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nachiappan Nagappan, Thomas Ball |
Using Software Dependencies and Churn Metrics to Predict Field Failures: An Empirical Case Study. |
ESEM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Orna Kupferman |
Better Under-Approximation of Programs by Hiding Variables. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball |
Feedback-Directed Random Test Generation. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuvendu K. Lahiri, Thomas Ball, Byron Cook |
Predicate Abstraction via Symbolic Decision Procedures |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2006 |
DBLP DOI BibTeX RDF |
deductive software verification, software engineering, formal methods, program verification, software synthesis, satisfiability modulo theories |
| 1 | Michael I. Schwartzbach, Thomas Ball (eds.) |
Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006 |
PLDI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Greta Yorsh, Thomas Ball, Mooly Sagiv |
Testing, abstraction, theorem proving: better together! |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
fabricated states, state-based coverage, testing, abstraction, program analysis, abstract interpretation, coverage, theorem prover, software fault injection, adequacy criteria |
| 1 | Thomas Ball, Stephan Diehl, David Notkin, Andreas Zeller (eds.) |
Multi-Version Program Analysis, 26. June - 1. July 2005 |
Multi-Version Program Analysis |
2006 |
DBLP BibTeX RDF |
|
| 1 | Thomas Ball |
Automated Abstraction of Software. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
formal verification, software model checking |
| 1 | Thomas Ball, Robert B. Jones (eds.) |
Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings |
CAV |
2006 |
DBLP BibTeX RDF |
|
| 1 | Thomas Ball, Orna Kupferman |
An Abstraction-Refinement Framework for Multi-Agent Systems. |
LICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Nachiappan Nagappan, Thomas Ball, Brendan Murphy |
Using Historical In-Process and Product Metrics for Early Estimation of Software Failures. |
ISSRE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gunnar Kudrjavets, Nachiappan Nagappan, Thomas Ball |
Assessing the Relationship between Software Assertions and Faults: An Empirical Investigation. |
ISSRE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Nachiappan Nagappan, Thomas Ball, Andreas Zeller |
Mining metrics to predict component failures. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
bug database, principal component analysis, empirical study, regression model, complexity metrics |
| 1 | Thomas Ball, Todd D. Millstein, Sriram K. Rajamani |
Polymorphic predicate abstraction. |
ACM Trans. Program. Lang. Syst. |
2005 |
DBLP DOI BibTeX RDF |
polymorphism, Software model checking, predicate abstraction |
| 1 | Thomas Ball, Shuvendu K. Lahiri, Madanlal Musuvathi |
Zap: Automated Theorem Proving for Software Analysis. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Stephan Diehl, David Notkin, Andreas Zeller |
05261 Abstracts Collection - Multi-Version Program Analysis. |
Multi-Version Program Analysis |
2005 |
DBLP BibTeX RDF |
|
| 1 | Thomas Ball, Stephan Diehl, David Notkin, Andreas Zeller |
05261 Summary - Multi-Version Program Analysis. |
Multi-Version Program Analysis |
2005 |
DBLP BibTeX RDF |
|
| 1 | Thomas Ball |
The Verified Software Challenge: A Call for a Holistic Approach to Reliability. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuvendu K. Lahiri, Thomas Ball, Byron Cook |
Predicate Abstraction via Symbolic Decision Procedures. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Orna Kupferman, Greta Yorsh |
Abstraction for Falsification. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Nachiappan Nagappan, Thomas Ball |
Use of relative code churn measures to predict system defect density. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
relative code churn, principal component analysis, multiple regression, fault-proneness, defect density |
| 1 | Nachiappan Nagappan, Thomas Ball |
Static analysis tools as early indicators of pre-release defect density. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
statistical methods, fault-proneness, defect density, static analysis tools |
| 1 | James R. Larus, Thomas Ball, Manuvir Das, Robert DeLine, Manuel Fähndrich, Jonathan D. Pincus, Sriram K. Rajamani, Ramanathan Venkatapathy |
Righting Software. |
IEEE Software |
2004 |
DBLP DOI BibTeX RDF |
software engineering, model checking, formal methods, coding tools and techniques |
| 1 | Thomas Ball, Vladimir Levin, Fei Xie |
Automatic Creation of Environment Models via Training. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Byron Cook, Satyaki Das, Sriram K. Rajamani |
Refining Approximations in Software Predicate Abstraction. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Aminof, Thomas Ball, Orna Kupferman |
Reasoning About Systems with Transition Fairness. |
LPAR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball |
A Theory of Predicate-Complete Test Coverage and Generation. |
FMCO |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani |
SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Byron Cook, Shuvendu K. Lahiri, Lintao Zhang |
Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Andreas Podelski, Sriram K. Rajamani |
Boolean and Cartesian abstraction for model checking C programs. |
STTT |
2003 |
DBLP DOI BibTeX RDF |
Software engineering, Model checking, Verification, Program analysis, Abstract interpretation |
| 1 | Thomas Ball, Mayur Naik, Sriram K. Rajamani |
From symptom to cause: localizing errors in counterexample traces. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
debugging, software model checking |
| 1 | Thomas Ball, Sriram K. Rajamani (eds.) |
Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings |
SPIN |
2003 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2002 |
DBLP DOI BibTeX RDF |
effort analysis, Software tools, version control system |
| 1 | Thomas Ball, Andreas Podelski, Sriram K. Rajamani |
Relative Completeness of Abstraction Refinement for Software Model Checking. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Sriram K. Rajamani |
The SLAM project: debugging system software via static analysis. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Hans-Juergen Boehm |
SIGPLANet - A Modest Proposal for SIGPLAN in the 21st Century. |
SIGPLAN Notices |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani |
Automatic Predicate Abstraction of C Programs. |
PLDI |
2001 |
DBLP DOI BibTeX RDF |
C |
| 1 | Thomas Ball, Sagar Chaki, Sriram K. Rajamani |
Parameterized Verification of Multithreaded Software Libraries. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Andreas Podelski, Sriram K. Rajamani |
Boolean and Cartesian Abstraction for Model Checking C Programs. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Sriram K. Rajamani |
Automatically Validating Temporal Safety Properties of Interfaces. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Sriram K. Rajamani |
Bebop: a path-sensitive interprocedural dataflow engine. |
PASTE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Sriram K. Rajamani |
The SLAM Toolkit. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Veta Bonnewell, Peter J. Danielsen, Peter Mataga, Kenneth Rehor |
Speech-enabled services using TelePortalTM software and VoiceXMLstar. |
Bell Labs Technical Journal |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, James R. Larus |
Using Paths to Measure, Explain, and Enhance Program Behavior. |
IEEE Computer |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Daniel Hoffman, Frank Ruskey, Richard Webber, Lee J. White |
State Generation and Automated Class Testing. |
Softw. Test., Verif. Reliab. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Sriram K. Rajamani |
Bebop: A Symbolic Model Checker for Boolean Programs. |
SPIN |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | David L. Atkins, Thomas Ball, Glenn Bruns, Kenneth C. Cox |
Mawl: A Domain-Specific Language for Form-Based Services. |
IEEE Trans. Software Eng. |
1999 |
DBLP DOI BibTeX RDF |
web services, World Wide Web, programming languages, HTML, forms |
| 1 | Thomas Ball |
Paths between Imperative and Functional Programming. |
SIGPLAN Notices |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Siff, Satish Chandra, Thomas Ball, Krishna Kunchithapadam, Thomas W. Reps |
Coping with Type Casts in C. |
ESEC / SIGSOFT FSE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball |
The Concept of Dynamic Analysis. |
ESEC / SIGSOFT FSE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | David L. Atkins, Thomas Ball, Todd L. Graves, Audris Mockus |
Using Version Control Data to Evaluate the Impact of Software Tools. |
ICSE |
1999 |
DBLP BibTeX RDF |
effort analysis, software tools, version control system |
| 1 | Thomas Ball (eds.) |
Proceedings of the Second Conference on Domain-Specific Languages (DSL '99), Austin, Texas, USA, October 3-5, 1999 |
DSL |
1999 |
DBLP BibTeX RDF |
|
| 1 | 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 |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball |
On the Limit of Control Flow Analysis for Regression Test Selection. |
ISSTA |
1998 |
DBLP DOI BibTeX RDF |
profiling, coverage, regression testing, control flow analysis |
| 1 | Thomas Ball, Peter Mataga, Shmuel Sagiv |
Edge Profiling versus Path Profiling: The Showdown. |
POPL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Frank Tip, A. Michael Berman (eds.) |
Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE '98, Montreal, Canada, June 16, 1998 |
PASTE |
1998 |
DBLP BibTeX RDF |
|
| 1 | Glenn Ammons, Thomas Ball, James R. Larus |
Exploiting Hardware Performance Counters with Flow and Context Sensitive Profiling. |
PLDI |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Dean F. Jerding, John T. Stasko, Thomas Ball |
Visualizing Interactions in Program Executions. |
ICSE |
1997 |
DBLP DOI BibTeX RDF |
reverse engineering, program understanding, software visualization, object-oriented software engineering |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Fred Douglis, Thomas Ball, Yih-Farn Chen, Eleftherios Koutsofios |
WebGUIDE: Querying and Navigating Changes in Web Repositories. |
Computer Networks |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Stephen G. Eick |
Software Visualization in the Large. |
IEEE Computer |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Fred Douglis, Thomas Ball |
Tracking and Viewing Changes on the Web. |
USENIX Annual Technical Conference |
1996 |
DBLP BibTeX RDF |
|
| 1 | Thomas Ball, James R. Larus |
Efficient Path Profiling. |
MICRO |
1996 |
DBLP BibTeX RDF |
|
| 1 | Thomas Ball, Fred Douglis |
An Internet Difference Engine and its Applications. |
COMPCON |
1996 |
DBLP BibTeX RDF |
|
| 1 | Trishul M. Chilimbi, Thomas Ball, Stephen G. Eick, James R. Larus |
Storm Watch: A Tool for Visualizing Memory System Protocols. |
SC |
1995 |
DBLP BibTeX RDF |
|
| 1 | James R. Larus, Thomas Ball |
Rewriting Executable Files to Measure Program Behavior. |
Softw., Pract. Exper. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, James R. Larus |
Optimally Profiling and Tracing Programs. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
instruction tracing, profiling, instrumentation, control-flow graph |
| 1 | Thomas Ball |
Efficient Counting Program Events with Support for On-Line Queries. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
instrumentation, control-flow graph, counting |
| 1 | Thomas Ball, Stephen G. Eick |
Visualizing Program Slices. |
VL |
1994 |
DBLP BibTeX RDF |
|
| 1 | Thomas Ball |
What's In a Region? Or Computing Control Dependence Regions In Near-Linear Time for Reducible Control Flow. |
LOPLAS |
1993 |
DBLP DOI BibTeX RDF |
regions, control-flow graph, control dependence |
| 1 | Thomas Ball, James R. Larus |
Branch Prediction For Free. |
PLDI |
1993 |
DBLP DOI BibTeX RDF |
FORTRAN |
| 1 | Thomas Ball, Susan Horwitz |
Slicing Programs with Arbitrary Control-flow. |
AADEBUG |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, James R. Larus |
Optimally Profiling and Tracing Programs. |
POPL |
1992 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")