Publications

A complete list of publications in reverse chronological order. Selected research papers (over 10 pages at top-tier venues) are marked in red. ^{authorship footnote}

2025

Fuzzing MLIR Compilers with Custom Mutation Synthesis
Ben Limpanukorn, Jiyuan Wang, Hong Jin Kang, Eric Zitong Zhou, Miryung Kim.
47th International Conference on Software Engineering (ICSE ’25), 12 pages.
(Earlier version at arXiv, pdf, github)

DuoReduce: Bug Isolation for Multi-Layer Extensible Compilation
Jiyuan Wang, Yuxin Qiu, Ben Limpanukorn, Hong Jin Kang, Qian Zhang, Miryung Kim.
33rd ACM International Conference on the Foundations of Software Engineering (FSE ’25), 12 pages.
(pdf, github)

Automatically Detecting Numerical Instability in Machine Learning Applications via Neural Assertions
Anwar Hossain Zahid, Shaila Sharmin, Subhankar Bhattacharjee, Miryung Kim, Wei Le.
33rd ACM International Conference on the Foundations of Software Engineering (FSE ’25), 12 pages.

2024

Dagstuhl on Code Search: A Journey through Searching Similar Code — Keynote
(pdf)

Natural Symbolic Execution-based Testing for Big Data Analytics
Yaoxuan Wu, Ahmad Humayun, Muhammad Ali Gulzar, and Miryung Kim.
ACM International Conference on the Foundations of Software Engineering (FSE ’24).
(pdf, NaturalSym GitHub)

Scaling Code Pattern Inference with Interactive What-If Analysis
46th International Conference on Software Engineering (ICSE ’24), 12 pages.
(pdf, demo, SURF GitHub)

Human-in-the-Loop Synthetic Text Data Inspection with Provenance Tracking
Hong Jin Kang*, Fabrice Harel-Canada*, Muhammad Ali Gulzar, Violet Peng, and Miryung Kim.
NAACL ’24.
(pdf, Provenance Inspector GitHub)

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.
OSDI ’24.
(pdf)

Harvesting Idle Memory for Application-managed Soft State with Midas
Yifan Qiao, Zhenyuan Ruan, Haoran Ma, Adam Belay, Miryung Kim, Harry Xu.
NSDI ’24.
(pdf, Midas GitHub)

Measuring Psychological Depth in Language Models
Fabrice Harel-Canada, Hanyu Zhou, Sreya Muppalla, Zeynep Yildiz, Miryung Kim, Amit Sahai, Nanyun Peng.
EMNLP ’24.

2023

Talk slides: ICSME’s 10-Year Retrospective Most Influential Paper Award
An Empirical Study of API Stability and Adoption in the Android Ecosystem — 39th IEEE International Conference on Software Maintenance and Evolution (ICSME 2023).
(Most Influential Paper Award Abstract, slides, news)

Software Engineering for Data-Intensive Scalable Computing and Heterogeneous Computing
ICSE 2023 Future of Software Engineering — Invited paper, 16 pages.
(pdf)

NaturalFuzz: Natural Input Generation for Big Data Analytics
Ahmad Humayun, Yaoxuan Wu, Miryung Kim, Muhammad Ali Gulzar.
38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023), 12 pages.
(pdf)

Co-Dependence Aware Fuzzing for Dataflow-based Big Data Analytics
Ahmad Humayun, Miryung Kim, Muhammad Ali Gulzar.
ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2023), 12 pages.
(pdf)

Leveraging Hardware Probes and Optimizations for Accelerating Fuzz Testing of Heterogeneous Applications
Jiyuan Wang, Qian Zhang, Hongbo Rong, Harry Xu, Miryung Kim.
ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2023), 12 pages.
(pdf)

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.
NSDI ’23.
(pdf)

Canvas: Isolated and Adaptive Swapping for Multi-Applications on Remote Memory
Chenxi Wang, Yifan Qiao, Haoran Ma, Shi Liu, Yiying Zhang, Wenguang Chen, Ravi Netravali, Miryung Kim, Guoqing Harry Xu.
18 pages. NSDI ’23.
(pdf)

A Declarative Metamorphic Testing Framework for Autonomous Driving
Yao Deng, Xi Zheng, Guannan Lou, Tianyi Zhang, Huai Liu, Miryung Kim, Tsong Chen.
18 pages. IEEE Transactions on Software Engineering (TSE 2023).
(doi)

2022

Keynote: Software Tools for Democratizing Heterogeneous Computing
(ISSTA 2022 Keynote Abstract, slides, video, news)

HeteroGen: Transpiling C to Heterogeneous HLS Code with Automated Test Generation and Program Repair
Qian Zhang, Jiyuan Wang, Harry Xu, Miryung Kim.
27th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS ’22), 12 pages.
(pdf, slides, GitHub)

Mako: A Low-Pause, High-Throughput Evacuating Collector for Memory-Disaggregated Datacenters
Haoran Ma, Shi Liu, Chenxi Wang, Yifan Qiao, Michael Bond, Stephen Blackburn, Miryung Kim, Guoqing Harry Xu.
PLDI ’22.
(pdf, slides, GitHub)

Concept-Annotated Examples for Library Comparison
Litao Yan, Miryung Kim, Björn Hartmann, Tianyi Zhang, Elena L. Glassman.
ACM Symposium on User Interface Software and Technology (UIST ’22).
(pdf)

Sibylvariant Transformations for Robust Text Classification
Fabrice Y. Harel-Canada, Muhammad Ali Gulzar, Nanyun Peng, Miryung Kim.
Findings of ACL ’22.
(pdf, slides, GitHub, video, doi)

2021

QDiff: Differential Testing of Quantum Software Stacks
Jiyuan Wang, Qian Zhang, Guoqing Harry Xu, Miryung Kim.
36th IEEE/ACM International Conference on Automated Software Engineering (ASE ’21), 12 pages.
(pdf, presentation video, GitHub)
Featured in ACM SIGSOFT Research Highlights (2022) — link

Fuzz Testing to Detect Platform Dependent Divergence for Heterogeneous Applications
Qian Zhang, Jiyuan Wang, Miryung Kim.
29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE ’21), 12 pages.
(DOI, pdf, presentation video, GitHub)

Dorylus: Affordable, Scalable, and Accurate GNN Training over Billion-Edge Graphs
John Thorpe, Yifan Qiao, Jonathan Eyolfson, Shen Teng, Guanzhou Hu, Zhihao Jia, Jinliang Wei, Keval Vora, Ravi Netravali, Miryung Kim, Guoqing Harry Xu.
OSDI ’21.
(DOI, slides, GitHub)

OptDebug: Fault-Inducing Operation Isolation for Dataflow Applications
Muhammad Ali Gulzar, Miryung Kim.
ACM Symposium on Cloud Computing (SoCC ’21), 12 pages.
(pdf, DOI, slides)

Efficient Fuzz Testing for Apache Spark Using Framework Abstraction
Qian Zhang, Jiyuan Wang, Muhammad Ali Gulzar, Rohan Padhye, Miryung Kim.
ICSE ’21 (Tool Demonstration), 4 pages.
(DOI, pdf, video, GitHub)

2020

ICSME 10-Year Retrospective Most Influential Paper Award Talk
Template-Based Reconstruction of Complex Refactorings
36th IEEE International Conference on Software Maintenance and Evolution (ICSME 2020).
(YouTube, slides, news)

Semeru: A Memory-Disaggregated Managed Runtime
Chenxi Wang, Haoran Ma, Shi Liu, Yuanqi Li, Zhenyuan Ruan, Khanh Nguyen, Michael Bond, Ravi Netravali, Miryung Kim, Guoqing Harry Xu.
USENIX Symposium on Operating Systems Design and Implementation (OSDI ’20), 12 pages.
(paper, GitHub)

Influence-Based Provenance for Dataflow Applications with Taint Propagation
Jason Teoh, Muhammad Ali Gulzar, Miryung Kim.
ACM Symposium on Cloud Computing (SoCC ’20), 12 pages.
(pdf, DOI, GitHub)

BigFuzz: Efficient Fuzz Testing for Data Analytics using Framework Abstraction
Qian Zhang, Jiyuan Wang, Muhammad Ali Gulzar, Rohan Padhye, Miryung Kim.
35th IEEE/ACM International Conference on Automated Software Engineering (ASE ’20), 12 pages.
(pdf, slides, replication package, video, GitHub)

Is Neuron Coverage a Meaningful Measure for Testing Deep Neural Networks?
Fabrice Harel-Canada, Lingxiao Wang, Muhammad Ali Gulzar, Quanquan Gu, Miryung Kim.
ACM SIGSOFT International Symposium on the Foundations of Software Engineering (ESEC/FSE ’20).
(pdf, replication package, DOI, video, GitHub)

JShrink: In-depth Investigation into Debloating Modern Java Applications
Bobby Bruce*, Tianyi Zhang*, Jaspreet Arora, Guoqing Harry Xu, Miryung Kim.
ESEC/FSE ’20, 12 pages.
(pdf, replication package, web tutorial, ONR Summer School Slides, GitHub) *Equal co-first authors

HeteroRefactor: Refactoring for Heterogeneous Computing with FPGA
Jason Lau*, Aishwarya Sivaraman*, Qian Zhang*, Muhammad Ali Gulzar, Jason Cong, Miryung Kim.
42nd IEEE/ACM International Conference on Software Engineering (ICSE ’20), 13 pages.
(pdf, slides, video, replication package, GitHub) *Equal co-first authors

Enabling Data-Driven API Design with Community Usage Data: A Need-Finding Study
Tianyi Zhang, Björn Hartmann, Miryung Kim, Elena Glassman.
ACM Conference on Human Factors in Computing Systems (CHI ’20), 12 pages.
(pdf, slides, video)

An Analysis of Adversarial Attacks and Defenses on Autonomous Driving Models
Yao Deng, Xi Zheng, Tianyi Zhang, Chen Chen, Guannan Lou, Miryung Kim.
18th IEEE International Conference on Pervasive Computing and Communications (PerCom ’20), 10 pages.
(pdf)

Characterizing and Identifying Composite Refactorings: Concepts, Heuristics and Patterns
Leonardo Da Silva Sousa, Diego Cedrim, Alessandro Garcia, Willian Oizumi, Ana Carla Bibiano, Daniel Oliveira, Miryung Kim, Anderson Oliveira.
Mining Software Repositories (MSR ’20), 12 pages.
(pdf)

SE4DA: Software Engineering for Data Analytics
Miryung Kim.
IEEE Software (Special Issue: The AI Effect).
(DOI, pdf)

WebJShrink: A Web Service for Debloating Java Bytecode
Konner Macias, Mihir Mathur, Bobby R. Bruce, Tianyi Zhang, Miryung Kim.
ESEC/FSE ’20 (Tool Demonstration), 12 pages.
(pdf, video, DOI, GitHub)

BigTest: Symbolic Execution Based Systematic Test Generation Tool for Apache Spark
Muhammad Ali Gulzar, Madan Musuvathi, Miryung Kim.
ICSE ’20 (Tool Demonstration), 4 pages.
(pdf, presentation, code, demo)

PhD Dissertation: Automated Testing and Debugging for Big Data Analytics
Muhammad Ali Gulzar.
(pdf, UCLA ProQuest)

2019

Keynote: Software Engineering in a Data-Centric World
Miryung Kim.
(ASE 2019 Keynote Abstract, slides, news)

PerfDebug: Performance Debugging of Computation Skew in Dataflow Systems
Jason Teoh, Muhammad Ali Gulzar, Guoqing Harry Xu, Miryung Kim.
ACM Symposium on Cloud Computing (SoCC '19), 14 pages.
(pdf, slides, github)

White-Box Testing of Big Data Analytics with Complex User-Defined Functions
Muhammad Ali Gulzar, Shaghayegh Mardani, Madanlal Musuvathi, Miryung Kim.
ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE '19), 12 pages.
(pdf, DOI, data, github)

Analyzing and Supporting Adaptation of Online Code Examples
Tianyi Zhang, Di Yang, Cristina Lopes, Miryung Kim.
IEEE/ACM International Conference on Software Engineering (ICSE '19), 12 pages.
(pdf, slides, DOI, data, github)

Active Inductive Logic Programming for Code Search
Aishwarya Sivaraman, Tianyi Zhang, Guy Van den Broeck, Miryung Kim.
IEEE/ACM International Conference on Software Engineering (ICSE '19), 12 pages.
(pdf, slides, DOI, data)

An Empirical Study of Common Challenges in Developing Deep Learning Applications
Tianyi Zhang, Cuiyun Gao, Lei Ma, Michael R. Lyu, Miryung Kim.
International Symposium on Software Reliability Engineering (ISSRE '19), 12 pages.
(pdf)

Generuk: Thin Computation over Big Native Data Using Speculative Program Transformation
Cheng Cai, Christian Navasca, Khanh Nguyen, Brian Demsky, Shan Lu, Miryung Kim, Guoqing Harry Xu.
ACM Symposium on Operating Systems Principles (SOSP '19), 12 pages.
(pdf, DOI)

Book Chapter: Software Evolution
Miryung Kim, Na Meng, Tianyi Zhang.
In Handbook of Software Engineering, Springer, pp. 223–284.
(pdf, DOI)

PhD Dissertation: Leveraging Program Commonalities and Variations for Systematic Software Development and Maintenance
Tianyi Zhang.
(pdf, UCLA)

2018

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.
IEEE/ACM International Conference on Software Engineering (ICSE '18), pp. 886–896.
(pdf, slides, DOI, github)

Visualizing API Usage Examples at Scale
Elena L. Glassman*, Tianyi Zhang*, Björn Hartmann, Miryung Kim.
ACM CHI Conference on Human Factors in Computing Systems (CHI '18), 12 pages, Paper No. 580.
(pdf, demo, slides, DOI, demo video)
*Equal contribution by the two lead authors.

BigSift: Automated Debugging of Big Data Analytics in Data-Intensive Scalable Computing
Muhammad Ali Gulzar, Siman Wang, Miryung Kim.
ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE '18), Research Demonstrations, pp. 863–866.
(pdf, demo video, slides, DOI, github)

Augmenting Stack Overflow with API Usage Patterns Mined from GitHub
Anastasia Reinhardt, Tianyi Zhang, Mihir Mathur, Miryung Kim.
ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE '18), Research Demonstrations, pp. 880–883.
(pdf, demo video, slides, DOI, github)

2017

Data Scientists in Software Teams: State of the Art and Challenges
Miryung Kim, Thomas Zimmermann, Robert DeLine, Andrew Begel.
TSE: IEEE Transactions on Software Engineering, 16 pages (Journal First, Accepted August 2017).
(pdf, slides)
Journal first presentation at ICSE 2018.

Automated Debugging in Data-Intensive Scalable Computing
Muhammad Ali Gulzar, Matteo Interlandi, Xueyuan Han, Mingda Li, Tyson Condie, Miryung Kim.
SoCC '17: ACM Symposium on Cloud Computing, pp. 520–534.
(pdf, slides, github)

Automated Transplantation and Differential Testing for Clones
Tianyi Zhang, Miryung Kim.
ICSE '17: IEEE/ACM International Conference on Software Engineering, pp. 665–676.
(pdf, slides, DOI)

Refactoring Inspection Support for Manual Refactoring Edits
Everton L. G. Alves, Myoungkyu Song, Tiago Massoni, Patricia D. L. Machado, Miryung Kim.
TSE: IEEE Transactions on Software Engineering, 20 pages (Accepted March 2017).
(pdf, DOI, github)

Debugging Big Data Analytics in Spark with BigDebug
Muhammad Ali Gulzar, Matteo Interlandi, Tyson Condie, Miryung Kim.
SIGMOD '17: ACM SIGMOD/PODS Conference, Demonstration Track, pp. 1627–1630.
(pdf, DOI, demo video, github)

Adding Data Provenance Support to Apache Spark
Matteo Interlandi, Ari Ekmekji, Kshitij Shah, Muhammad Ali Gulzar, Sai Deep Tetali, Miryung Kim, Todd Millstein, Tyson Condie.
VLDB Journal (Accepted July 2017).
(DOI, github)
Special issue on best papers of VLDB 2016.

Appendix to Everything You Wanted to Know About Data Scientists
Miryung Kim, Thomas Zimmermann, Robert DeLine, Andrew Begel.
(Preliminary Version, July 2017).
(pdf)

2016

BigDebug: Debugging Primitives for Interactive Big Data Processing in Spark
Muhammad Ali Gulzar, Matteo Interlandi, Seunghyun Yoo, Sai Deep Tetali, Tyson Condie, Todd Millstein, Miryung Kim.
ICSE '16: IEEE/ACM International Conference on Software Engineering, pp. 784–795.
(pdf, slides, DOI, github)

The Emerging Role of Data Scientists on Software Development Teams
Miryung Kim, Thomas Zimmermann, Robert DeLine, Andrew Begel.
ICSE '16: IEEE/ACM International Conference on Software Engineering, pp. 96–107.
(pdf, slides, DOI)

Appendix to “The Emerging Role of Data Scientists on Software Development Teams”
(pdf, link)

Titian: Data Provenance Support in Spark
Matteo Interlandi, Kshitij Shah, Sai Deep Tetali, Muhammad Ali Gulzar, Seunghyun Yoo, Miryung Kim, Todd Millstein, Tyson Condie.
VLDB '16: Proceedings of the 42nd Conference on Very Large Data Bases (PVLDB 9(3)), pp. 216–227.
(pdf, DOI, github)

BigDebug: Interactive Debugger for Big Data Analytics in Apache Spark
Muhammad Ali Gulzar, Matteo Interlandi, Tyson Condie, Miryung Kim.
FSE '16: ACM SIGSOFT International Symposium on the Foundations of Software Engineering, Demonstration Track, pp. 1033–1037.
(pdf, extended version, demo video, poster, slides, DOI, github)

Optimizing Interactive Development of Data-Intensive Applications
Matteo Interlandi, Sai Deep Tetali, Muhammad Ali Gulzar, Joseph Noor, Tyson Condie, Miryung Kim, Todd D. Millstein.
SoCC '16: ACM Symposium on Cloud Computing, pp. 510–522.
(pdf, DOI)

Interactive Debugging for Big Data Analytics
Muhammad Ali Gulzar, Xueyuan Han, Matteo Interlandi, Shaghayegh Mardani, Sai Deep Tetali, Tyson Condie, Todd Millstein, Miryung Kim.
HotCloud '16: 8th USENIX Workshop on Hot Topics in Cloud Computing, 5 pages.
(pdf, DOI)

Trusted Software Repair for System Resiliency
Westley Weimer, Stephanie Forrest, Miryung Kim, Claire Le Goues, Patrick Hurley.
DSN '16: IEEE/IFIP International Conference on Dependable Systems and Networks, Industry Track, pp. 238–241.
(pdf, DOI)

An Empirical Study of Supplementary Patches in Open Source Projects
Jihun Park, Miryung Kim, Doo-Hwan Bae.
Empirical Software Engineering Journal, 22(1): 436–473 (2017).
Preprint DOI: 10.1007/s10664-016-9432-x (Published May 2016).
(pdf, DOI)

Prioritizing Test Cases for Early Detection of Refactoring Faults
Everton L. G. Alves, Patricia D. L. Machado, Tiago Massoni, Miryung Kim.
Journal of Software Testing, Verification and Reliability, Vol. 26, Issue 5, pp. 402–426 (2016).
(pdf, DOI)

Perceptions on the State of the Art in Verification and Validation in Cyber-Physical Systems
Xi Zheng, Christine Julien, Miryung Kim, Sarfraz Khurshid.
IEEE Systems Journal, 14 pages (Published November 2015).
(pdf, DOI)

2015

Does Automated Refactoring Obviate Systematic Editing?
Na Meng, Lisa Hua, Miryung Kim, Kathryn McKinley.
ICSE '15: IEEE/ACM International Conference on Software Engineering, pp. 392–402.
(pdf, slides, DOI)

Interactive Code Review for Systematic Changes
Tianyi Zhang, Myoungkyu Song, Joseph Pinedo, Miryung Kim.
ICSE '15: IEEE/ACM International Conference on Software Engineering, pp. 111–122.
(pdf, slides, DOI)

Recommending Program Transformations to Automate Repetitive Software Changes
Miryung Kim, Na Meng.
In Recommendation Systems in Software Engineering, edited by Martin Robillard, Walid Maalej, Robert Walker, Thomas Zimmermann. Springer, 2015.
(pdf, link)

2014

An Empirical Study of Refactoring Challenges and Benefits at Microsoft
Miryung Kim, Thomas Zimmermann, Nachiappan Nagappan.
TSE: IEEE Transactions on Software Engineering, Vol. 40, No. 7, pp. 633–649 (2014).
(pdf, DOI)

Cookbook: In Situ Code Completion Using Edit Recipes Learned from Examples
John Jacobellis, Na Meng, Miryung Kim.
ICSE '14: IEEE/ACM International Conference on Software Engineering, Formal Demonstration Track, pp. 584–587.
(pdf, slides, DOI, demo)

An Empirical Study on Reducing Omission Errors in Practice
Jihun Park, Miryung Kim, Doo-Hwan Bae.
ASE '14: ACM/IEEE International Conference on Automated Software Engineering, pp. 121–126.
(pdf, slides, DOI)

RefDistiller: A Refactoring-Aware Code Review Tool for Inspecting Manual Refactoring Edits
Everton L. G. Alves, Myoungkyu Song, Miryung Kim.
FSE '14: ACM SIGSOFT International Symposium on Foundations of Software Engineering, Research Demonstration Track, pp. 751–754.
(pdf, poster, DOI)

Critics: An Interactive Code Review Tool for Searching and Inspecting Systematic Changes
Tianyi Zhang, Myoungkyu Song, Miryung Kim.
FSE '14: ACM SIGSOFT International Symposium on Foundations of Software Engineering, Research Demonstration Track, pp. 755–758.
(pdf, poster, DOI)

RefDistiller: Detecting Anomalies in Manual Refactoring Edits
Everton L. G. Alves, Myoungkyu Song, Miryung Kim, Patricia Machado, Tiago Massoni.
Technical Report, University of Texas at Austin, TR-ECE-2014-3, March 2014.
(pdf, link)

2013

LASE: Locating and Applying Systematic Edits by Learning from Examples
Na Meng, Miryung Kim, Kathryn McKinley.
ICSE '13: Proceedings of the 35th IEEE/ACM International Conference on Software Engineering, pages 502–511.
(DOI, local pdf, slides)

LASE: An Example-based Program Transformation Tool for Locating and Applying Systematic Edits
John Jacobellis, Na Meng, Miryung Kim.
ICSE '13: Proceedings of the 35th IEEE/ACM International Conference on Software Engineering, Formal Demonstrations Track, pages 1319–1322.
(DOI, local pdf, demo video)

Identifying and Summarizing Systematic Code Changes via Rule Inference
Miryung Kim, David Notkin, Dan Grossman, Gary Wilson Jr.
TSE: IEEE Transactions on Software Engineering, Volume 39, No. 1, pages 45–62.
(DOI, local pdf)

Detecting and Characterizing Semantic Inconsistencies in Ported Code
Baishakhi Ray, Miryung Kim, Suzette Person, Neha Rungta.
ASE '13: Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering, pages 367–377.
(DOI, local pdf, slides)

An Empirical Study of API Stability and Adoption in the Android Ecosystem
Tyler McDonnell, Baishakhi Ray, Miryung Kim.
ICSM '13: Proceedings of the 29th IEEE International Conference on Software Maintenance, pages 70–79.
(DOI, local pdf, slides)

FaultTracer: A Spectrum-Based Approach to Localizing Failure-Inducing Program Edits
Lingming Zhang, Miryung Kim, Sarfraz Khurshid.
Journal of Software: Evolution and Process: 25(12): 1357–1383 (2013).
(DOI)

2012

A Case Study of Cross-System Porting in Forked Software Projects
Baishakhi Ray, Miryung Kim.
FSE '12: ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, Article 53, 11 pages.
(DOI, local pdf, slides)

A Field Study of Refactoring Challenges and Benefits
Miryung Kim, Thomas Zimmermann, Nachiappan Nagappan.
FSE '12: ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, Article 50, 11 pages.
(DOI, local pdf, slides)

Repertoire: A Cross-System Porting Analysis Tool for Forked Software Projects
Baishakhi Ray, Christopher Wiley, Miryung Kim.
FSE '12: ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, Formal Research Tool Demonstration, Article 8, 4 pages.
(DOI, local pdf, slides)

FaultTracer: A Change Impact and Regression Fault Analysis Tool for Evolving Java Programs
Lingming Zhang, Miryung Kim, Sarfraz Khurshid.
FSE '12: ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, Formal Research Tool Demonstration, Article 40, 4 pages.
(DOI, local pdf, slides)

An Empirical Investigation into the Impact of Refactoring on Regression Testing
Napol Rachatasumrit, Miryung Kim.
ICSM '12: The 28th IEEE International Conference on Software Maintenance, pages 357–366.
(DOI, local pdf, slides)

Specification-based Test Repair Using a Lightweight Formal Method
Guowei Yang, Sarfraz Khurshid, Miryung Kim.
FM '12: Proceedings of the 18th International Symposium on Formal Methods, pages 455–470.
(DOI, local pdf)

Vdiff: A Program Differencing Algorithm for Verilog Hardware Description Language
Adam Duley, Christopher Spandikow, Miryung Kim.
Journal of Automated Software Engineering: Invited article from ASE 2010, pages 459–490.
(DOI, local pdf)

An Empirical Study of Supplementary Bug Fixes
Jihun Park, Miryung Kim, Baishakhi Ray, Doo-Hwan Bae.
MSR '12: The 9th IEEE Working Conference on Mining Software Repositories, pages 40–49.
(DOI, local pdf, slides). Invited to the Special Issue of Journal of Empirical Software Engineering (EMSE).

Brace: An Assertion Framework for Debugging Cyber-Physical Systems
Kevin Boos, Chien Liang Fok, Christine Julien, Miryung Kim.
ICSE '12: Proceedings of the 2012 International Conference on Software Engineering, New Ideas and Emerging Results (NIER) Track, pages 1341–1344.
(DOI, local pdf)

Appendix to A Field Study of Refactoring Rationale, Benefits, and Challenges at Microsoft
Miryung Kim, Thomas Zimmermann, Nachiappan Nagappan.
Technical Report, MSR-TR2012-4.
(pdf) hosted at Microsoft Research.

A Graph-based Framework for Reasoning about Relationships among Software Modifications
Ripon Saha, Rui Qiu, Miryung Kim, Dewayne Perry.
Technical Report, UT-TR2012-June.
(pdf)

2011

Localizing Fault-Inducing Program Edits Based on Spectrum Information
Lingming Zhang, Miryung Kim, Sarfraz Khurshid.
ICSM '11: Proceedings of the 27th IEEE International Conference on Software Maintenance, pages 23–32.
(DOI, local pdf)
Invited to the Special Issue of Journal of Software Maintenance and Evolution.

Sydit: Creating and Applying a Program Transformation from an Example
Na Meng, Miryung Kim, Kathryn S. McKinley.
ESEC/FSE '11: Proceedings of the 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11, Formal Research Demonstration, pages 440–443.
(DOI, local pdf)

Systematic Editing: Generating Program Transformations from an Example
Na Meng, Miryung Kim, Kathryn S. McKinley.
PLDI '11: Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 329–342.
(DOI, local pdf, slides)

An Empirical Investigation into the Role of API-Level Refactoring during Software Evolution
Miryung Kim, Dongxiang Cai, Sunghun Kim.
ICSE '11: Proceedings of the 2011 ACM and IEEE 33rd International Conference on Software Engineering, pages 151–160.
(DOI, local pdf, presentation)
Nominated for ACM SIGSOFT Distinguished Paper Award.

Detecting Software Modularity Violations
Sunny Wong, Yuanfang Cai, Miryung Kim, Michael Dalton.
ICSE '11: Proceedings of the 2011 ACM and IEEE 33rd International Conference on Software Engineering, pages 411–420.
(DOI, local pdf, presentation)

An Empirical Study of Long-Lived Code Clones
Dongxiang Cai, Miryung Kim.
FASE '11: Proceedings of the Fundamental Approaches to Software Engineering, pages 432–446.
(DOI, local pdf, presentation)

An Exploratory Study of Awareness Interests about Software Modifications
Miryung Kim.
CHASE '11: 4th International Workshop on Cooperative and Human Aspects of Software Engineering, co-located with the 2011 ACM and IEEE 33rd International Conference on Software Engineering, pages 80–83.
(DOI, local pdf)

2010

Ref-Finder: A Refactoring Reconstruction Tool Based on Logic Query Templates
Miryung Kim, Matthew Gee, Alex Loh, Napol Rachatasumrit.
FSE '10: Proceedings of the 18th ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 371–372. Publisher: ACM.
(DOI, Formal Research Demonstration, local pdf)

Validity Concerns in Software Engineering Research
Hyrum W. Right, Miryung Kim, Dewayne Perry.
FoSeR '10: FSE/SDP Workshop on the Future of Software Engineering Research, pages 411–414. Publisher: ACM.
(DOI)

Managing Technical Debt in Software-Reliant Systems
Nanette Brown, Yuanfang Cai, Yuepu Guo, Rick Kazman, Miryung Kim, Philippe Kruchten, Erin Lim, Alan MacCormack, Robert Nord, Ipek Ozkaya, Raghvinder Sangwan, Carolyn Seaman, Kevin Sullivan, Nico Zazworka.
FoSeR '10: FSE/SDP Workshop on the Future of Software Engineering Research, pages 47–52. Publisher: ACM.
(DOI)

A Catalogue of Template Refactoring Rules
Kyle Prete, Napol Rachatasumrit, Miryung Kim.
Technical Report: Department of Electrical and Computer Engineering, August 15, 2010.
(pdf)

Template-Based Reconstruction of Complex Refactorings
Kyle Prete, Napol Rachatasumrit, Nikita Sudan, Miryung Kim.
ICSM '10: Proceedings of the 26th IEEE International Conference on Software Maintenance, pages 1–10. Publisher: IEEE.
(DOI, presentation, local pdf)

A Graph-Based Approach to API Usage Adaptation
Hoan Anh Nguyen, Tung Thanh Nguyen, Gary Wilson Jr., Anh Tuan Nguyen, Miryung Kim, Tien Nguyen.
OOPSLA '10: Proceedings of the 2010 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications, pages 302–321. Publisher: ACM.
(DOI, presentation, local pdf)

A Program Differencing Algorithm for Verilog HDL
Adam Duley, Chris Spandikow, Miryung Kim.
ASE '10: Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering, pages 477–486. Publisher: ACM.
(DOI, presentation, local pdf)
ACM SIGSOFT Distinguished Paper Award.

AURA: A Hybrid Approach to Identify Framework Evolution
Wei Wu, Yann-Gael Gueheneuc, Giuliano Antoniol, Miryung Kim.
ICSE '10: Proceedings of the 2010 ACM and IEEE 32nd International Conference on Software Engineering, Volume 1, pages 325–334. Publisher: ACM.
(DOI, local pdf)

LSdiff: A Program Differencing Tool to Identify Systematic Structural Differences
Alex Loh, Miryung Kim.
ICSE '10: Proceedings of the 2010 ACM and IEEE 32nd International Conference on Software Engineering, Volume 2, pages 263–266. Publisher: ACM.
(DOI, Formal Research Demonstration, local pdf)

2009

Discovering and Representing Systematic Code Changes
Miryung Kim, David Notkin.
ICSE '09: Proceedings of the 2009 IEEE 31st International Conference on Software Engineering, Pages 309–319, Publisher: IEEE.
(DOI, presentation, local pdf)

2008

Analyzing and Inferring the Structure of Code Changes
Miryung Kim.
Ph.D. Dissertation, University of Washington, November 2008.
(pdf, presentation)

2007

Automatic Inference of Structural Changes for Matching across Program Versions
Miryung Kim, David Notkin, Dan Grossman.
ICSE '07: Proceedings of the 29th International Conference on Software Engineering, pages 333–343, Publisher: IEEE.
(DOI, presentation, local pdf)

SoftGUESS: Visualization and Exploration of Code Clones in Context
Eytan Adar, Miryung Kim.
ICSE '07: Proceedings of the 29th International Conference on Software Engineering, pages 762–766, Publisher: IEEE.
(DOI)

Understanding and Aiding Code Evolution by Inferring Change Patterns
Miryung Kim.
ICSE '07: Companion to the Proceedings of the 29th International Conference on Software Engineering, pages 101–102, Publisher: IEEE.
(DOI, presentation)

2006

Program Element Matching for Multi-version Program Analyses
Miryung Kim, David Notkin.
MSR '06: Proceedings of the 2006 International Workshop on Mining Software Repositories, pages 58–64, Publisher: ACM.
(DOI, presentation, local pdf)

TA-RE: An Exchange Language for Mining Software Repositories
Sunghun Kim, Thomas Zimmermann, Miryung Kim, Ahmed Hassan, Audris Mockus, Tudor Girba, Martin Pinzger, E. James Whitehead Jr., Andreas Zeller.
MSR '06: Proceedings of the 2006 International Workshop on Mining Software Repositories, pages 22–25, Publisher: ACM.
(DOI)

2005

An Empirical Study of Code Clone Genealogies
Miryung Kim, Vibha Sazawal, David Notkin, Gail Murphy.
ESEC/FSE '05: Proceedings of the 10th European Software Engineering Conference held jointly with the 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pages 187–196, Publisher: ACM.
(DOI, presentation, local pdf)
Nominated for ACM SIGSOFT Distinguished Paper Award.

Using a Clone Genealogy Extractor for Understanding and Supporting Evolution of Code Clones
Miryung Kim, David Notkin.
MSR '05: Proceedings of the 2005 International Workshop on Mining Software Repositories, pages 1–5, Publisher: ACM.
(DOI, local pdf)

2004

A Study of Evolution in the Presence of Source-Derived Partial Design Representations
Vibha Sazawal, Miryung Kim, David Notkin.
IWPSE '04: Proceedings of the 7th International Workshop on Principles of Software Evolution, pages 83–92, Publisher: IEEE.
(DOI, local pdf)

An Ethnographic Study of Copy and Paste Programming Practices in OOPL
Miryung Kim, Lawrence Bergman, Tessa Lau, David Notkin.
ISESE '04: Proceedings of the 2004 International Symposium on Empirical Software Engineering, pages 21–30, Publisher: IEEE.
(DOI, presentation, local pdf)

^{Footnote on authorship. [Since people keep asking me about this, I will clarify: Before moving to UCLA, I put my name first among senior authors if I am the lead senior author. After moving to UCLA, I put my name as the last author if I am the lead senior author. The bottom line is I am thankful for the opportunity to collaborate with brilliant minds and produce awesome research together.] ↩}