Ming-Ho Yee

According to our database, Ming-Ho Yee authored at least 13 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

MultiPL-E: A Scalable and Polyglot Approach to Benchmarking Neural Code Generation.

Federico Cassano, John Gouwar, Daniel Nguyen, Sydney Nguyen, Luna Phipps-Costin, Donald Pinckney, Ming-Ho Yee, Yangtian Zi, Carolyn Jane Anderson, Molly Q. Feldman, Arjun Guha, Michael Greenberg, Abhinav Jangda

IEEE Trans. Software Eng., July, 2023

Do Machine Learning Models Produce TypeScript Types That Type Check? (Artifact).

Ming-Ho Yee, Arjun Guha

Dagstuhl Artifacts Ser., 2023

Type Prediction With Program Decomposition and Fill-in-the-Type Training.

Federico Cassano, Ming-Ho Yee, Noah Shinn, Arjun Guha, Steven Holtzen

CoRR, 2023

StarCoder: may the source be with you!

Raymond Li, Loubna Ben Allal, Yangtian Zi, Niklas Muennighoff, Denis Kocetkov, Chenghao Mou, Marc Marone, Christopher Akiki, Jia Li, Jenny Chim, Qian Liu, Evgenii Zheltonozhskii, Terry Yue Zhuo, Thomas Wang, Olivier Dehaene, Mishig Davaadorj, Joel Lamy-Poirier, João Monteiro, Oleh Shliazhko, Nicolas Gontier, Nicholas Meade, Armel Zebaze, Ming-Ho Yee, Logesh Kumar Umapathi, Jian Zhu, Benjamin Lipkin, Muhtasham Oblokulov, Zhiruo Wang, Rudra Murthy V, Jason Stillerman, Siva Sankalp Patel, Dmitry Abulkhanov, Marco Zocca, Manan Dey, Zhihan Zhang, Nour Moustafa-Fahmy, Urvashi Bhattacharyya, Wenhao Yu, Swayam Singh, Sasha Luccioni, Paulo Villegas, Maxim Kunakov, Fedor Zhdanov, Manuel Romero, Tony Lee, Nadav Timor, Jennifer Ding, Claire Schlesinger, Hailey Schoelkopf, Jan Ebert, Tri Dao, Mayank Mishra, Alex Gu, Jennifer Robinson, Carolyn Jane Anderson, Brendan Dolan-Gavitt, Danish Contractor, Siva Reddy, Daniel Fried, Dzmitry Bahdanau, Yacine Jernite, Carlos Muñoz Ferrandis, Sean Hughes, Thomas Wolf, Arjun Guha, Leandro von Werra, Harm de Vries

CoRR, 2023

Do Machine Learning Models Produce TypeScript Types That Type Check?

Ming-Ho Yee, Arjun Guha

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

A Scalable and Extensible Approach to Benchmarking NL2Code for 18 Programming Languages.

Federico Cassano, John Gouwar, Daniel Nguyen, Sydney Nguyen, Luna Phipps-Costin, Donald Pinckney, Ming-Ho Yee, Yangtian Zi, Carolyn Jane Anderson, Molly Q. Feldman, Arjun Guha, Michael Greenberg, Abhinav Jangda

CoRR, 2022

2020

Contextual dispatch for function specialization.

Olivier Flückiger, Guido Chari, Ming-Ho Yee, Jan Jecmen, Jakob Hain, Jan Vitek

Proc. ACM Program. Lang., 2020

2019

Precise Dataflow Analysis of Event-Driven Applications.

Ming-Ho Yee, Ayaz Badouraly, Ondrej Lhoták, Frank Tip, Jan Vitek

CoRR, 2019

R melts brains: an IR for first-class environments and lazy effectful arguments.

Olivier Flückiger, Guido Chari, Jan Jecmen, Ming-Ho Yee, Jakob Hain, Jan Vitek

Proceedings of the 15th ACM SIGPLAN International Symposium on Dynamic Languages, 2019

2018

Correctness of speculative optimizations with dynamic deoptimization.

Olivier Flückiger, Gabriel Scherer, Ming-Ho Yee, Aviral Goel, Amal Ahmed, Jan Vitek

Proc. ACM Program. Lang., 2018

2016

Optimizing Contractor Selection for Construction Packages in Capital Projects.

Mahdi Safa, Ming-Ho Yee, Derek Rayside, Carl T. Haas

J. Comput. Civ. Eng., 2016

From Datalog to flix: a declarative language for fixed points on lattices.

Magnus Madsen, Ming-Ho Yee, Ondrej Lhoták

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

2014

Optimizing Alloy for Multi-objective Software Product Line Configuration.

Ed Zulkoski, Chris Kleynhans, Ming-Ho Yee, Derek Rayside, Krzysztof Czarnecki

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014