Home
Research Publications
Teaching Student CV Software Funding Activities Diversity

Publications

A complete list of publications in reverse chronological order. Entries are followed by a link to the article on the ACM Portal or DOI bookmark. Selected research papers over 10 pages at top tier venues are marked in red.

2017

Data Scientists in Software Teams: State of the Art and Challenges, Miryung Kim, Thomas Zimmermann, Robert DeLine, and Andrew Begel, 16 pages (Preliminary Version, July 2017) (local_pdf)

Automated Transplantation and Differential Testing for Clones, Tianyi Zhang, Miryung Kim, ICSE' 17: Proceedings of 39th IEEE/ACM International Conference on Software Engineering, pages 665-676 (DOI) (local_pdf) (slides)

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

Debugging Big Data Analytics in Spark with BigDebug, Muhammad Ali Gulzar, Matteo Interlandi, Tyson Condie, Miryung Kim, SIGMOD' 17: Proceedings of The 2017 ACM SIGMOD/PODS Conference, Demonstration Track, pages 1627-1630, 2016, (DOI) (local_pdf) (demo video)

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)

Appendix to Everything You Wanted to Know About Data Scientists, Miryung Kim, Thomas Zimmermann, Robert DeLine, and Andrew Begel, (Preliminary Version, July 2017) (local_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: Proceedings of 38th IEEE/ACM International Conference on Software Engineering, pages 784-795 (DOI) (local_pdf) (slides)

The Emerging Role of Data Scientists on Software Development Teams, Miryung Kim, Thomas Zimmermann, Robert DeLine, Andrew Begel, ICSE' 16: Proceedings of 38th IEEE/ACM International Conference on Software Engineering, pages 96-107 (DOI) (local_pdf) (slides)

Appendix to The Emerging Role of Data Scientists on Software Development Teams (local_pdf) (link)

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

BigDebug: Interactive Debugger for Big Data Analytics in Apache Spark, Muhammad Ali Gulzar, Matteo Interlandi, Tyson Condie, Miryung Kim, FSE' 16: The 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, Demonstration Track, pages 1033-1037 (DOI) (local_pdf) (extended version with screenshots) (demo video) (poster) (slides)

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 2016, pages 510-522 (DOI) (local_pdf)

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 2016, The 8th USENIX Workshop on Hot Topics in Cloud Computing, 5 pages (DOI) (local_pdf)

Trusted Software Repair for System Resiliency, Westley Weimer, Stephanie Forrest, Miryung Kim, Claire Le Goues, Patrick Hurley, DSN' 16, The 46th IEEE/IFIP International Conference on Dependable Systems and Networks, Industry Track, pages 238-241 (DOI) (local_pdf).

An Empirical Study of Supplementary Patches in Open Source Projects, Jihun Park, Miryung Kim, Doo-Hwan Bae, Journal of Empirical Software Engineering, 22(1): pages 436-473 (2017) Preprint DOI: 10.1007/s10664-016-9432-x (Date of Publication: 07 May 2016) (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, 2016,  Preprint DOI: 10.1002/stvr.1603 (Date of Publication: 21 March 2016), Volume 26, Issue 5, pages 402–426, August 2016 (DOI) (local_pdf)

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, Preprint DOI: 10.1109/JSYST.2015.2496293 (Date of Publication: 20 November 2015), 14 pages (DOI) (local_pdf)

2015

Does Automated Refactoring Obviate Systematic Editing?, Na Meng, Lisa Hua, Miryung Kim, and Kathryn McKinley, ICSE' 15: Proceedings of 37th IEEE/ACM International Conference on Software Engineering, pages 392-402 (DOI) (local pdf) (slides)

Interactive Code Review for Systematic Changes, Tianyi Zhang, Myoungkyu Song, Joseph Pinedo, Miryung Kim, ICSE' 15: Proceedings of 37th IEEE/ACM International Conference on Software Engineering, pages 111-122 (DOI) (local pdf) (slides)

2014

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

Cookbook: In Situ Code Completion Using Edit Recipes Learned from Examples, John Jacobellis, Na Meng, Miryung Kim, ICSE '14: Proceedings of 36th IEEE/ACM International Conference on Software Engineering, Formal Demonstration Track. pages, 584-587 (link) (local_pdf) (slides) (demo)

An empirical study on reducing omission errors in practice. Jihun Park, Miryung Kim, Doo-Hwan Bae, ASE '14: Proceedings of the 29th ACM/IEEE international conference on Automated software engineering, pages 121-126 (DOI) (local_pdf) (slides)

RefDistiller: a refactoring aware code review tool for inspecting manual refactoring edits. Everton L. G. Alves, Myoungkyu Song, Miryung Kim, FSE '14: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, Research Demonstration Track, pages 751-754 (DOI) (poster) (local_pdf)

Critics: an interactive code review tool for searching and inspecting systematic changes,  Tianyi Zhang, Myoungkyu Song, Miryung Kim, FSE '14: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, Research Demonstration Track, pages 755-758 (DOI) (poster) (local_pdf)

Recommending Program Transformations to Automate Repetitive Software Changes, Book Chapter on Recommendation Systems on Software Engineering. Miryung Kim, Na Meng, Editors: Martin Robillard, Walid Maalej, Robert Walker and Thomas Zimmermann, Springer (link) (local_pdf)

Refdistiller: Detecting anomalies in manual refactoring edits. E. L. Alves, M. Song, M. Kim, P. D. Machado, and T. Massoni. Technical report, University of Texas at Austin, TR-ECE-2014-3, March, 2014. (local_pdf

Experimental Artifacts for "RefDistiller: Detecting Anomalies in Manual Refactoring Edits," Everton L. G. Alves, Myoungkyu Song, Miryung Kim, Patricia Machado, Tiago Massoni, Technical Report (local pdf)

2013

LASE: Locating and Applying Systematic Edits by Learning from Examples, Na Meng, Miryung Kim, Kathryn McKinley, ICSE '13: Proceedings of 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 35th IEEE/ACM International Conference on Software Engineering, 4 pages, 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 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 the 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 the 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 and Miryung Kim FSE '12: ACM SIGSOFT the 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 and Sarfraz Khurshid, FSE '12: ACM SIGSOFT the 20th International Symposium on the Foundation 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, and Miryung Kim, FM '12: Proceedings of the 18th International Symposium on Formal Methods, pages 455-470, (local pdf) (DOI)

Vdiff: A Program Differencing Algorithm for Verilog Hardware Description Language, Adam Duley, Christopher Spandikow, Miryung Kim, Journal of Automated Software Engineering, An Invited Article from the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE), 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 2012 International Conference on Software Engineering, 4 pages, New Ideas and Emerging Results (NIER) Track, pages 1341-1344, (local pdf) (DOI). 

Appendix to A Field Study of Refactoring Rationale, Benefits, and Challenges at Microsoft. Miryung Kim, Thomas Zimmermann, and 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 and 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 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, and 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, and 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 15th, 2010, pdf

Template-based Reconstruction of Complex Refactorings, Kyle Prete, Napol Rachatasumrit, Nikita Sudan, and 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 DOIpresentation (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 DOIpresentation, ACM SIGSOFT Distinguished Paper Award (local pdf)

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, Pages: Volume 1, 325-334, Publisher: ACM DOI (local pdf)

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

2009

Discovering and Representing Systematic Code Changes, Miryung Kim and 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 DOIPresentation 

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 13th ACM SIGSOFT international symposium on Foundations of software engineering, pages 187-196, Publisher: ACM DOIPresentation (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