Thomas Ball

Registered user since Mon 11 Dec 2017

Name:Thomas Ball
Country:United States
Affiliation:Microsoft Research


SPLASH 2019 Author of Microsoft MakeCode: Embedded Programming for Education, in Blocks and TypeScript within the SPLASH-E-track
MPLR 2019 Author of Static TypeScript: An Implementation of a Static Compiler for the TypeScript Language within the MPLR 2019-track
ISSTA 2019 Committee Member in Program Committee within the Technical Papers-track
BenchWork 2019 Committee Member in Program Committee within the BenchWork -track
ECOOP 2019 Author of The Correct Cloud: Logic and Languages within the Curry On-track
PLDI 2019 Committee Member in External Review Committee within the PLDI Research Papers-track
ICSE 2019 PC Member in Program Committee within the New Ideas and Emerging Results-track
ETAPS 2019 Speaker in Speakers within the Mentoring Workshop-track
Speaker of Push, Pull, Partner - A Few Models for Industrial Research within the Mentoring Workshop-track
Author of Mooly: Mensch, Marathon, Method, Magic within the Mooly Fest-track
POPL 2019 Presenter of Microsoft Research: Engage, Verify, Open within the Research Papers-track
BLOCKS+ 2018 Author of TypeScript: From JavaScript to Blockly and Back within the BLOCKS+-track
LCTES 2018 Author of MakeCode and CODAL: Intuitive and Efficient Embedded Systems Programming for Education within the LCTES 2018-track
* ICSE 2018 * Author of Multi-Platform Computing for Physical Devices with MakeCode and CODAL within the TB - Technical Briefings -track
PLMW 2018 Author of Panel II: Life in Grad School (and Beyond) within the PLMW-track
Committee Member in Panelists within the PLMW-track
SPLASH 2017 Committee Member in External Program Committee within the OOPSLA-track
SPIN 2017 Committee Member in Program Committee
SOAP 2016 Committee Member in Program Committee within the SOAP-track
SPLASH 2014 Committee Member in Program Committee within the Student Research Competition-track
PROMOTO Committee Member in Program Committee within the PROMOTO-track
SPLASH 2012 Author of Modular and verified automatic program repair within the OOPSLA Research Papers-track
SPLASH 2011 Author of Two for the Price of One: A Model for Parallel and Incremental Computation within the OOPSLA-track