Thomas Ball

Publication Activity (10 Years)

Years Active: 1992-2023
Publications (10 Years): 22

Top Venues

ICSE (Companion Volume)

CHI

MOBILESoft

Commun. ACM

Publications

Margus Veanes, Thomas Ball, Gabriel Ebner, Olli Saarikivi
Symbolic Automata: ω-Regularity Modulo Theories. CoRR (2023)
James Devine, Michal Moskal, Peli de Halleux, Thomas Ball, Steve Hodges, Gabriele D'Amone, David Gakure, Joe Finney, Lorraine Underwood, Kobi Hartley, Paul Kos, Matt Oppenheim
Plug-and-play Physical Computing with Jacdac. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. 6 (3) (2022)
Stefania Druga, Thomas Ball, Amy J. Ko
How families design and program games: a qualitative analysis of a 4-week online in-home study. IDC (2022)
Teddy Seyed, James Devine, Joe Finney, Michal Moskal, Peli de Halleux, Steve Hodges, Thomas Ball, Asta Roseway
Rethinking the Runway: Using Avant-Garde Fashion To Design a System for Wearables. CHI (2021)
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
Web-based Programming for Low-cost Gaming Handhelds. FDG (2021)
Thomas Ball, Shannon Kao, Richard Knoll, Daryl Zuniga
TileCode: Creation of Video Games on Gaming Handhelds. UIST (2020)
Jonny Austin, Howard Baker, Thomas Ball, James Devine, Joe Finney, Peli de Halleux, Steve Hodges, Michal Moskal, Gareth Stockdale
The BBC micro: bit: from the U.K. to the world. Commun. ACM 63 (3) (2020)
Steve Hodges, Sue Sentance, Joe Finney, Thomas Ball
Physical Computing: A Key Element of Modern Computer Science Education. Computer 53 (4) (2020)
James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
MakeCode and CODAL: Intuitive and efficient embedded systems programming for education. J. Syst. Archit. 98 (2019)
Thomas Ball, Peli de Halleux, Michal Moskal
Static TypeScript: an implementation of a static compiler for the TypeScript language. MPLR (2019)
Thomas Ball, Abhijith Chatra, Peli de Halleux, Steve Hodges, Michal Moskal, Jacqueline Russell
Microsoft MakeCode: embedded programming for education, in blocks and TypeScript. SPLASH-E (2019)
Teddy Seyed, Peli de Halleux, Michal Moskal, James Devine, Joe Finney, Steve Hodges, Thomas Ball
MakerArcade: Using Gaming and Physical Computing for Playful Making, Learning, and Creativity. CHI Extended Abstracts (2019)
James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
MakeCode and CODAL: intuitive and efficient embedded systems programming for education. LCTES (2018)
Thomas Ball, Judith Bishop, Joe Finney
Multi-platform computing for physical devices via MakeCode and CODAL. ICSE (Companion Volume) (2018)
Thomas Ball
KEYNOTE. Push, Pull, Partner: A Few Models for Working with Industry. ICSA Companion (2018)
Annie Kelly, R. Benjamin Shapiro, Jonathan de Halleux, Thomas Ball
ARcadia: A Rapid Prototyping Platform for Real-time Tangible Interfaces. CHI Extended Abstracts (2018)
Annie Kelly, R. Benjamin Shapiro, Jonathan de Halleux, Thomas Ball
ARcadia: A Rapid Prototyping Platform for Real-time Tangible Interfaces. CHI (2018)
Thomas Ball, Judith Bishop, Jonathan de Halleux
The Micro: bit: Hands-on Computing for the New Generation (Abstract Only). SIGCSE (2017)
Thomas Ball
Physical computing for everyone. ICSE-SEET (2017)
Thomas Ball, Jonathan Protzenko, Judith Bishop, Michal Moskal, Jonathan de Halleux, Michael Braun, Steve Hodges, Clare Riley
Microsoft touch develop and the BBC micro: bit. ICSE (Companion Volume) (2016)
Rahul Kumar, Thomas Ball, Jakob Lichtenberg, Nate Deisinger, Apoorv Upreti, Chetan Bansal
CloudSDV Enabling Static Driver Verifier Using Microsoft Azure. IFM (2016)
Marta Kwiatkowska, Moshe Y. Vardi, Ahmed Bouajjani, Thomas Ball
2014 CAV award announcement. Formal Methods Syst. Des. 48 (3) (2016)
Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann
Beyond Open Source: The Touch Develop Cloud-Based Integrated Development Environment. MOBILESoft (2015)
Thomas Ball, Benjamin G. Zorn
Teach foundational language principles. Commun. ACM 58 (5) (2015)
Thomas Ball, Nikolaj Bjørner, Aaron Gember, Shachar Itzhaky, Aleksandr Karbyshev, Mooly Sagiv, Michael Schapira, Asaf Valadarsky
VeriCon: towards verifying controller programs in software-defined networks. PLDI (2014)
Thomas Ball
Correctness via compilation to logic: a decade of verification at microsoft research. HILT (2014)
Baris Kasikci, Thomas Ball, George Candea, John Erickson, Madanlal Musuvathi
Efficient Tracing of Cold Code via Bias-Free Sampling. USENIX Annual Technical Conference (2014)
Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Sebastian Burckhardt, Thomas Ball, Judith Bishop
TouchDevelop: create rich mobile apps on touch devices (tutorial). MOBILESoft (2014)
Thomas Ball, Peli de Halleux, Nikhil Swamy, Daan Leijen
Increasing human-tool interaction via the web. PASTE (2013)
Sam Bayless, Celina G. Val, Thomas Ball, Holger H. Hoos, Alan J. Hu
Efficient modular SAT solving for IC3. FMCAD (2013)
Francesco Logozzo, Thomas Ball
Modular and verified automatic program repair. OOPSLA (2012)
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)
Daniel Perelman, Sumit Gulwani, Thomas Ball, Dan Grossman
Type-directed completion of partial expressions. PLDI (2012)
Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani
Automatic predicate abstraction of C programs. ACM SIGPLAN Notices 47 (4a) (2012)
Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin
Model Checking Büchi Pushdown Systems. FASE (2011)
Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Madan Musuvathi, Shaz Qadeer
Predictable and Progressive Testing of Multithreaded Code. IEEE Softw. 28 (3) (2011)
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)
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)
Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey
Formalizing hardware/software interface specifications. ASE (2011)
Thomas Ball, Vladimir Levin, Sriram K. Rajamani
A decade of software model checking with SLAM. Commun. ACM 54 (7) (2011)
Thomas Ball, Sebastian Burckhardt, Katherine E. Coons, Madanlal Musuvathi, Shaz Qadeer
Preemption Sealing for Efficient Concurrency Testing. TACAS (2010)
Thomas Ball, Ella Bounimova, Vladimir Levin, Rahul Kumar, Jakob Lichtenberg
The Static Driver Verifier Research Platform. CAV (2010)
Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey
An Automata-Theoretic Approach to Hardware/Software Co-verification. FASE (2010)
Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin
Efficient Reachability Analysis of Büchi Pushdown Systems for Hardware/Software Co-verification. CAV (2010)
Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue
Towards Scalable Modular Checking of User-Defined Properties. VSTTE (2010)
Thomas Ball, Ella Bounimova, Rahul Kumar, Vladimir Levin
SLAM2: Static driver verification with under 4% false alarms. FMCAD (2010)
Thomas Ball, Jürgen Giesl, Reiner Hähnle, Tobias Nipkow
09411 Abstracts Collection - Interaction versus Automation: The two Faces of Deduction. Interaction versus Automation: The two Faces of Deduction (2009)
Thomas Ball
A brief history of software - from Bell Labs to Microsoft Research. MSR (2009)
Thomas Ball, Jürgen Giesl, Reiner Hähnle, Tobias Nipkow
09411 Executive Summary - Interaction versus Automation: The two Faces of Deductions. Interaction versus Automation: The two Faces of Deduction (2009)
Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer
Deconstructing concurrency heisenbugs. ICSE Companion (2009)
Grigore Rosu, Feng Chen, Thomas Ball
Synthesizing Monitors for Safety Properties: This Time with Calls and Returns. RV (2008)
Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Gérard Basler, Piramanayagam Arumuga Nainar, Iulian Neamtiu
Finding and Reproducing Heisenbugs in Concurrent Programs. OSDI (2008)
Carlos Pacheco, Shuvendu K. Lahiri, Thomas Ball
Finding errors in .net with feedback-directed random testing. ISSTA (2008)
Thomas Ball, Orna Kupferman
Vacuity in Testing. TAP (2008)
Shuvendu K. Lahiri, Thomas Ball, Byron Cook
Predicate Abstraction via Symbolic Decision Procedures. Log. Methods Comput. Sci. 3 (2) (2007)
Nachiappan Nagappan, Thomas Ball
Using Software Dependencies and Churn Metrics to Predict Field Failures: An Empirical Case Study. ESEM (2007)
Thomas Ball, Orna Kupferman
Better Under-Approximation of Programs by Hiding Variables. VMCAI (2007)
Thomas Ball, Orna Kupferman, Mooly Sagiv
Leaping Loops in the Presence of Abstraction. CAV (2007)
Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball
Feedback-Directed Random Test Generation. ICSE (2007)
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 Intell. Syst. 21 (6) (2006)
Nachiappan Nagappan, Thomas Ball, Brendan Murphy
Using Historical In-Process and Product Metrics for Early Estimation of Software Failures. ISSRE (2006)
Thomas Ball, Orna Kupferman
An Abstraction-Refinement Framework for Multi-Agent Systems. LICS (2006)
Greta Yorsh, Thomas Ball, Mooly Sagiv
Testing, abstraction, theorem proving: better together! ISSTA (2006)
Thomas Ball
Automated Abstraction of Software. ATVA (2006)
Gunnar Kudrjavets, Nachiappan Nagappan, Thomas Ball
Assessing the Relationship between Software Assertions and Faults: An Empirical Investigation. ISSRE (2006)
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)
Shuvendu K. Lahiri, Thomas Ball, Byron Cook
Predicate Abstraction via Symbolic Decision Procedures CoRR (2006)
Nachiappan Nagappan, Thomas Ball, Andreas Zeller
Mining metrics to predict component failures. ICSE (2006)
Thomas Ball, Shuvendu K. Lahiri, Madanlal Musuvathi
Zap: Automated Theorem Proving for Software Analysis. LPAR (2005)
Thomas Ball, Stephan Diehl, David Notkin, Andreas Zeller
05261 Abstracts Collection - Multi-Version Program Analysis. Multi-Version Program Analysis (2005)
Thomas Ball, Orna Kupferman, Greta Yorsh
Abstraction for Falsification. CAV (2005)
Thomas Ball
The Verified Software Challenge: A Call for a Holistic Approach to Reliability. VSTTE (2005)
Nachiappan Nagappan, Thomas Ball
Use of relative code churn measures to predict system defect density. ICSE (2005)
Thomas Ball, Stephan Diehl, David Notkin, Andreas Zeller
05261 Summary - Multi-Version Program Analysis. Multi-Version Program Analysis (2005)
Thomas Ball, Todd D. Millstein, Sriram K. Rajamani
Polymorphic predicate abstraction. ACM Trans. Program. Lang. Syst. 27 (2) (2005)
Nachiappan Nagappan, Thomas Ball
Static analysis tools as early indicators of pre-release defect density. ICSE (2005)
Shuvendu K. Lahiri, Thomas Ball, Byron Cook
Predicate Abstraction via Symbolic Decision Procedures. CAV (2005)
Thomas Ball, Byron Cook, Satyaki Das, Sriram K. Rajamani
Refining Approximations in Software Predicate Abstraction. TACAS (2004)
James R. Larus, Thomas Ball, Manuvir Das, Robert DeLine, Manuel Fähndrich, Jonathan D. Pincus, Sriram K. Rajamani, Ramanathan Venkatapathy
Righting Software. IEEE Softw. 21 (3) (2004)
Thomas Ball, Vladimir Levin, Fei Xie
Automatic Creation of Environment Models via Training. TACAS (2004)
Thomas Ball, Byron Cook, Shuvendu K. Lahiri, Lintao Zhang
Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement. CAV (2004)
Thomas Ball
A Theory of Predicate-Complete Test Coverage and Generation. FMCO (2004)
Thomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani
SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft. IFM (2004)
Benjamin Aminof, Thomas Ball, Orna Kupferman
Reasoning About Systems with Transition Fairness. LPAR (2004)
Thomas Ball, Mayur Naik, Sriram K. Rajamani
From symptom to cause: localizing errors in counterexample traces. POPL (2003)
Thomas Ball, Andreas Podelski, Sriram K. Rajamani
Boolean and Cartesian abstraction for model checking C programs. Int. J. Softw. Tools Technol. Transf. 5 (1) (2003)
Thomas Ball, Sriram K. Rajamani
The SLAM project: debugging system software via static analysis. POPL (2002)
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) (2002)
Thomas Ball
Secrets of Software Model Checking. APPIA-GULP-PRODE (2002)
Thomas Ball, Andreas Podelski, Sriram K. Rajamani
Relative Completeness of Abstraction Refinement for Software Model Checking. TACAS (2002)
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)
Thomas Ball, Andreas Podelski, Sriram K. Rajamani
Boolean and Cartesian Abstraction for Model Checking C Programs. TACAS (2001)
Thomas Ball, Sagar Chaki, Sriram K. Rajamani
Parameterized Verification of Multithreaded Software Libraries. TACAS (2001)
Thomas Ball, Sriram K. Rajamani
Automatically Validating Temporal Safety Properties of Interfaces. SPIN (2001)
Thomas Ball, Sriram K. Rajamani
The SLAM Toolkit. CAV (2001)
Thomas Ball, Hans-Juergen Boehm
Century. ACM SIGPLAN Notices 36 (4) (2001)
Thomas Ball, Sriram K. Rajamani
Bebop: a path-sensitive interprocedural dataflow engine. PASTE (2001)
Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani
Automatic Predicate Abstraction of C Programs. PLDI (2001)
Thomas Ball, James R. Larus
Using Paths to Measure, Explain, and Enhance Program Behavior. Computer 33 (7) (2000)
Thomas Ball, Veta Bonnewell, Peter J. Danielsen, Peter Mataga, Kenneth Rehor
. Bell Labs Tech. J. 5 (3) (2000)

Thomas Ball.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Thomas Ball