Publication Microsoft MakeCode: Embedded Programming for Education, in Blocks and TypeScript Thomas Ball, Abhijith Chatra, Jonathan "Peli" de Halleux, Steve Hodges, Michal Moskal, Jacqueline Russell SPLASH-E 2019: Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E | October 2019 Project Project Project
Publication Efficient and Scalable Thread-Safety Violation Detection —- Finding thousands of concurrency bugs during testing Guangpu Li, Shan Lu, Madan Musuvathi, Suman Nath, Rohan Padhye ACM Symposium on Operating Systems Principles (SOSP) | October 2019 Best Paper Award Project
Publication Niijima: sound and automated computation consolidation for efficient multilingual data-parallel pipelines Guoqing Harry Xu, Margus Veanes (margus), Michael Barnett, Madan Musuvathi (madanm), Todd Mytkowicz (toddm), Ben Zorn (zorn), Huan He, Haibo Lin Proceedings of the 27th ACM Symposium on Operating Systems Principles | October 2019
Publication Static TypeScript: An Implementation of a Static Compiler for the TypeScript Language Michal Moskal, Thomas Ball, Jonathan "Peli" de Halleux Managed Programming Languages and Runtimes | October 2019 Project
Publication Characterizing Developer Use of Automatically Generated Patches José Cambronero, Jiasi Shen, Jurgen Cito, Elena Glassman, Martin Rinard 2019 Symposium on Visual Languages and Human-Centric Computing | September 2019
Publication Towards a Theory of Software Developer Job Satisfaction and Perceived Productivity Margaret-Anne Storey, Tom Zimmermann, Christian Bird, Jacek Czerwonka, Brendan Murphy, Eirini Kalliamvakou IEEE Transactions on Software Engineering | September 2019 Project Project
Publication CodeSearchNet Challenge: Evaluating the State of Semantic Code Search. Hamel Husain, Ho-Hsiang Wu, Tiferet Gazit, Miltos Allamanis, Marc Brockschmidt MSR-TR-2019-45 | September 2019 Published by Microsoft Project
Publication Leveraging Change Intents for Characterizing and Identifying Large-Review-Effort Changes Song Wang, Chetan Bansal, Nachi Nagappan, Adithya Abraham Philip PROMISE 2019 | September 2019 Project
Publication Evaluating Lambda Terms with Traversals William Blum Theoretical Computer Science | September 2019
Research
Research