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
2026
Whyflow: Interrogative Debugger for
Sensemaking Taint Analysis
Burak Yestistiren, Hong Jin Kang, Miryung Kim
48th International Conference on Software Engineering (ICSE
2026), 12 pages.
(Earlier version at arXiv, github)
Change and Cover: Last-Mile, Pull
Request-based Regression Test Augmentation
Zitong Zhou, Matteo Paltenghi, Miryung Kim, Michael Pradel
48th International Conference on Software Engineering (ICSE
2026), 12 pages.
(github)
Palm: Path-aware LLM-based Test
Generation with Comprehension
Yaoxuan Wu, Xiaojie Zhou, Ahmad Humayun, Muhammad Ali Gulzar,
Miryung Kim.
34th IEEE/ACM International Conference on Program
Comprehension (ICPC ’26), 12 pages.
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.] ↩