Jacdac: Service-Based Prototyping of Embedded Systems
Thomas Ball, Peli de Halleux, James Devine, Steve Hodges, Michal Moskal
Programming Language Design and Implementation (PLDI) | June 2024
Publications
Publications by Year
-
Meet MicroCode: a Live and Portable Programming Tool for the BBC micro:bit
Kobi Hartley, Elisa Rubegni, Lorraine Underwood, Joe Finney, Thomas Ball, Steve Hodges, Eric Anderson, Peli de Halleux, James Devine, Michal Moskal
23rd annual ACM Interaction Design and Children (IDC) Conference | June 2024
-
Jacdac: Service-based Prototyping of Embedded Systems
Thomas Ball, Peli de Halleux, James Devine, Steve Hodges, Michal Moskal
MSR-TR-2023-4 | January 2023
Published by Microsoft
-
Lost in Translation: from Linear Temporal Logic to Büchi Automata
Margus Veanes, Olli Saarikivi, Thomas Ball
MSR-TR-2022-26 | October 2022
Published by Microsoft
Plug-and-play Physical Computing with Jacdac
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
Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies | September 2022, Vol 6(3)
-
Web-based Programming for Low-cost Gaming Handhelds
Michal Moskal, Peli de Halleux, Thomas Ball, Abhijith Chatra, James Devine, Steve Hodges, Shannon Kao, Richard Knoll, Galen Nickel, Jacqueline Russell, Joey Wunderlich, Daryl Zuniga
Foundations of Digital Games | August 2021
Best paper
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
Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems (CHI '21) | May 2021
Honorable mention
-
TileCode: Creation of Video Games on Gaming Handhelds
Thomas Ball, Shannon Kao, Richard Knoll, Daryl Zuniga
ACM Symposium on User Interface Software and Technology (UIST) | October 2020
Physical Computing: A Key Element of Modern Computer Science Education
Steve Hodges, Sue Sentance, Joe Finney, Thomas Ball
IEEE Computer | April 2020, Vol 53(4): pp. 20-30
The BBC micro:bit: from the U.K. to the world
Jonny Austin, Howard Baker, Thomas Ball, James Devine, Joe Finney, Peli de Halleux, Steve Hodges, Michal Moskal, Gareth Stockdale
Communications of the ACM | February 2020, Vol 63(3)
-
Microsoft MakeCode: Embedded Programming for Education, in Blocks and TypeScript
Thomas Ball, Abhijith Chatra, Peli de Halleux, Steve Hodges, Michal Moskal, Jacqueline Russell
SPLASH-E 2019: Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E | October 2019
Static TypeScript: An Implementation of a Static Compiler for the TypeScript Language
Michal Moskal, Thomas Ball, Peli de Halleux
Managed Programming Languages and Runtimes | October 2019
MakeCode and CODAL: Intuitive and efficient embedded systems programming for education (JSA version)
James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
Journal of Systems Architecture | September 2019, Vol 98: pp. 468-483
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
CHI 2019 Extended Abstracts | May 2019
-
MakeCode and CODAL: intuitive and efficient embedded systems programming for education (LCTES version)
James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems | June 2018
ARcadia: A Rapid Prototyping Platform for Real-time Tangible Interfaces
Annie Kelly, R. Benjamin Shapiro, Peli de Halleux, Tom Ball
Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems | April 2018
ISBN: 978-1-4503-5620-6
-
Microsoft Touch Develop and the BBC micro:bit
Thomas Ball, Jonathan Protzenko, Judith Bishop, Michal Moskal, Peli de Halleux, Michael Braun, Steve Hodges, Clare Riley
ICSE 2016 Companion | May 2016
Toward Full Elasticity in Distributed Static Analysis
Diego Garbervetsky, Edgardo Zoppi, Thomas Ball, Ben Livshits
March 2016
Microsoft Research Technical Report: MSR-TR-2015-88
-
Toward Full Elasticity in Distributed Static Analysis
Diego Garbevetsky, Edgardo Zoppi, Thomas Ball, Benjamin Livshits, Thomas Ball, Ben Livshits
MSR-TR-2015-88 | November 2015
Teach Foundational Language Principles
May 2015
Beyond Open Source: The TouchDevelop Cloud-based Integrated Development Environment
Sebastian Burckhardt, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann, Thomas Ball, Peli de Halleux
In Proceedings of 2nd ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft) | May 2015
Deconstructing Dynamic Symbolic Execution
Thomas BALL, Jakub DANIEL, Thomas Ball
MSR-TR-2015-95 | January 2015
The 2014 Marktober Summer School on Deop
Proceedings of the Sixth Conference on Uncertainty in Artificial Intelligence, Boston, MA
-
Beyond Open Source: The TouchDevelop Cloud-based Integrated Development Environment
Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Michal Moskal, Nikolai Tillmann
MSR-TR-2014-127 | September 2014
Tutorial: Create Rich Mobile Apps on Touch Devices
Nikolai Tillmann, Michal Moskal, Peli de Halleux, Sebastian Burckhardt, Thomas Ball, Judith Bishop
Proceedings of the First International Conference on Mobile Software Engineering and Systems (MOBILESOFT) | June 2014
Proceedings of the First International Conference on Mobile Software Engineering and Systems (MOBILESOFT)
Tutorial
Beyond Open Source: The TouchDevelop Cloud-based Integrated Development and Runtime Environment
Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michal Moskal, Nikolai Tillmann, Peli de Halleux, Thomas Ball
MSR-TR-2014-63 | May 2014
-
Increasing Human-Tool Interaction via the Web
Thomas Ball, Peli de Halleux, Daan Leijen, Nikhil Swamy
11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering | June 2013
11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
-
Modular and Verified Automatic Program Repair
Francesco Logozzo, Thomas Ball
Proceedings of the 27th ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'12) | October 2012
Proceedings of the 27th ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'12)
-
Two for the Price of One: A Model for Parallel and Incremental Computation
Sebastian Burckhardt, Daan Leijen, , Jaeheon Yi, Thomas Ball, Thomas Ball
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'11) | October 2011
Predictable and Progressive Testing of Multithreaded Code
Sebastian Burckhardt, Madan Musuvathi, Shaz Qadeer, Peli de Halleux, Thomas Ball
IEEE Software | May 2011, Vol 28: pp. 75-83
-
Towards Scalable Modular Checking of User-Defined Properties
Thomas Ball, Brian Hackett, Shuvendu Lahiri, Shaz Qadeer, Julien Vanegue
Verified Software: Theories, Tools and Experiments (VSTTE 2010) | August 2010
An earlier version of this paper appeared as a Microsoft Research Technical Report MSR-TR-2008-82.
Preemption Sealing for Efficient Concurrency Testing
Thomas Ball, Sebastian Burckhardt, Katherine Coons, Madan Musuvathi, Shaz Qadeer
Conference on Tools and Algorithms for the Construction and Analysis of Systems | April 2010
Efficient evaluation of pointer predicates with Z3 SMT Solver in SLAM2
Thomas Ball, Ella Bounimova, Vladimir Levin, Leonardo de Moura, Thomas Ball
MSR-TR-2010-24 | March 2010
-
Preemption Sealing for Efficient Concurrency Testing
Thomas Ball, Sebastian Burckhardt, Katherine Coons, Madan Musuvathi, Shaz Qadeer
MSR-TR-2009-143 | October 2009
-
Finding and Reproducing Heisenbugs in Concurrent Programs
Madan Musuvathi, Shaz Qadeer, Thomas Ball, Gerard Basler, Piramanayakam Arumuga Nainar, Iulian Neamtiu
OSDI 08: Eigth Symposium on Operating Systems Design & Implementation | December 2008
Finding Errors in .NET with Feedback-Directed Random Testing
Carlos Pacheco, Shuvendu Lahiri, Thomas Ball
MSR-TR-2008-29 | July 2008
International Symposium on Software Testing and Analysis (ISSTA '08)
Towards Scalable Modular Checking of User-Defined Properties
Brian Hackett, Shuvendu Lahiri, Shaz Qadeer, Thomas Ball
MSR-TR-2008-82 | May 2008
-
CHESS: A systematic testing tool for concurrent software
Madan Musuvathi, Shaz Qadeer, Thomas Ball
MSR-TR-2007-149 | November 2007
Feedback-Directed Random Test Generation
Carlos Pacheco, Shuvendu Lahiri, Michael D. Ernst, Thomas Ball
International Conference on Software Engineering (ICSE '07) | September 2007
Predicate Abstraction via Symbolic Decision Procedures
Shuvendu Lahiri, Thomas Ball, Byron Cook
Logical Methods in Computer Science (LMCS '07) | January 2007
-
Feedback-directed Random Test Generation
Carlos Pacheco, Shuvendu Lahiri, Michael D. Ernst, Thomas Ball
MSR-TR-2006-125 | September 2006
Assessing the Relationship between Software Assertions and Code Quality: An Empirical Investigation
Gunnar Kudrjavets, Nachi Nagappan, Thomas Ball
MSR-TR-2006-54 | May 2006
Thorough Static Analysis of Device Drivers
Thomas Ball, Ella Bounimova, Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram Rajamani, Byron Cook, Abdullah Ustuner, Thomas Ball
EuroSys 2006 | April 2006
Explaining Failures Using Software Dependences and Churn Metrics
Nachi Nagappan, Thomas Ball
MSR-TR-2006-03 | January 2006
-
Mining Metrics to Predict Component Failures
Nachi Nagappan, Thomas Ball, Andreas Zeller
MSR-TR-2005-149 | November 2005
Zap: Automated Theorem Proving for Software Analysis
Thomas Ball, Shuvendu Lahiri, Madanlal Musuvathi, Thomas Ball, Madan Musuvathi
MSR-TR-2005-137 | October 2005
Logic for Programming, Artificial Intelligence, and Reasoning (LPAR '05)
Abstraction for Falsification
Thomas Ball, Orna Kupferman, Greta Yorsh
MSR-TR-2005-50 | June 2005
Static Analysis Tools as Early Indicators of Pre-Release Defect Density
Nachi Nagappan, Thomas Ball
May 2005
Use of Relative Code Churn Measures to Predict System Defect Density
Nachiappan Nagappan, Thomas Ball, Thomas Ball, Nachi Nagappan
May 2005
Predicate Abstraction via Symbolic Decison Procedures
Shuvendu Lahiri, Thomas Ball, Byron Cook
MSR-TR-2005-53 | April 2005
Computer Aided Verification (CAV '05)
-
Formalizing Counterexample-driven Refinement with Weakest Preconditions
Thomas Ball, Thomas Ball
MSR-TR-2004-134 | December 2004
Reasoning about Systems with Transition Fairness
Benjamin Aminof, Thomas Ball, Orna Kupferman
MSR-TR-2004-89 | September 2004
Righting Software
Jim Larus, Thomas Ball, Manuvir Das , Robert DeLIne, Manuel Fahndrich, Jon Pincus, Sriram Rajamani, Ramanathan Venkatapathy
IEEE Software | May 2004, Vol 21: pp. 92-100
A Theory of Predicate-Complete Test Coverage and Generation
Thomas Ball, Thomas Ball
MSR-TR-2004-28 | April 2004
SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft
Thomas Ball, Byron Cook, Vladimir Levin, Sriram Rajamani
MSR-TR-2004-08 | January 2004
-
Abstraction-guided Test Generation: A Case Study
MSR-TR-2003-86 | November 2003
-
Polymorphic Predicate Abstraction
Thomas Ball, Todd Millstein, Sriram Rajamani
MSR-TR-2001-10 | June 2002
Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis
Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram Rajamani, Mark Seigle, Westley Weimer
MSR-TR-2002-18 | April 2002
Generating Abstract Explanations of Spurious Counterexamples in C Programs
MSR-TR-2002-09 | January 2002
SLIC: A Specification Language for Interface Checking (of C)
MSR-TR-2001-21 | January 2002
-
Relative Completeness of Abstraction Refinement for Software Model Checking
Thomas Ball, Andreas Podelski, Sriram Rajamani
MSR-TR-2001-106 | December 2001
-
Boolean and Cartesian Abstraction for Model Checking C Programs
Thomas Ball, Andreas Podelski, Sriram Rajamani
MSR-TR-2000-115 | December 2000
Published by Microsoft
Parameterized Verification of Multithreaded Software Libraries
Thomas Ball, Sagar Chaki, Sriram Rajamani
MSR-TR-2000-116 | December 2000
Published by Microsoft
Boolean Programs: A Model and Process for Software Analysis
MSR-TR-2000-14 | February 2000
Published by Microsoft
-
Programs Follow Paths
Thomas Ball, Jim Larus
MSR-TR-99-01 | January 1999
-
Tracking and Viewing Changes on the Web
Fred. Douglis, Thomas. Ball, Thomas Ball
January 1996
-
StormWatch: A Tool for Visualizing Memory System Protocols
Trishul Chilimbi, Thomas Ball, Jim Larus
Proceedings of the 1995 ACM/IEEE Conference on Supercomputing | December 1995
Proceedings of the 1995 ACM/IEEE Conference on Supercomputing
Publications by Research Area
-
Meet MicroCode: a Live and Portable Programming Tool for the BBC micro:bit
Kobi Hartley, Elisa Rubegni, Lorraine Underwood, Joe Finney, Thomas Ball, Steve Hodges, Eric Anderson, Peli de Halleux, James Devine, Michal Moskal
23rd annual ACM Interaction Design and Children (IDC) Conference | June 2024
Plug-and-play Physical Computing with Jacdac
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
Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies | September 2022, Vol 6(3)
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
Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems (CHI '21) | May 2021
Honorable mention
TileCode: Creation of Video Games on Gaming Handhelds
Thomas Ball, Shannon Kao, Richard Knoll, Daryl Zuniga
ACM Symposium on User Interface Software and Technology (UIST) | October 2020
Physical Computing: A Key Element of Modern Computer Science Education
Steve Hodges, Sue Sentance, Joe Finney, Thomas Ball
IEEE Computer | April 2020, Vol 53(4): pp. 20-30
The BBC micro:bit: from the U.K. to the world
Jonny Austin, Howard Baker, Thomas Ball, James Devine, Joe Finney, Peli de Halleux, Steve Hodges, Michal Moskal, Gareth Stockdale
Communications of the ACM | February 2020, Vol 63(3)
MakeCode and CODAL: Intuitive and efficient embedded systems programming for education (JSA version)
James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
Journal of Systems Architecture | September 2019, Vol 98: pp. 468-483
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
CHI 2019 Extended Abstracts | May 2019
MakeCode and CODAL: intuitive and efficient embedded systems programming for education (LCTES version)
James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems | June 2018
ARcadia: A Rapid Prototyping Platform for Real-time Tangible Interfaces
Annie Kelly, R. Benjamin Shapiro, Peli de Halleux, Tom Ball
Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems | April 2018
ISBN: 978-1-4503-5620-6
Microsoft Touch Develop and the BBC micro:bit
Thomas Ball, Jonathan Protzenko, Judith Bishop, Michal Moskal, Peli de Halleux, Michael Braun, Steve Hodges, Clare Riley
ICSE 2016 Companion | May 2016
Increasing Human-Tool Interaction via the Web
Thomas Ball, Peli de Halleux, Daan Leijen, Nikhil Swamy
11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering | June 2013
11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
-
Boolean and Cartesian Abstraction for Model Checking C Programs
Thomas Ball, Andreas Podelski, Sriram Rajamani
MSR-TR-2000-115 | December 2000
Published by Microsoft
Parameterized Verification of Multithreaded Software Libraries
Thomas Ball, Sagar Chaki, Sriram Rajamani
MSR-TR-2000-116 | December 2000
Published by Microsoft
Boolean Programs: A Model and Process for Software Analysis
MSR-TR-2000-14 | February 2000
Published by Microsoft
Jacdac: Service-Based Prototyping of Embedded Systems
Thomas Ball, Peli de Halleux, James Devine, Steve Hodges, Michal Moskal
Programming Language Design and Implementation (PLDI) | June 2024
Jacdac: Service-based Prototyping of Embedded Systems
Thomas Ball, Peli de Halleux, James Devine, Steve Hodges, Michal Moskal
MSR-TR-2023-4 | January 2023
Published by Microsoft
Lost in Translation: from Linear Temporal Logic to Büchi Automata
Margus Veanes, Olli Saarikivi, Thomas Ball
MSR-TR-2022-26 | October 2022
Published by Microsoft
Plug-and-play Physical Computing with Jacdac
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
Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies | September 2022, Vol 6(3)
Web-based Programming for Low-cost Gaming Handhelds
Michal Moskal, Peli de Halleux, Thomas Ball, Abhijith Chatra, James Devine, Steve Hodges, Shannon Kao, Richard Knoll, Galen Nickel, Jacqueline Russell, Joey Wunderlich, Daryl Zuniga
Foundations of Digital Games | August 2021
Best paper
TileCode: Creation of Video Games on Gaming Handhelds
Thomas Ball, Shannon Kao, Richard Knoll, Daryl Zuniga
ACM Symposium on User Interface Software and Technology (UIST) | October 2020
Physical Computing: A Key Element of Modern Computer Science Education
Steve Hodges, Sue Sentance, Joe Finney, Thomas Ball
IEEE Computer | April 2020, Vol 53(4): pp. 20-30
The BBC micro:bit: from the U.K. to the world
Jonny Austin, Howard Baker, Thomas Ball, James Devine, Joe Finney, Peli de Halleux, Steve Hodges, Michal Moskal, Gareth Stockdale
Communications of the ACM | February 2020, Vol 63(3)
Microsoft MakeCode: Embedded Programming for Education, in Blocks and TypeScript
Thomas Ball, Abhijith Chatra, Peli de Halleux, Steve Hodges, Michal Moskal, Jacqueline Russell
SPLASH-E 2019: Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E | October 2019
Static TypeScript: An Implementation of a Static Compiler for the TypeScript Language
Michal Moskal, Thomas Ball, Peli de Halleux
Managed Programming Languages and Runtimes | October 2019
MakeCode and CODAL: Intuitive and efficient embedded systems programming for education (JSA version)
James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
Journal of Systems Architecture | September 2019, Vol 98: pp. 468-483
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
CHI 2019 Extended Abstracts | May 2019
MakeCode and CODAL: intuitive and efficient embedded systems programming for education (LCTES version)
James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems | June 2018
Microsoft Touch Develop and the BBC micro:bit
Thomas Ball, Jonathan Protzenko, Judith Bishop, Michal Moskal, Peli de Halleux, Michael Braun, Steve Hodges, Clare Riley
ICSE 2016 Companion | May 2016
Toward Full Elasticity in Distributed Static Analysis
Diego Garbervetsky, Edgardo Zoppi, Thomas Ball, Ben Livshits
March 2016
Microsoft Research Technical Report: MSR-TR-2015-88
Toward Full Elasticity in Distributed Static Analysis
Diego Garbevetsky, Edgardo Zoppi, Thomas Ball, Benjamin Livshits, Thomas Ball, Ben Livshits
MSR-TR-2015-88 | November 2015
Teach Foundational Language Principles
May 2015
Beyond Open Source: The TouchDevelop Cloud-based Integrated Development Environment
Sebastian Burckhardt, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann, Thomas Ball, Peli de Halleux
In Proceedings of 2nd ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft) | May 2015
Deconstructing Dynamic Symbolic Execution
Thomas BALL, Jakub DANIEL, Thomas Ball
MSR-TR-2015-95 | January 2015
The 2014 Marktober Summer School on Deop
Proceedings of the Sixth Conference on Uncertainty in Artificial Intelligence, Boston, MA
Beyond Open Source: The TouchDevelop Cloud-based Integrated Development Environment
Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Michal Moskal, Nikolai Tillmann
MSR-TR-2014-127 | September 2014
Tutorial: Create Rich Mobile Apps on Touch Devices
Nikolai Tillmann, Michal Moskal, Peli de Halleux, Sebastian Burckhardt, Thomas Ball, Judith Bishop
Proceedings of the First International Conference on Mobile Software Engineering and Systems (MOBILESOFT) | June 2014
Proceedings of the First International Conference on Mobile Software Engineering and Systems (MOBILESOFT)
Tutorial
Beyond Open Source: The TouchDevelop Cloud-based Integrated Development and Runtime Environment
Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michal Moskal, Nikolai Tillmann, Peli de Halleux, Thomas Ball
MSR-TR-2014-63 | May 2014
Increasing Human-Tool Interaction via the Web
Thomas Ball, Peli de Halleux, Daan Leijen, Nikhil Swamy
11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering | June 2013
11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
Modular and Verified Automatic Program Repair
Francesco Logozzo, Thomas Ball
Proceedings of the 27th ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'12) | October 2012
Proceedings of the 27th ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'12)
Two for the Price of One: A Model for Parallel and Incremental Computation
Sebastian Burckhardt, Daan Leijen, , Jaeheon Yi, Thomas Ball, Thomas Ball
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'11) | October 2011
Predictable and Progressive Testing of Multithreaded Code
Sebastian Burckhardt, Madan Musuvathi, Shaz Qadeer, Peli de Halleux, Thomas Ball
IEEE Software | May 2011, Vol 28: pp. 75-83
Towards Scalable Modular Checking of User-Defined Properties
Thomas Ball, Brian Hackett, Shuvendu Lahiri, Shaz Qadeer, Julien Vanegue
Verified Software: Theories, Tools and Experiments (VSTTE 2010) | August 2010
An earlier version of this paper appeared as a Microsoft Research Technical Report MSR-TR-2008-82.
Preemption Sealing for Efficient Concurrency Testing
Thomas Ball, Sebastian Burckhardt, Katherine Coons, Madan Musuvathi, Shaz Qadeer
Conference on Tools and Algorithms for the Construction and Analysis of Systems | April 2010
Efficient evaluation of pointer predicates with Z3 SMT Solver in SLAM2
Thomas Ball, Ella Bounimova, Vladimir Levin, Leonardo de Moura, Thomas Ball
MSR-TR-2010-24 | March 2010
Preemption Sealing for Efficient Concurrency Testing
Thomas Ball, Sebastian Burckhardt, Katherine Coons, Madan Musuvathi, Shaz Qadeer
MSR-TR-2009-143 | October 2009
Finding and Reproducing Heisenbugs in Concurrent Programs
Madan Musuvathi, Shaz Qadeer, Thomas Ball, Gerard Basler, Piramanayakam Arumuga Nainar, Iulian Neamtiu
OSDI 08: Eigth Symposium on Operating Systems Design & Implementation | December 2008
Finding Errors in .NET with Feedback-Directed Random Testing
Carlos Pacheco, Shuvendu Lahiri, Thomas Ball
MSR-TR-2008-29 | July 2008
International Symposium on Software Testing and Analysis (ISSTA '08)
Towards Scalable Modular Checking of User-Defined Properties
Brian Hackett, Shuvendu Lahiri, Shaz Qadeer, Thomas Ball
MSR-TR-2008-82 | May 2008
Explaining Failures Using Software Dependences and Churn Metrics
Nachi Nagappan, Thomas Ball
MSR-TR-2006-03 | January 2006
Mining Metrics to Predict Component Failures
Nachi Nagappan, Thomas Ball, Andreas Zeller
MSR-TR-2005-149 | November 2005
Zap: Automated Theorem Proving for Software Analysis
Thomas Ball, Shuvendu Lahiri, Madanlal Musuvathi, Thomas Ball, Madan Musuvathi
MSR-TR-2005-137 | October 2005
Logic for Programming, Artificial Intelligence, and Reasoning (LPAR '05)
Static Analysis Tools as Early Indicators of Pre-Release Defect Density
Nachi Nagappan, Thomas Ball
May 2005
Formalizing Counterexample-driven Refinement with Weakest Preconditions
Thomas Ball, Thomas Ball
MSR-TR-2004-134 | December 2004
Reasoning about Systems with Transition Fairness
Benjamin Aminof, Thomas Ball, Orna Kupferman
MSR-TR-2004-89 | September 2004
Righting Software
Jim Larus, Thomas Ball, Manuvir Das , Robert DeLIne, Manuel Fahndrich, Jon Pincus, Sriram Rajamani, Ramanathan Venkatapathy
IEEE Software | May 2004, Vol 21: pp. 92-100
SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft
Thomas Ball, Byron Cook, Vladimir Levin, Sriram Rajamani
MSR-TR-2004-08 | January 2004
Abstraction-guided Test Generation: A Case Study
MSR-TR-2003-86 | November 2003
Polymorphic Predicate Abstraction
Thomas Ball, Todd Millstein, Sriram Rajamani
MSR-TR-2001-10 | June 2002
Generating Abstract Explanations of Spurious Counterexamples in C Programs
MSR-TR-2002-09 | January 2002
SLIC: A Specification Language for Interface Checking (of C)
MSR-TR-2001-21 | January 2002
Relative Completeness of Abstraction Refinement for Software Model Checking
Thomas Ball, Andreas Podelski, Sriram Rajamani
MSR-TR-2001-106 | December 2001
-
Jacdac: Service-based Prototyping of Embedded Systems
Thomas Ball, Peli de Halleux, James Devine, Steve Hodges, Michal Moskal
MSR-TR-2023-4 | January 2023
Published by Microsoft
Plug-and-play Physical Computing with Jacdac
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
Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies | September 2022, Vol 6(3)
Web-based Programming for Low-cost Gaming Handhelds
Michal Moskal, Peli de Halleux, Thomas Ball, Abhijith Chatra, James Devine, Steve Hodges, Shannon Kao, Richard Knoll, Galen Nickel, Jacqueline Russell, Joey Wunderlich, Daryl Zuniga
Foundations of Digital Games | August 2021
Best paper
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
Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems (CHI '21) | May 2021
Honorable mention
TileCode: Creation of Video Games on Gaming Handhelds
Thomas Ball, Shannon Kao, Richard Knoll, Daryl Zuniga
ACM Symposium on User Interface Software and Technology (UIST) | October 2020
Physical Computing: A Key Element of Modern Computer Science Education
Steve Hodges, Sue Sentance, Joe Finney, Thomas Ball
IEEE Computer | April 2020, Vol 53(4): pp. 20-30
The BBC micro:bit: from the U.K. to the world
Jonny Austin, Howard Baker, Thomas Ball, James Devine, Joe Finney, Peli de Halleux, Steve Hodges, Michal Moskal, Gareth Stockdale
Communications of the ACM | February 2020, Vol 63(3)
Microsoft MakeCode: Embedded Programming for Education, in Blocks and TypeScript
Thomas Ball, Abhijith Chatra, Peli de Halleux, Steve Hodges, Michal Moskal, Jacqueline Russell
SPLASH-E 2019: Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E | October 2019
Static TypeScript: An Implementation of a Static Compiler for the TypeScript Language
Michal Moskal, Thomas Ball, Peli de Halleux
Managed Programming Languages and Runtimes | October 2019
MakeCode and CODAL: Intuitive and efficient embedded systems programming for education (JSA version)
James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
Journal of Systems Architecture | September 2019, Vol 98: pp. 468-483
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
CHI 2019 Extended Abstracts | May 2019
MakeCode and CODAL: intuitive and efficient embedded systems programming for education (LCTES version)
James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems | June 2018
Microsoft Touch Develop and the BBC micro:bit
Thomas Ball, Jonathan Protzenko, Judith Bishop, Michal Moskal, Peli de Halleux, Michael Braun, Steve Hodges, Clare Riley
ICSE 2016 Companion | May 2016
-
StormWatch: A Tool for Visualizing Memory System Protocols
Trishul Chilimbi, Thomas Ball, Jim Larus
Proceedings of the 1995 ACM/IEEE Conference on Supercomputing | December 1995
Proceedings of the 1995 ACM/IEEE Conference on Supercomputing
Preemption Sealing for Efficient Concurrency Testing
Thomas Ball, Sebastian Burckhardt, Katherine Coons, Madan Musuvathi, Shaz Qadeer
MSR-TR-2009-143 | October 2009
Finding and Reproducing Heisenbugs in Concurrent Programs
Madan Musuvathi, Shaz Qadeer, Thomas Ball, Gerard Basler, Piramanayakam Arumuga Nainar, Iulian Neamtiu
OSDI 08: Eigth Symposium on Operating Systems Design & Implementation | December 2008
CHESS: A systematic testing tool for concurrent software
Madan Musuvathi, Shaz Qadeer, Thomas Ball
MSR-TR-2007-149 | November 2007
Feedback-Directed Random Test Generation
Carlos Pacheco, Shuvendu Lahiri, Michael D. Ernst, Thomas Ball
International Conference on Software Engineering (ICSE '07) | September 2007
Predicate Abstraction via Symbolic Decision Procedures
Shuvendu Lahiri, Thomas Ball, Byron Cook
Logical Methods in Computer Science (LMCS '07) | January 2007
Feedback-directed Random Test Generation
Carlos Pacheco, Shuvendu Lahiri, Michael D. Ernst, Thomas Ball
MSR-TR-2006-125 | September 2006
Predicate Abstraction via Symbolic Decison Procedures
Shuvendu Lahiri, Thomas Ball, Byron Cook
MSR-TR-2005-53 | April 2005
Computer Aided Verification (CAV '05)
A Theory of Predicate-Complete Test Coverage and Generation
Thomas Ball, Thomas Ball
MSR-TR-2004-28 | April 2004
-
Assessing the Relationship between Software Assertions and Code Quality: An Empirical Investigation
Gunnar Kudrjavets, Nachi Nagappan, Thomas Ball
MSR-TR-2006-54 | May 2006
-
Tracking and Viewing Changes on the Web
Fred. Douglis, Thomas. Ball, Thomas Ball
January 1996
Thorough Static Analysis of Device Drivers
Thomas Ball, Ella Bounimova, Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram Rajamani, Byron Cook, Abdullah Ustuner, Thomas Ball
EuroSys 2006 | April 2006
Use of Relative Code Churn Measures to Predict System Defect Density
Nachiappan Nagappan, Thomas Ball, Thomas Ball, Nachi Nagappan
May 2005
-
Boolean Programs: A Model and Process for Software Analysis
MSR-TR-2000-14 | February 2000
Published by Microsoft
Programs Follow Paths
Thomas Ball, Jim Larus
MSR-TR-99-01 | January 1999
Abstraction for Falsification
Thomas Ball, Orna Kupferman, Greta Yorsh
MSR-TR-2005-50 | June 2005
A Theory of Predicate-Complete Test Coverage and Generation
Thomas Ball, Thomas Ball
MSR-TR-2004-28 | April 2004
Polymorphic Predicate Abstraction
Thomas Ball, Todd Millstein, Sriram Rajamani
MSR-TR-2001-10 | June 2002
Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis
Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram Rajamani, Mark Seigle, Westley Weimer
MSR-TR-2002-18 | April 2002
Publications by Type
-
Tracking and Viewing Changes on the Web
Fred. Douglis, Thomas. Ball, Thomas Ball
January 1996
StormWatch: A Tool for Visualizing Memory System Protocols
Trishul Chilimbi, Thomas Ball, Jim Larus
Proceedings of the 1995 ACM/IEEE Conference on Supercomputing | December 1995
Proceedings of the 1995 ACM/IEEE Conference on Supercomputing
Jacdac: Service-Based Prototyping of Embedded Systems
Thomas Ball, Peli de Halleux, James Devine, Steve Hodges, Michal Moskal
Programming Language Design and Implementation (PLDI) | June 2024
Meet MicroCode: a Live and Portable Programming Tool for the BBC micro:bit
Kobi Hartley, Elisa Rubegni, Lorraine Underwood, Joe Finney, Thomas Ball, Steve Hodges, Eric Anderson, Peli de Halleux, James Devine, Michal Moskal
23rd annual ACM Interaction Design and Children (IDC) Conference | June 2024
Web-based Programming for Low-cost Gaming Handhelds
Michal Moskal, Peli de Halleux, Thomas Ball, Abhijith Chatra, James Devine, Steve Hodges, Shannon Kao, Richard Knoll, Galen Nickel, Jacqueline Russell, Joey Wunderlich, Daryl Zuniga
Foundations of Digital Games | August 2021
Best paper
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
Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems (CHI '21) | May 2021
Honorable mention
TileCode: Creation of Video Games on Gaming Handhelds
Thomas Ball, Shannon Kao, Richard Knoll, Daryl Zuniga
ACM Symposium on User Interface Software and Technology (UIST) | October 2020
Microsoft MakeCode: Embedded Programming for Education, in Blocks and TypeScript
Thomas Ball, Abhijith Chatra, Peli de Halleux, Steve Hodges, Michal Moskal, Jacqueline Russell
SPLASH-E 2019: Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E | October 2019
Static TypeScript: An Implementation of a Static Compiler for the TypeScript Language
Michal Moskal, Thomas Ball, Peli de Halleux
Managed Programming Languages and Runtimes | October 2019
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
CHI 2019 Extended Abstracts | May 2019
MakeCode and CODAL: intuitive and efficient embedded systems programming for education (LCTES version)
James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems | June 2018
ARcadia: A Rapid Prototyping Platform for Real-time Tangible Interfaces
Annie Kelly, R. Benjamin Shapiro, Peli de Halleux, Tom Ball
Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems | April 2018
ISBN: 978-1-4503-5620-6
Microsoft Touch Develop and the BBC micro:bit
Thomas Ball, Jonathan Protzenko, Judith Bishop, Michal Moskal, Peli de Halleux, Michael Braun, Steve Hodges, Clare Riley
ICSE 2016 Companion | May 2016
Teach Foundational Language Principles
May 2015
Beyond Open Source: The TouchDevelop Cloud-based Integrated Development Environment
Sebastian Burckhardt, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann, Thomas Ball, Peli de Halleux
In Proceedings of 2nd ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft) | May 2015
Tutorial: Create Rich Mobile Apps on Touch Devices
Nikolai Tillmann, Michal Moskal, Peli de Halleux, Sebastian Burckhardt, Thomas Ball, Judith Bishop
Proceedings of the First International Conference on Mobile Software Engineering and Systems (MOBILESOFT) | June 2014
Proceedings of the First International Conference on Mobile Software Engineering and Systems (MOBILESOFT)
Tutorial
Increasing Human-Tool Interaction via the Web
Thomas Ball, Peli de Halleux, Daan Leijen, Nikhil Swamy
11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering | June 2013
11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
Modular and Verified Automatic Program Repair
Francesco Logozzo, Thomas Ball
Proceedings of the 27th ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'12) | October 2012
Proceedings of the 27th ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'12)
Two for the Price of One: A Model for Parallel and Incremental Computation
Sebastian Burckhardt, Daan Leijen, , Jaeheon Yi, Thomas Ball, Thomas Ball
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'11) | October 2011
Towards Scalable Modular Checking of User-Defined Properties
Thomas Ball, Brian Hackett, Shuvendu Lahiri, Shaz Qadeer, Julien Vanegue
Verified Software: Theories, Tools and Experiments (VSTTE 2010) | August 2010
An earlier version of this paper appeared as a Microsoft Research Technical Report MSR-TR-2008-82.
Preemption Sealing for Efficient Concurrency Testing
Thomas Ball, Sebastian Burckhardt, Katherine Coons, Madan Musuvathi, Shaz Qadeer
Conference on Tools and Algorithms for the Construction and Analysis of Systems | April 2010
Finding and Reproducing Heisenbugs in Concurrent Programs
Madan Musuvathi, Shaz Qadeer, Thomas Ball, Gerard Basler, Piramanayakam Arumuga Nainar, Iulian Neamtiu
OSDI 08: Eigth Symposium on Operating Systems Design & Implementation | December 2008
Feedback-Directed Random Test Generation
Carlos Pacheco, Shuvendu Lahiri, Michael D. Ernst, Thomas Ball
International Conference on Software Engineering (ICSE '07) | September 2007
Predicate Abstraction via Symbolic Decision Procedures
Shuvendu Lahiri, Thomas Ball, Byron Cook
Logical Methods in Computer Science (LMCS '07) | January 2007
Thorough Static Analysis of Device Drivers
Thomas Ball, Ella Bounimova, Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram Rajamani, Byron Cook, Abdullah Ustuner, Thomas Ball
EuroSys 2006 | April 2006
Static Analysis Tools as Early Indicators of Pre-Release Defect Density
Nachi Nagappan, Thomas Ball
May 2005
Use of Relative Code Churn Measures to Predict System Defect Density
Nachiappan Nagappan, Thomas Ball, Thomas Ball, Nachi Nagappan
May 2005
-
Boolean and Cartesian Abstraction for Model Checking C Programs
Thomas Ball, Andreas Podelski, Sriram Rajamani
MSR-TR-2000-115 | December 2000
Published by Microsoft
Parameterized Verification of Multithreaded Software Libraries
Thomas Ball, Sagar Chaki, Sriram Rajamani
MSR-TR-2000-116 | December 2000
Published by Microsoft
Boolean Programs: A Model and Process for Software Analysis
MSR-TR-2000-14 | February 2000
Published by Microsoft
Programs Follow Paths
Thomas Ball, Jim Larus
MSR-TR-99-01 | January 1999
Jacdac: Service-based Prototyping of Embedded Systems
Thomas Ball, Peli de Halleux, James Devine, Steve Hodges, Michal Moskal
MSR-TR-2023-4 | January 2023
Published by Microsoft
Lost in Translation: from Linear Temporal Logic to Büchi Automata
Margus Veanes, Olli Saarikivi, Thomas Ball
MSR-TR-2022-26 | October 2022
Published by Microsoft
Toward Full Elasticity in Distributed Static Analysis
Diego Garbevetsky, Edgardo Zoppi, Thomas Ball, Benjamin Livshits, Thomas Ball, Ben Livshits
MSR-TR-2015-88 | November 2015
Deconstructing Dynamic Symbolic Execution
Thomas BALL, Jakub DANIEL, Thomas Ball
MSR-TR-2015-95 | January 2015
The 2014 Marktober Summer School on Deop
Proceedings of the Sixth Conference on Uncertainty in Artificial Intelligence, Boston, MA
Beyond Open Source: The TouchDevelop Cloud-based Integrated Development Environment
Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Michal Moskal, Nikolai Tillmann
MSR-TR-2014-127 | September 2014
Beyond Open Source: The TouchDevelop Cloud-based Integrated Development and Runtime Environment
Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michal Moskal, Nikolai Tillmann, Peli de Halleux, Thomas Ball
MSR-TR-2014-63 | May 2014
Efficient evaluation of pointer predicates with Z3 SMT Solver in SLAM2
Thomas Ball, Ella Bounimova, Vladimir Levin, Leonardo de Moura, Thomas Ball
MSR-TR-2010-24 | March 2010
Preemption Sealing for Efficient Concurrency Testing
Thomas Ball, Sebastian Burckhardt, Katherine Coons, Madan Musuvathi, Shaz Qadeer
MSR-TR-2009-143 | October 2009
Finding Errors in .NET with Feedback-Directed Random Testing
Carlos Pacheco, Shuvendu Lahiri, Thomas Ball
MSR-TR-2008-29 | July 2008
International Symposium on Software Testing and Analysis (ISSTA '08)
Towards Scalable Modular Checking of User-Defined Properties
Brian Hackett, Shuvendu Lahiri, Shaz Qadeer, Thomas Ball
MSR-TR-2008-82 | May 2008
CHESS: A systematic testing tool for concurrent software
Madan Musuvathi, Shaz Qadeer, Thomas Ball
MSR-TR-2007-149 | November 2007
Feedback-directed Random Test Generation
Carlos Pacheco, Shuvendu Lahiri, Michael D. Ernst, Thomas Ball
MSR-TR-2006-125 | September 2006
Assessing the Relationship between Software Assertions and Code Quality: An Empirical Investigation
Gunnar Kudrjavets, Nachi Nagappan, Thomas Ball
MSR-TR-2006-54 | May 2006
Explaining Failures Using Software Dependences and Churn Metrics
Nachi Nagappan, Thomas Ball
MSR-TR-2006-03 | January 2006
Mining Metrics to Predict Component Failures
Nachi Nagappan, Thomas Ball, Andreas Zeller
MSR-TR-2005-149 | November 2005
Zap: Automated Theorem Proving for Software Analysis
Thomas Ball, Shuvendu Lahiri, Madanlal Musuvathi, Thomas Ball, Madan Musuvathi
MSR-TR-2005-137 | October 2005
Logic for Programming, Artificial Intelligence, and Reasoning (LPAR '05)
Abstraction for Falsification
Thomas Ball, Orna Kupferman, Greta Yorsh
MSR-TR-2005-50 | June 2005
Predicate Abstraction via Symbolic Decison Procedures
Shuvendu Lahiri, Thomas Ball, Byron Cook
MSR-TR-2005-53 | April 2005
Computer Aided Verification (CAV '05)
Formalizing Counterexample-driven Refinement with Weakest Preconditions
Thomas Ball, Thomas Ball
MSR-TR-2004-134 | December 2004
Reasoning about Systems with Transition Fairness
Benjamin Aminof, Thomas Ball, Orna Kupferman
MSR-TR-2004-89 | September 2004
A Theory of Predicate-Complete Test Coverage and Generation
Thomas Ball, Thomas Ball
MSR-TR-2004-28 | April 2004
SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft
Thomas Ball, Byron Cook, Vladimir Levin, Sriram Rajamani
MSR-TR-2004-08 | January 2004
Abstraction-guided Test Generation: A Case Study
MSR-TR-2003-86 | November 2003
Polymorphic Predicate Abstraction
Thomas Ball, Todd Millstein, Sriram Rajamani
MSR-TR-2001-10 | June 2002
Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis
Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram Rajamani, Mark Seigle, Westley Weimer
MSR-TR-2002-18 | April 2002
Generating Abstract Explanations of Spurious Counterexamples in C Programs
MSR-TR-2002-09 | January 2002
SLIC: A Specification Language for Interface Checking (of C)
MSR-TR-2001-21 | January 2002
Relative Completeness of Abstraction Refinement for Software Model Checking
Thomas Ball, Andreas Podelski, Sriram Rajamani
MSR-TR-2001-106 | December 2001
-
Plug-and-play Physical Computing with Jacdac
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
Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies | September 2022, Vol 6(3)
Physical Computing: A Key Element of Modern Computer Science Education
Steve Hodges, Sue Sentance, Joe Finney, Thomas Ball
IEEE Computer | April 2020, Vol 53(4): pp. 20-30
The BBC micro:bit: from the U.K. to the world
Jonny Austin, Howard Baker, Thomas Ball, James Devine, Joe Finney, Peli de Halleux, Steve Hodges, Michal Moskal, Gareth Stockdale
Communications of the ACM | February 2020, Vol 63(3)
MakeCode and CODAL: Intuitive and efficient embedded systems programming for education (JSA version)
James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
Journal of Systems Architecture | September 2019, Vol 98: pp. 468-483
Predictable and Progressive Testing of Multithreaded Code
Sebastian Burckhardt, Madan Musuvathi, Shaz Qadeer, Peli de Halleux, Thomas Ball
IEEE Software | May 2011, Vol 28: pp. 75-83
Righting Software
Jim Larus, Thomas Ball, Manuvir Das , Robert DeLIne, Manuel Fahndrich, Jon Pincus, Sriram Rajamani, Ramanathan Venkatapathy
IEEE Software | May 2004, Vol 21: pp. 92-100
-
Toward Full Elasticity in Distributed Static Analysis
Diego Garbervetsky, Edgardo Zoppi, Thomas Ball, Ben Livshits
March 2016
Microsoft Research Technical Report: MSR-TR-2015-88