papers
Publications (7)
cs.SE2023
Do Machine Learning Models Produce TypeScript Types That Type Check?
Ming-Ho Yee, Arjun Guha
cs.PL2017
Correctness of Speculative Optimizations with Dynamic Deoptimization
Olivier Flückiger, Gabriel Scherer, Ming-Ho Yee +3
cs.SE2023
Type Prediction With Program Decomposition and Fill-in-the-Type Training
Federico Cassano, Ming-Ho Yee, Noah Shinn +2
cs.PL2019
Precise Dataflow Analysis of Event-Driven Applications
Ming-Ho Yee, Ayaz Badouraly, OndÅej Lhoták +2
cs.LG2022
MultiPL-E: A Scalable and Extensible Approach to Benchmarking Neural Code Generation
Federico Cassano, John Gouwar, Daniel Nguyen +10
cs.CL2023
StarCoder: may the source be with you!
Raymond Li, Loubna Ben Allal, Yangtian Zi +64
cs.PL2019
R Melts Brains -- An IR for First-Class Environments and Lazy Effectful Arguments
Olivier Flückiger, Guido Chari, Jan JeÄmen +3