Thomas Ball

Registered user since Mon 11 Dec 2017

Name: Thomas Ball

Country: United States

Affiliation: Microsoft Research

Personal website: http://research.microsoft.com/en-us/people/tball/

Contributions

BenchWork 2019Committee Member in Program Committee within the BenchWork -track
MPLR 2019Author of Static TypeScript: An Implementation of a Static Compiler for the TypeScript Language within the MPLR 2019-track
SPLASH 2019Author of Microsoft MakeCode: Embedded Programming for Education, in Blocks and TypeScript within the SPLASH-E-track
ISSTA 2019Committee Member in Program Committee within the Technical Papers-track
ECOOP 2019Author of The Correct Cloud: Logic and Languages within the Curry On-track
BLOCKS+ 2018Author of TypeScript: From JavaScript to Blockly and Back within the BLOCKS+-track
ETAPS 2019Speaker 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
PLDI 2019Committee Member in External Review Committee within the PLDI Research Papers-track
POPL 2019Presenter of Microsoft Research: Engage, Verify, Open within the Research Papers-track
LCTES 2018Author of MakeCode and CODAL: Intuitive and Efficient Embedded Systems Programming for Education within the LCTES 2018-track
PLMW 2018Author of Panel II: Life in Grad School (and Beyond) within the PLMW-track
Committee Member in Panelists within the PLMW-track
ICSE 2019PC Member in Program Committee within the New Ideas and Emerging Results-track
SPIN 2017Committee Member in Program Committee
SOAP 2016Committee Member in Program Committee within the SOAP-track
SPLASH 2017Committee Member in External Program Committee within the OOPSLA-track
* ICSE 2018 *Author of Multi-Platform Computing for Physical Devices with MakeCode and CODAL within the TB - Technical Briefings -track
PROMOTOCommittee Member in Program Committee within the PROMOTO-track
SPLASH 2014Committee Member in Program Committee within the Student Research Competition-track
SPLASH 2012Author of Modular and verified automatic program repair within the OOPSLA Research Papers-track