Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Thomas Ball
2010 – today
- 2012
[c73]- [c72]Daniel Perelman, Sumit Gulwani, Thomas Ball, Dan Grossman: Type-directed completion of partial expressions. PLDI 2012: 275-286
- [c71]Thomas Ball, Nikolaj Bjørner, Leonardo Mendonça de Moura, Kenneth L. McMillan, Margus Veanes: Beyond First-Order Satisfaction: Fixed Points, Interpolants, Automata and Polynomials. SPIN 2012: 1-6
- [e8]Jos C. M. Baeten, Thomas Ball, Frank S. de Boer (Eds.): Theoretical Computer Science - 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings. Lecture Notes in Computer Science 7604, Springer 2012, ISBN 978-3-642-33474-0
- 2011
- [j21]Thomas Ball, Vladimir Levin, Sriram K. Rajamani: A decade of software model checking with SLAM. Commun. ACM 54(7): 68-76 (2011)
- [j20]Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Madan Musuvathi, Shaz Qadeer: Predictable and Progressive Testing of Multithreaded Code. IEEE Software 28(3): 75-83 (2011)
- [c70]Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin: Model Checking Büchi Pushdown Systems. FASE 2011: 141-155
- [c69]Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey: Formalizing hardware/software interface specifications. ASE 2011: 143-152
- [c68]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: 427-444
- [c67]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: 189-194
- [e7]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. ACM 2011, ISBN 978-1-4503-0490-0
- 2010
- [c66]Thomas Ball, Ella Bounimova, Vladimir Levin, Rahul Kumar, Jakob Lichtenberg: The Static Driver Verifier Research Platform. CAV 2010: 119-122
- [c65]Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin: Efficient Reachability Analysis of Büchi Pushdown Systems for Hardware/Software Co-verification. CAV 2010: 339-353
- [c64]Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey: An Automata-Theoretic Approach to Hardware/Software Co-verification. FASE 2010: 248-262
- [c63]Thomas Ball, Ella Bounimova, Rahul Kumar, Vladimir Levin: SLAM2: Static driver verification with under 4% false alarms. FMCAD 2010: 35-42
- [c62]Thomas Ball, Sebastian Burckhardt, Katherine E. Coons, Madanlal Musuvathi, Shaz Qadeer: Preemption Sealing for Efficient Concurrency Testing. TACAS 2010: 420-434
- [c61]Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue: Towards Scalable Modular Checking of User-Defined Properties. VSTTE 2010: 1-24
2000 – 2009
- 2009
- [c60]Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer: Deconstructing concurrency heisenbugs. ICSE Companion 2009: 403-404
- [c59]
- 2008
- [c58]Carlos Pacheco, Shuvendu K. Lahiri, Thomas Ball: Finding errors in .net with feedback-directed random testing. ISSTA 2008: 87-96
- [c57]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
- [c56]Grigore Rosu, Feng Chen, Thomas Ball: Synthesizing Monitors for Safety Properties: This Time with Calls and Returns. RV 2008: 51-68
- [c55]
- 2007
- [j19]Shuvendu K. Lahiri, Thomas Ball, Byron Cook: Predicate Abstraction via Symbolic Decision Procedures. Logical Methods in Computer Science 3(2) (2007)
- [c54]Thomas Ball, Orna Kupferman, Mooly Sagiv: Leaping Loops in the Presence of Abstraction. CAV 2007: 491-503
- [c53]Nachiappan Nagappan, Thomas Ball: Using Software Dependencies and Churn Metrics to Predict Field Failures: An Empirical Case Study. ESEM 2007: 364-373
- [c52]Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball: Feedback-Directed Random Test Generation. ICSE 2007: 75-84
- [c51]Thomas Ball, Orna Kupferman: Better Under-Approximation of Programs by Hiding Variables. VMCAI 2007: 314-328
- 2006
- [j18]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)
- [c50]
- [c49]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
- [c48]Nachiappan Nagappan, Thomas Ball, Andreas Zeller: Mining metrics to predict component failures. ICSE 2006: 452-461
- [c47]Nachiappan Nagappan, Thomas Ball, Brendan Murphy: Using Historical In-Process and Product Metrics for Early Estimation of Software Failures. ISSRE 2006: 62-74
- [c46]Gunnar Kudrjavets, Nachiappan Nagappan, Thomas Ball: Assessing the Relationship between Software Assertions and Faults: An Empirical Investigation. ISSRE 2006: 204-212
- [c45]Greta Yorsh, Thomas Ball, Mooly Sagiv: Testing, abstraction, theorem proving: better together! ISSTA 2006: 145-156
- [c44]Thomas Ball, Orna Kupferman: An Abstraction-Refinement Framework for Multi-Agent Systems. LICS 2006: 379-388
- [e6]Thomas Ball, Robert B. Jones (Eds.): Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Lecture Notes in Computer Science 4144, Springer 2006, ISBN 3-540-37406-X
- [e5]Thomas Ball, Stephan Diehl, David Notkin, Andreas Zeller (Eds.): Multi-Version Program Analysis, 26. June - 1. July 2005. Dagstuhl Seminar Proceedings 05261, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
- [e4]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. ACM 2006, ISBN 1-59593-320-4
- [i1]Shuvendu K. Lahiri, Thomas Ball, Byron Cook: Predicate Abstraction via Symbolic Decision Procedures. CoRR abs/cs/0612003 (2006)
- 2005
- [j17]Thomas Ball, Todd D. Millstein, Sriram K. Rajamani: Polymorphic predicate abstraction. ACM Trans. Program. Lang. Syst. 27(2): 314-343 (2005)
- [c43]Shuvendu K. Lahiri, Thomas Ball, Byron Cook: Predicate Abstraction via Symbolic Decision Procedures. CAV 2005: 24-38
- [c42]
- [c41]Thomas Ball, Stephan Diehl, David Notkin, Andreas Zeller: 05261 Summary - Multi-Version Program Analysis. Multi-Version Program Analysis 2005
- [c40]Thomas Ball, Stephan Diehl, David Notkin, Andreas Zeller: 05261 Abstracts Collection - Multi-Version Program Analysis. Multi-Version Program Analysis 2005
- [c39]Nachiappan Nagappan, Thomas Ball: Use of relative code churn measures to predict system defect density. ICSE 2005: 284-292
- [c38]Nachiappan Nagappan, Thomas Ball: Static analysis tools as early indicators of pre-release defect density. ICSE 2005: 580-586
- [c37]Thomas Ball, Shuvendu K. Lahiri, Madanlal Musuvathi: Zap: Automated Theorem Proving for Software Analysis. LPAR 2005: 2-22
- [c36]Thomas Ball: The Verified Software Challenge: A Call for a Holistic Approach to Reliability. VSTTE 2005: 42-48
- 2004
- [j16]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)
- [c35]Thomas Ball, Byron Cook, Shuvendu K. Lahiri, Lintao Zhang: Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement. CAV 2004: 457-461
- [c34]
- [c33]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
- [c32]Benjamin Aminof, Thomas Ball, Orna Kupferman: Reasoning About Systems with Transition Fairness. LPAR 2004: 194-208
- [c31]Thomas Ball, Vladimir Levin, Fei Xie: Automatic Creation of Environment Models via Training. TACAS 2004: 93-107
- [c30]Thomas Ball, Byron Cook, Satyaki Das, Sriram K. Rajamani: Refining Approximations in Software Predicate Abstraction. TACAS 2004: 388-403
- 2003
- [j15]Thomas Ball, Andreas Podelski, Sriram K. Rajamani: Boolean and Cartesian abstraction for model checking C programs. STTT 5(1): 49-58 (2003)
- [c29]Thomas Ball, Mayur Naik, Sriram K. Rajamani: From symptom to cause: localizing errors in counterexample traces. POPL 2003: 97-105
- [e3]Thomas Ball, Sriram K. Rajamani (Eds.): Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings. Lecture Notes in Computer Science 2648, Springer 2003, ISBN 3-540-40117-2
- 2002
- [j14]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)
- [c28]Thomas Ball, Sriram K. Rajamani: The SLAM project: debugging system software via static analysis. POPL 2002: 1-3
- [c27]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
- [c26]Thomas Ball, Andreas Podelski, Sriram K. Rajamani: Relative Completeness of Abstraction Refinement for Software Model Checking. TACAS 2002: 158-172
- 2001
- [j13]Thomas Ball, Hans-Juergen Boehm: SIGPLANet - A Modest Proposal for SIGPLAN in the 21st Century. SIGPLAN Notices 36(4): 1-2 (2001)
- [c25]
- [c24]Thomas Ball, Sriram K. Rajamani: Bebop: a path-sensitive interprocedural dataflow engine. PASTE 2001: 97-103
- [c23]Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani: Automatic Predicate Abstraction of C Programs. PLDI 2001: 203-213
- [c22]Thomas Ball, Sriram K. Rajamani: Automatically Validating Temporal Safety Properties of Interfaces. SPIN 2001: 103-122
- [c21]Thomas Ball, Sagar Chaki, Sriram K. Rajamani: Parameterized Verification of Multithreaded Software Libraries. TACAS 2001: 158-173
- [c20]Thomas Ball, Andreas Podelski, Sriram K. Rajamani: Boolean and Cartesian Abstraction for Model Checking C Programs. TACAS 2001: 268-283
- 2000
- [j12]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)
- [j11]Thomas Ball, James R. Larus: Using Paths to Measure, Explain, and Enhance Program Behavior. IEEE Computer 33(7): 57-65 (2000)
- [j10]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)
- [c19]Thomas Ball, Sriram K. Rajamani: Bebop: A Symbolic Model Checker for Boolean Programs. SPIN 2000: 113-130
1990 – 1999
- 1999
- [j9]Thomas Ball: Paths between Imperative and Functional Programming. SIGPLAN Notices 34(2): 21-25 (1999)
- [j8]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)
- [c18]Michael Siff, Satish Chandra, Thomas Ball, Krishna Kunchithapadam, Thomas W. Reps: Coping with Type Casts in C. ESEC / SIGSOFT FSE 1999: 180-198
- [c17]
- [c16]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
- [e2]Thomas Ball (Ed.): Proceedings of the Second Conference on Domain-Specific Languages (DSL '99), Austin, Texas, USA, October 3-5, 1999. ACM 1999, ISBN 1-58113-255-7
- 1998
- [j7]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)
- [c15]Thomas Ball: On the Limit of Control Flow Analysis for Regression Test Selection. ISSTA 1998: 134-142
- [c14]Thomas Ball, Peter Mataga, Shmuel Sagiv: Edge Profiling versus Path Profiling: The Showdown. POPL 1998: 134-148
- [e1]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. ACM 1998, ISBN 1-58113-055-4
- 1997
- [c13]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
- [c12]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
- [c11]Dean F. Jerding, John T. Stasko, Thomas Ball: Visualizing Interactions in Program Executions. ICSE 1997: 360-370
- [c10]Glenn Ammons, Thomas Ball, James R. Larus: Exploiting Hardware Performance Counters with Flow and Context Sensitive Profiling. PLDI 1997: 85-96
- 1996
- [j6]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)
- [j5]Thomas Ball, Stephen G. Eick: Software Visualization in the Large. IEEE Computer 29(4): 33-43 (1996)
- [c9]
- [c8]
- [c7]Fred Douglis, Thomas Ball: Tracking and Viewing Changes on the Web. USENIX Annual Technical Conference 1996: 165-176
- 1995
- [c6]Trishul M. Chilimbi, Thomas Ball, Stephen G. Eick, James R. Larus: Storm Watch: A Tool for Visualizing Memory System Protocols. SC 1995: 38
- 1994
- [j4]James R. Larus, Thomas Ball: Rewriting Executable Files to Measure Program Behavior. Softw., Pract. Exper. 24(2): 197-218 (1994)
- [j3]Thomas Ball, James R. Larus: Optimally Profiling and Tracing Programs. ACM Trans. Program. Lang. Syst. 16(4): 1319-1360 (1994)
- [j2]Thomas Ball: Efficient Counting Program Events with Support for On-Line Queries. ACM Trans. Program. Lang. Syst. 16(5): 1399-1410 (1994)
- [c5]Hank P. Beelen, Thomas Ball: End-to-end Service Survivability- Study Methodology Root Cause Analysis Solution Alternatives. NOMS 1994: 655-670
- [c4]
- 1993
- [j1]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)
- [c3]
- [c2]
- 1992
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:23 CEST by the dblp team