| 2026 | Mobisys | Poster: MicroMesh - A Zero-Configuration Educational Mesh Network for the BBC micro: bit. | William Dove, Joe Finney, Steve Hodges, Thomas Ball |
| 2024 | UIST | MicroCode: live, portable programming for children via robotics. | Lorraine Underwood, Thomas Ball, Steve Hodges, Elisa Rubegni, Peli de Halleux, Joe Finney |
| 2021 | CHI | Rethinking the Runway: Using Avant-Garde Fashion To Design a System for Wearables. | Teddy Seyed, James Devine, Joe Finney, Michal Moskal, Peli de Halleux, Steve Hodges, Thomas Ball, Asta Roseway |
| 2021 | FDG | Web-based Programming for Low-cost Gaming Handhelds. | Michal Moskal, Thomas Ball, Abhijith Chatra, James Devine, Peli de Halleux, Steve Hodges, Shannon Kao, Richard Knoll, Galen Nickel, Jacqueline Russell, Joey Wunderlich, Daryl Zuniga |
| 2020 | UIST | TileCode: Creation of Video Games on Gaming Handhelds. | Thomas Ball, Shannon Kao, Richard Knoll, Daryl Zuniga |
| 2019 | CHI | MakerArcade: Using Gaming and Physical Computing for Playful Making, Learning, and Creativity. | Teddy Seyed, Peli de Halleux, Michal Moskal, James Devine, Joe Finney, Steve Hodges, Thomas Ball |
| 2018 | CHI | ARcadia: A Rapid Prototyping Platform for Real-time Tangible Interfaces. | Annie Kelly, R. Benjamin Shapiro, Jonathan de Halleux, Thomas Ball |
| 2018 | CHI | ARcadia: A Rapid Prototyping Platform for Real-time Tangible Interfaces. | Annie Kelly, R. Benjamin Shapiro, Jonathan de Halleux, Thomas Ball |
| 2018 | ICSA | KEYNOTE. Push, Pull, Partner: A Few Models for Working with Industry. | Thomas Ball |
| 2018 | ICSE | Multi-platform computing for physical devices via MakeCode and CODAL. | Thomas Ball, Judith Bishop, Joe Finney |
| 2017 | ICSE | Physical computing for everyone. | Thomas Ball |
| 2017 | SIGCSE | The Micro: bit: Hands-on Computing for the New Generation (Abstract Only). | Thomas Ball, Judith Bishop, Jonathan de Halleux |
| 2016 | ICSE | Microsoft touch develop and the BBC micro: bit. | Thomas Ball, Jonathan Protzenko, Judith Bishop, Michal Moskal, Jonathan de Halleux, Michael Braun, Steve Hodges, Clare Riley |
| 2016 | IFM | CloudSDV Enabling Static Driver Verifier Using Microsoft Azure. | Rahul Kumar, Thomas Ball, Jakob Lichtenberg, Nate Deisinger, Apoorv Upreti, Chetan Bansal |
| 2015 | ICSE | Beyond Open Source: The Touch Develop Cloud-Based Integrated Development Environment. | Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann |
| 2014 | ICSE | TouchDevelop: create rich mobile apps on touch devices (tutorial). | Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Sebastian Burckhardt, Thomas Ball, Judith Bishop |
| 2014 | PLDI | VeriCon: towards verifying controller programs in software-defined networks. | Thomas Ball, Nikolaj S. Bjrner, Aaron Gember, Shachar Itzhaky, Aleksandr Karbyshev, Mooly Sagiv, Michael Schapira, Asaf Valadarsky |
| 2014 | USENIX | Efficient Tracing of Cold Code via Bias-Free Sampling. | Baris Kasikci, Thomas Ball, George Candea, John Erickson, Madanlal Musuvathi |
| 2013 | FMCAD | Efficient modular SAT solving for IC3. | Sam Bayless, Celina G. Val, Thomas Ball, Holger H. Hoos, Alan J. Hu |
| 2012 | OOPSLA | Modular and verified automatic program repair. | Francesco Logozzo, Thomas Ball |
| 2012 | PLDI | Type-directed completion of partial expressions. | Daniel Perelman, Sumit Gulwani, Thomas Ball, Dan Grossman |
| 2011 | FASE | Model Checking Bchi Pushdown Systems. | Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin |
| 2011 | OOPSLA | Two for the price of one: a model for parallel and incremental computation. | Sebastian Burckhardt, Daan Leijen, Caitlin Sadowski, Jaeheon Yi, Thomas Ball |
| 2011 | SIGCSE | Practical parallel and concurrent programming. | Caitlin Sadowski, Thomas Ball, Judith Bishop, Sebastian Burckhardt, Ganesh Gopalakrishnan, Joseph Mayo, Madanlal Musuvathi, Shaz Qadeer, Stephen Toub |
| 2010 | CAV | The Static Driver Verifier Research Platform. | Thomas Ball, Ella Bounimova, Vladimir Levin, Rahul Kumar, Jakob Lichtenberg |
| 2010 | CAV | Efficient Reachability Analysis of Bchi Pushdown Systems for Hardware/Software Co-verification. | Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin |
| 2010 | FASE | An Automata-Theoretic Approach to Hardware/Software Co-verification. | Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey |
| 2010 | FMCAD | SLAM2: Static driver verification with under 4% false alarms. | Thomas Ball, Ella Bounimova, Rahul Kumar, Vladimir Levin |
| 2010 | TACAS | Preemption Sealing for Efficient Concurrency Testing. | Thomas Ball, Sebastian Burckhardt, Katherine E. Coons, Madanlal Musuvathi, Shaz Qadeer |
| 2009 | ICSE | Deconstructing concurrency heisenbugs. | Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer |
| 2009 | MSR | A brief history of software - from Bell Labs to Microsoft Research. | Thomas Ball |
| 2008 | ISSTA | Finding errors in .net with feedback-directed random testing. | Carlos Pacheco, Shuvendu K. Lahiri, Thomas Ball |
| 2008 | OSDI | Finding and Reproducing Heisenbugs in Concurrent Programs. | Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Grard Basler, Piramanayagam Arumuga Nainar, Iulian Neamtiu |
| 2008 | RV | Synthesizing Monitors for Safety Properties: This Time with Calls and Returns. | Grigore Rosu, Feng Chen, Thomas Ball |
| 2008 | TAP | Vacuity in Testing. | Thomas Ball, Orna Kupferman |
| 2007 | CAV | Leaping Loops in the Presence of Abstraction. | Thomas Ball, Orna Kupferman, Mooly Sagiv |
| 2007 | ESEM | Using Software Dependencies and Churn Metrics to Predict Field Failures: An Empirical Case Study. | Nachiappan Nagappan, Thomas Ball |
| 2007 | ICSE | Feedback-Directed Random Test Generation. | Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball |
| 2007 | VMCAI | Better Under-Approximation of Programs by Hiding Variables. | Thomas Ball, Orna Kupferman |
| 2006 | ATVA | Automated Abstraction of Software. | Thomas Ball |
| 2006 | EuroSys | Thorough static analysis of device drivers. | Thomas Ball, Ella Bounimova, Byron Cook, Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram K. Rajamani, Abdullah Ustuner |
| 2006 | ICSE | Mining metrics to predict component failures. | Nachiappan Nagappan, Thomas Ball, Andreas Zeller |
| 2006 | ISSRE | Assessing the Relationship between Software Assertions and Faults: An Empirical Investigation. | Gunnar Kudrjavets, Nachiappan Nagappan, Thomas Ball |
| 2006 | ISSRE | Using Historical In-Process and Product Metrics for Early Estimation of Software Failures. | Nachiappan Nagappan, Thomas Ball, Brendan Murphy |
| 2006 | ISSTA | Testing, abstraction, theorem proving: better together! | Greta Yorsh, Thomas Ball, Mooly Sagiv |
| 2006 | LICS | An Abstraction-Refinement Framework for Multi-Agent Systems. | Thomas Ball, Orna Kupferman |
| 2005 | CAV | Abstraction for Falsification. | Thomas Ball, Orna Kupferman, Greta Yorsh |
| 2005 | CAV | Predicate Abstraction via Symbolic Decision Procedures. | Shuvendu K. Lahiri, Thomas Ball, Byron Cook |
| 2005 | ICSE | Use of relative code churn measures to predict system defect density. | Nachiappan Nagappan, Thomas Ball |
| 2005 | ICSE | Static analysis tools as early indicators of pre-release defect density. | Nachiappan Nagappan, Thomas Ball |
| 2005 | LPAR | Zap: Automated Theorem Proving for Software Analysis. | Thomas Ball, Shuvendu K. Lahiri, Madanlal Musuvathi |
| 2004 | CAV | Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement. | Thomas Ball, Byron Cook, Shuvendu K. Lahiri, Lintao Zhang |
| 2004 | IFM | SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft. | Thomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani |
| 2004 | LPAR | Reasoning About Systems with Transition Fairness. | Benjamin Aminof, Thomas Ball, Orna Kupferman |
| 2004 | TACAS | Refining Approximations in Software Predicate Abstraction. | Thomas Ball, Byron Cook, Satyaki Das, Sriram K. Rajamani |
| 2004 | TACAS | Automatic Creation of Environment Models via Training. | Thomas Ball, Vladimir Levin, Fei Xie |
| 2003 | POPL | From symptom to cause: localizing errors in counterexample traces. | Thomas Ball, Mayur Naik, Sriram K. Rajamani |
| 2002 | POPL | The SLAM project: debugging system software via static analysis. | Thomas Ball, Sriram K. Rajamani |
| 2002 | SAS | Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis. | Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer |
| 2002 | TACAS | Relative Completeness of Abstraction Refinement for Software Model Checking. | Thomas Ball, Andreas Podelski, Sriram K. Rajamani |
| 2001 | CAV | The SLAM Toolkit. | Thomas Ball, Sriram K. Rajamani |
| 2001 | PLDI | Automatic Predicate Abstraction of C Programs. | Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani |
| 2001 | TACAS | Parameterized Verification of Multithreaded Software Libraries. | Thomas Ball, Sagar Chaki, Sriram K. Rajamani |
| 2001 | TACAS | Boolean and Cartesian Abstraction for Model Checking C Programs. | Thomas Ball, Andreas Podelski, Sriram K. Rajamani |
| 1999 | ICSE | Using Version Control Data to Evaluate the Impact of Software Tools. | David L. Atkins, Thomas Ball, Todd L. Graves, Audris Mockus |
| 1998 | ISSTA | On the Limit of Control Flow Analysis for Regression Test Selection. | Thomas Ball |
| 1998 | POPL | Edge Profiling versus Path Profiling: The Showdown. | Thomas Ball, Peter Mataga, Shmuel Sagiv |
| 1997 | ICSE | Visualizing Interactions in Program Executions. | Dean F. Jerding, John T. Stasko, Thomas Ball |
| 1997 | PLDI | Exploiting Hardware Performance Counters with Flow and Context Sensitive Profiling. | Glenn Ammons, Thomas Ball, James R. Larus |
| 1996 | MICRO | Efficient Path Profiling. | Thomas Ball, James R. Larus |
| 1996 | USENIX | Tracking and Viewing Changes on the Web. | Fred Douglis, Thomas Ball |
| 1995 | SC | Storm Watch: A Tool for Visualizing Memory System Protocols. | Trishul M. Chilimbi, Thomas Ball, Stephen G. Eick, James R. Larus |
| 1994 | NOMS | End-to-end Service Survivability- Study Methodology Root Cause Analysis Solution Alternatives. | Hank P. Beelen, Thomas Ball |
| 1993 | PLDI | Branch Prediction For Free. | Thomas Ball, James R. Larus |
| 1992 | POPL | Optimally Profiling and Tracing Programs. | Thomas Ball, James R. Larus |