Ming-Ho Yee

17 papers A* 1A 1C 2Journal 13
YearRankTypeTitle / Venue / Authors
2023 A conf
Do Machine Learning Models Produce TypeScript Types That Type Check?
ECOOP
Ming-Ho Yee, Arjun Guha
2023 J jnl
Do Machine Learning Models Produce TypeScript Types That Type Check? (Artifact).
Dagstuhl Artifacts Ser.
Ming-Ho Yee, Arjun Guha
2023 J jnl
Do Machine Learning Models Produce TypeScript Types that Type Check?
CoRR
Ming-Ho Yee, Arjun Guha
2023 J jnl
MultiPL-E: A Scalable and Polyglot Approach to Benchmarking Neural Code Generation.
IEEE Trans. Software Eng.
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
2023 J jnl
StarCoder: may the source be with you!
CoRR
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
2023 J jnl
StarCoder: may the source be with you!
Trans. Mach. Learn. Res.
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 T. Stillerman, Siva Sankalp Patel, Dmitry Abulkhanov, Marco Zocca, Manan Dey, Zhihan Zhang, Nour 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
2023 J jnl
Type Prediction With Program Decomposition and Fill-in-the-Type Training.
CoRR
Federico Cassano, Ming-Ho Yee, Noah Shinn, Arjun Guha, Steven Holtzen
2022 J jnl
A Scalable and Extensible Approach to Benchmarking NL2Code for 18 Programming Languages.
CoRR
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
2020 J jnl
Contextual dispatch for function specialization.
Proc. ACM Program. Lang.
Olivier Flückiger, Guido Chari, Ming-Ho Yee, Jan Jecmen, Jakob Hain, Jan Vitek
2019 J jnl
Precise Dataflow Analysis of Event-Driven Applications.
CoRR
Ming-Ho Yee, Ayaz Badouraly, Ondrej Lhoták, Frank Tip, Jan Vitek
2019 J jnl
R Melts Brains - An IR for First-Class Environments and Lazy Effectful Arguments.
CoRR
Olivier Flückiger, Guido Chari, Jan Jecmen, Ming-Ho Yee, Jakob Hain, Jan Vitek
2019 C conf
R melts brains: an IR for first-class environments and lazy effectful arguments.
DLS
Olivier Flückiger, Guido Chari, Jan Jecmen, Ming-Ho Yee, Jakob Hain, Jan Vitek
2018 J jnl
Correctness of speculative optimizations with dynamic deoptimization.
Proc. ACM Program. Lang.
Olivier Flückiger, Gabriel Scherer, Ming-Ho Yee, Aviral Goel, Amal Ahmed, Jan Vitek
2017 J jnl
Correctness of Speculative Optimizations with Dynamic Deoptimization.
CoRR
Olivier Flückiger, Gabriel Scherer, Ming-Ho Yee, Aviral Goel, Amal Ahmed, Jan Vitek
2016 A* conf
From Datalog to flix: a declarative language for fixed points on lattices.
PLDI
Magnus Madsen, Ming-Ho Yee, Ondrej Lhoták
2016 J jnl
Optimizing Contractor Selection for Construction Packages in Capital Projects.
J. Comput. Civ. Eng.
Mahdi Safa, Ming-Ho Yee, Derek Rayside, Carl T. Haas
2014 C conf
Optimizing Alloy for Multi-objective Software Product Line Configuration.
ABZ
Ed Zulkoski, Chris Kleynhans, Ming-Ho Yee, Derek Rayside, Krzysztof Czarnecki