default search action
Ming-Ho Yee
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j6]Ming-Ho Yee, Arjun Guha:
Do Machine Learning Models Produce TypeScript Types That Type Check? (Artifact). Dagstuhl Artifacts Ser. 9(2): 05:1-05:3 (2023) - [j5]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:
StarCoder: may the source be with you! Trans. Mach. Learn. Res. 2023 (2023) - [j4]Federico Cassano
, John Gouwar
MultiPL-E: A Scalable and Polyglot Approach to Benchmarking Neural Code Generation. IEEE Trans. Software Eng. 49(7): 3675-3691 (2023) - [c4]Ming-Ho Yee, Arjun Guha
Do Machine Learning Models Produce TypeScript Types That Type Check? ECOOP 2023: 37:1-37:28 - [i7]Ming-Ho Yee, Arjun Guha:
Do Machine Learning Models Produce TypeScript Types that Type Check? CoRR abs/2302.12163 (2023) - [i6]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
StarCoder: may the source be with you! CoRR abs/2305.06161 (2023) - [i5]Federico Cassano, Ming-Ho Yee, Noah Shinn, Arjun Guha
Type Prediction With Program Decomposition and Fill-in-the-Type Training. CoRR abs/2305.17145 (2023) - 2022
- [i4]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
A Scalable and Extensible Approach to Benchmarking NL2Code for 18 Programming Languages. CoRR abs/2208.08227 (2022) - 2020
- [j3]Olivier Flückiger
Contextual dispatch for function specialization. Proc. ACM Program. Lang. 4(OOPSLA): 220:1-220:24 (2020)
2010 – 2019
- 2019
- [c3]Olivier Flückiger
R melts brains: an IR for first-class environments and lazy effectful arguments. DLS 2019: 55-66 - [i3]Olivier Flückiger
R Melts Brains - An IR for First-Class Environments and Lazy Effectful Arguments. CoRR abs/1907.05118 (2019) - [i2]Ming-Ho Yee, Ayaz Badouraly, Ondrej Lhoták, Frank Tip, Jan Vitek:
Precise Dataflow Analysis of Event-Driven Applications. CoRR abs/1910.12935 (2019) - 2018
- [j2]Olivier Flückiger
Correctness of speculative optimizations with dynamic deoptimization. Proc. ACM Program. Lang. 2(POPL): 49:1-49:28 (2018) - 2017
- [i1]Olivier Flückiger
Correctness of Speculative Optimizations with Dynamic Deoptimization. CoRR abs/1711.03050 (2017) - 2016
- [j1]Mahdi Safa, Ming-Ho Yee
Optimizing Contractor Selection for Construction Packages in Capital Projects. J. Comput. Civ. Eng. 30(5) (2016) - [c2]Magnus Madsen, Ming-Ho Yee
From Datalog to flix: a declarative language for fixed points on lattices. PLDI 2016: 194-208 - 2014
- [c1]Ed Zulkoski, Chris Kleynhans, Ming-Ho Yee
Optimizing Alloy for Multi-objective Software Product Line Configuration. ABZ 2014: 328-333
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-08 19:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: