| 2025 | ICSE | Fuzzing MLIR Compilers with Custom Mutation Synthesis. | Ben Limpanukorn, Jiyuan Wang, Hong Jin Kang, Eric Zitong Zhou, Miryung Kim |
| 2024 | EMNLP | Measuring Psychological Depth in Language Models. | Fabrice Harel-Canada, Hanyu Zhou, Sreya Muppalla, Zeynep Yildiz, Miryung Kim, Amit Sahai, Nanyun Peng |
| 2024 | ICSE | Scaling Code Pattern Inference with Interactive What-If Analysis. | Hong Jin Kang, Kevin Wang, Miryung Kim |
| 2024 | NAACL | Human-in-the-Loop Synthetic Text Data Inspection with Provenance Tracking. | Hong Jin Kang, Fabrice Harel-Canada, Muhammad Ali Gulzar, Nanyun Peng, Miryung Kim |
| 2024 | NSDI | Harvesting Idle Memory for Application-managed Soft State with Midas. | Yifan Qiao, Zhenyuan Ruan, Haoran Ma, Adam Belay, Miryung Kim, Harry Xu |
| 2024 | OSDI | DRust: Language-Guided Distributed Shared Memory with Fine Granularity, Full Transparency, and Ultra Efficiency. | Haoran Ma, Yifan Qiao, Shi Liu, Shan Yu, Yuanjiang Ni, Qingda Lu, Jiesheng Wu, Yiying Zhang, Miryung Kim, Harry Xu |
| 2023 | NSDI | Hermit: Low-Latency, High-Throughput, and Transparent Remote Memory via Feedback-Directed Asynchrony. | Yifan Qiao, Chenxi Wang, Zhenyuan Ruan, Adam Belay, Qingda Lu, Yiying Zhang, Miryung Kim, Guoqing Harry Xu |
| 2023 | NSDI | Canvas: Isolated and Adaptive Swapping for Multi-Applications on Remote Memory. | Chenxi Wang, Yifan Qiao, Haoran Ma, Shi Liu, Wenguang Chen, Ravi Netravali, Miryung Kim, Guoqing Harry Xu |
| 2022 | ACL | Sibylvariant Transformations for Robust Text Classification. | Fabrice Harel-Canada, Muhammad Ali Gulzar, Nanyun Peng, Miryung Kim |
| 2022 | ASPLOS | HeteroGen: transpiling C to heterogeneous HLS code with automated test generation and program repair. | Qian Zhang, Jiyuan Wang, Guoqing Harry Xu, Miryung Kim |
| 2022 | PLDI | Mako: a low-pause, high-throughput evacuating collector for memory-disaggregated datacenters. | Haoran Ma, Shi Liu, Chenxi Wang, Yifan Qiao, Michael D. Bond, Stephen M. Blackburn, Miryung Kim, Guoqing Harry Xu |
| 2022 | UIST | Concept-Annotated Examples for Library Comparison. | Litao Yan, Miryung Kim, Bjoern Hartmann, Tianyi Zhang, Elena L. Glassman |
| 2021 | CLOUD | OptDebug: Fault-Inducing Operation Isolation for Dataflow Applications. | Muhammad Ali Gulzar, Miryung Kim |
| 2021 | ICSE | Efficient Fuzz Testing for Apache Spark Using Framework Abstraction. | Qian Zhang, Jiyuan Wang, Muhammad Ali Gulzar, Rohan Padhye, Miryung Kim |
| 2021 | OSDI | Dorylus: Affordable, Scalable, and Accurate GNN Training with Distributed CPU Servers and Serverless Threads. | John Thorpe, Yifan Qiao, Jonathan Eyolfson, Shen Teng, Guanzhou Hu, Zhihao Jia, Jinliang Wei, Keval Vora, Ravi Netravali, Miryung Kim, Guoqing Harry Xu |
| 2020 | CHI | Enabling Data-Driven API Design with Community Usage Data: A Need-Finding Study. | Tianyi Zhang, Bjrn Hartmann, Miryung Kim, Elena L. Glassman |
| 2020 | CLOUD | Influence-based provenance for dataflow applications with taint propagation. | Jason Teoh, Muhammad Ali Gulzar, Miryung Kim |
| 2020 | ICSE | BigTest: a symbolic execution based systematic test generation tool for Apache spark. | Muhammad Ali Gulzar, Madanlal Musuvathi, Miryung Kim |
| 2020 | ICSE | HeteroRefactor: refactoring for heterogeneous computing with FPGA. | Jason Lau, Aishwarya Sivaraman, Qian Zhang, Muhammad Ali Gulzar, Jason Cong, Miryung Kim |
| 2020 | MSR | Characterizing and Identifying Composite Refactorings: Concepts, Heuristics and Patterns. | Leonardo da Silva Sousa, Diego Cedrim, Alessandro Garcia, Willian Nalepa Oizumi, Ana Carla Bibiano, Daniel Oliveira, Miryung Kim, Anderson Oliveira |
| 2020 | OSDI | Semeru: A Memory-Disaggregated Managed Runtime. | Chenxi Wang, Haoran Ma, Shi Liu, Yuanqi Li, Zhenyuan Ruan, Khanh Nguyen, Michael D. Bond, Ravi Netravali, Miryung Kim, Guoqing Harry Xu |
| 2020 | PERCOM | An Analysis of Adversarial Attacks and Defenses on Autonomous Driving Models. | Yao Deng, James Xi Zheng, Tianyi Zhang, Chen Chen, Guannan Lou, Miryung Kim |
| 2019 | CLOUD | PerfDebug: Performance Debugging of Computation Skew in Dataflow Systems. | Jason Teoh, Muhammad Ali Gulzar, Guoqing Harry Xu, Miryung Kim |
| 2019 | ICSE | Analyzing and supporting adaptation of online code examples. | Tianyi Zhang, Di Yang, Cristina V. Lopes, Miryung Kim |
| 2019 | ICSE | Active inductive logic programming for code search. | Aishwarya Sivaraman, Tianyi Zhang, Guy Van den Broeck, Miryung Kim |
| 2019 | ISSRE | An Empirical Study of Common Challenges in Developing Deep Learning Applications. | Tianyi Zhang, Cuiyun Gao, Lei Ma, Michael R. Lyu, Miryung Kim |
| 2019 | SOSP | Gerenuk: thin computation over big native data using speculative program transformation. | Christian Navasca, Cheng Cai, Khanh Nguyen, Brian Demsky, Shan Lu, Miryung Kim, Guoqing Harry Xu |
| 2018 | CHI | Visualizing API Usage Examples at Scale. | Elena L. Glassman, Tianyi Zhang, Bjrn Hartmann, Miryung Kim |
| 2018 | ICSE | Grafter: transplantation and differential testing for clones. | Tianyi Zhang, Miryung Kim |
| 2018 | ICSE | Are code examples on an online Q&A forum reliable?: a study of API misuse on stack overflow. | Tianyi Zhang, Ganesha Upadhyaya, Anastasia Reinhardt, Hridesh Rajan, Miryung Kim |
| 2018 | ICSE | Data scientists in software teams: state of the art and challenges. | Miryung Kim, Thomas Zimmermann, Robert DeLine, Andrew Begel |
| 2017 | CLOUD | Automated debugging in data-intensive scalable computing. | Muhammad Ali Gulzar, Matteo Interlandi, Xueyuan Han, Mingda Li, Tyson Condie, Miryung Kim |
| 2017 | ICSE | Automated transplantation and differential testing for clones. | Tianyi Zhang, Miryung Kim |
| 2017 | SIGMOD | Debugging Big Data Analytics in Spark with | Muhammad Ali Gulzar, Matteo Interlandi, Tyson Condie, Miryung Kim |
| 2016 | CLOUD | Optimizing Interactive Development of Data-Intensive Applications. | Matteo Interlandi, Sai Deep Tetali, Muhammad Ali Gulzar, Joseph Noor, Tyson Condie, Miryung Kim, Todd D. Millstein |
| 2016 | DSN | Trusted Software Repair for System Resiliency. | Westley Weimer, Stephanie Forrest, Miryung Kim, Claire Le Goues, Patrick Hurley |
| 2016 | ICSE | BigDebug: debugging primitives for interactive big data processing in spark. | Muhammad Ali Gulzar, Matteo Interlandi, Seunghyun Yoo, Sai Deep Tetali, Tyson Condie, Todd D. Millstein, Miryung Kim |
| 2016 | ICSE | The emerging role of data scientists on software development teams. | Miryung Kim, Thomas Zimmermann, Robert DeLine, Andrew Begel |
| 2015 | ICSE | Does Automated Refactoring Obviate Systematic Editing? | Na Meng, Lisa Hua, Miryung Kim, Kathryn S. McKinley |
| 2015 | ICSE | Interactive Code Review for Systematic Changes. | Tianyi Zhang, Myoungkyu Song, Joseph Pinedo, Miryung Kim |
| 2014 | ICSE | Cookbook: in situ code completion using edit recipes learned from examples. | John Jacobellis, Na Meng, Miryung Kim |
| 2013 | ICSE | LASE: an example-based program transformation tool for locating and applying systematic edits. | John Jacobellis, Na Meng, Miryung Kim |
| 2013 | ICSE | LASE: locating and applying systematic edits by learning from examples. | Na Meng, Miryung Kim, Kathryn S. McKinley |
| 2012 | FM | Specification-Based Test Repair Using a Lightweight Formal Method. | Guowei Yang, Sarfraz Khurshid, Miryung Kim |
| 2012 | ICSE | BRACE: An assertion framework for debugging cyber-physical systems. | Kevin Boos, Chien-Liang Fok, Christine Julien, Miryung Kim |
| 2012 | MSR | An empirical study of supplementary bug fixes. | Jihun Park, Miryung Kim, Baishakhi Ray, Doo-Hwan Bae |
| 2011 | FASE | An Empirical Study of Long-Lived Code Clones. | Dongxiang Cai, Miryung Kim |
| 2011 | ICSE | An exploratory study of awareness interests about software modifications. | Miryung Kim |
| 2011 | ICSE | An empirical investigation into the role of API-level refactorings during software evolution. | Miryung Kim, Dongxiang Cai, Sunghun Kim |
| 2011 | ICSE | Detecting software modularity violations. | Sunny Wong, Yuanfang Cai, Miryung Kim, Michael Dalton |
| 2011 | PLDI | Systematic editing: generating program transformations from an example. | Na Meng, Miryung Kim, Kathryn S. McKinley |
| 2010 | ICSE | LSdiff: a program differencing tool to identify systematic structural differences. | Alex Loh, Miryung Kim |
| 2010 | ICSE | AURA: a hybrid approach to identify framework evolution. | Wei Wu, Yann-Gal Guhneuc, Giuliano Antoniol, Miryung Kim |
| 2010 | OOPSLA | A graph-based approach to API usage adaptation. | Hoan Anh Nguyen, Tung Thanh Nguyen, Gary Wilson Jr., Anh Tuan Nguyen, Miryung Kim, Tien N. Nguyen |
| 2009 | ICSE | Discovering and representing systematic code changes. | Miryung Kim, David Notkin |
| 2007 | ICSE | SoftGUESS: Visualization and Exploration of Code Clones in Context. | Eytan Adar, Miryung Kim |
| 2007 | ICSE | Understanding and Aiding Code Evolution by Inferring Change Patterns. | Miryung Kim |
| 2007 | ICSE | Automatic Inference of Structural Changes for Matching across Program Versions. | Miryung Kim, David Notkin, Dan Grossman |
| 2006 | MSR | Program element matching for multi-version program analyses. | Miryung Kim, David Notkin |
| 2006 | MSR | TA-RE: an exchange language for mining software repositories. | Sunghun Kim, Thomas Zimmermann, Miryung Kim, Ahmed E. Hassan, Audris Mockus, Tudor Grba, Martin Pinzger, E. James Whitehead Jr., Andreas Zeller |
| 2005 | MSR | Using a clone genealogy extractor for understanding and supporting evolution of code clones. | Miryung Kim, David Notkin |