Miryung Kim - RankMe

143 papers A* 37A 8B 3Misc 3Journal 40Unranked 48

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Change And Cover: Last-Mile, Pull Request-Based Regression Test Augmentation. CoRR Zitong Zhou, Matteo Paltenghi, Miryung Kim, Michael Pradel
2025	J	`jnl`	Automatically Detecting Numerical Instability in Machine Learning Applications via Soft Assertions. CoRR Shaila Sharmin, Anwar Hossain Zahid, Subhankar Bhattacharjee, Chiamaka Igwilo, Miryung Kim, Wei Le
2025	J	`jnl`	Automatically Detecting Numerical Instability in Machine Learning Applications via Soft Assertions. Proc. ACM Softw. Eng. Shaila Sharmin, Anwar Hossain Zahid, Subhankar Bhattacharjee, Chiamaka Igwilo, Miryung Kim, Wei Le
2025	A*	`conf`	Chrysalis: A Lightweight Logging and Replay Framework for Metamorphic Testing in Python. ASE Jai Parera, Nathan Huey, Ben Limpanukorn, Miryung Kim
2025	J	`jnl`	DuoReduce: Bug Isolation for Multi-layer Extensible Compilation. Proc. ACM Softw. Eng. Jiyuan Wang, Yuxin Qiu, Ben Limpanukorn, Hong Jin Kang, Qian Zhang, Miryung Kim
2025	J	`jnl`	From Noise to Knowledge: Interactive Summaries for Developer Alerts. CoRR Burak Yetistiren, Hong Jin Kang, Miryung Kim
2025	A*	`conf`	Fuzzing MLIR Compilers with Custom Mutation Synthesis. ICSE Ben Limpanukorn, Jiyuan Wang, Hong Jin Kang, Eric Zitong Zhou, Miryung Kim
2025	J	`jnl`	Generating and Understanding Tests via Path-Aware Symbolic Execution with LLMs. CoRR Yaoxuan Wu, Xiaojie Zhou, Ahmad Humayun, Muhammad Ali Gulzar, Miryung Kim
2025	J	`jnl`	Structural Code Search using Natural Language Queries. CoRR Ben Limpanukorn, Yanjun Wang, Zach Patterson, Pranav Garg, Murali Krishna Ramanathan, Xiaofei Ma, Anoop Deoras, Miryung Kim
2025	J	`jnl`	Targeted Testing of Compiler Optimizations via Grammar-Level Composition Styles. CoRR Zitong Zhou, Ben Limpanukorn, Hong Jin Kang, Jiyuan Wang, Yaoxuan Wu, Ákos Kiss, Renáta Hodován, Miryung Kim
2025	J	`jnl`	TraceLens: Question-Driven Debugging for Taint Flow Understanding. CoRR Burak Yetistiren, Hong Jin Kang, Miryung Kim
2024	J	`jnl`	ConServe: Harvesting GPUs for Low-Latency and High-Throughput Large Language Model Serving. CoRR Yifan Qiao, Shu Anzai, Shan Yu, Haoran Ma, Yang Wang, Miryung Kim, Harry Xu
2024	A*	`conf`	DRust: Language-Guided Distributed Shared Memory with Fine Granularity, Full Transparency, and Ultra Efficiency. OSDI Haoran Ma, Yifan Qiao, Shi Liu, Shan Yu, Yuanjiang Ni, Qingda Lu, Jiesheng Wu, Yiying Zhang, Miryung Kim, Harry Xu
2024	J	`jnl`	DRust: Language-Guided Distributed Shared Memory with Fine Granularity, Full Transparency, and Ultra Efficiency. CoRR Haoran Ma, Yifan Qiao, Shi Liu, Shan Yu, Yuanjiang Ni, Qingda Lu, Jiesheng Wu, Yiying Zhang, Miryung Kim, Harry Xu
2024	J	`jnl`	Fuzzing MLIR by Synthesizing Custom Mutations. CoRR Ben Limpanukorn, Jiyuan Wang, Hong Jin Kang, Eric Zitong Zhou, Miryung Kim
2024	Misc	`conf`	Harvesting Idle Memory for Application-managed Soft State with Midas. NSDI Yifan Qiao, Zhenyuan Ruan, Haoran Ma, Adam Belay, Miryung Kim, Harry Xu
2024	—	`conf`	Human-in-the-Loop Synthetic Text Data Inspection with Provenance Tracking. NAACL-HLT (Findings) Hong Jin Kang, Fabrice Harel-Canada, Muhammad Ali Gulzar, Nanyun Peng, Miryung Kim
2024	J	`jnl`	Human-in-the-Loop Synthetic Text Data Inspection with Provenance Tracking. CoRR Hong Jin Kang, Fabrice Harel-Canada, Muhammad Ali Gulzar, Violet Peng, Miryung Kim
2024	A*	`conf`	Measuring Psychological Depth in Language Models. EMNLP Fabrice Harel-Canada, Hanyu Zhou, Sreya Muppalla, Zeynep Yildiz, Miryung Kim, Amit Sahai, Nanyun Peng
2024	J	`jnl`	Natural Symbolic Execution-Based Testing for Big Data Analytics. Proc. ACM Softw. Eng. Yaoxuan Wu, Ahmad Humayun, Muhammad Ali Gulzar, Miryung Kim
2024	J	`jnl`	PerfGen: Automated Performance Benchmark Generation for Big Data Analytics. CoRR Jiyuan Wang, Jason Teoh, Muhammand Ali Gulza, Qian Zhang, Miryung Kim
2024	A*	`conf`	Scaling Code Pattern Inference with Interactive What-If Analysis. ICSE Hong Jin Kang, Kevin Wang, Miryung Kim
2023	J	`jnl`	A Declarative Metamorphic Testing Framework for Autonomous Driving. IEEE Trans. Software Eng. Yao Deng, James Xi Zheng, Tianyi Zhang, Huai Liu, Guannan Lou, Miryung Kim, Tsong Yueh Chen
2023	Misc	`conf`	Canvas: Isolated and Adaptive Swapping for Multi-Applications on Remote Memory. NSDI Chenxi Wang, Yifan Qiao, Haoran Ma, Shi Liu, Wenguang Chen, Ravi Netravali, Miryung Kim, Guoqing Harry Xu
2023	—	`conf`	Co-dependence Aware Fuzzing for Dataflow-Based Big Data Analytics. ESEC/SIGSOFT FSE Ahmad Humayun, Miryung Kim, Muhammad Ali Gulzar
2023	Misc	`conf`	Hermit: Low-Latency, High-Throughput, and Transparent Remote Memory via Feedback-Directed Asynchrony. NSDI Yifan Qiao, Chenxi Wang, Zhenyuan Ruan, Adam Belay, Qingda Lu, Yiying Zhang, Miryung Kim, Guoqing Harry Xu
2023	—	`conf`	Leveraging Hardware Probes and Optimizations for Accelerating Fuzz Testing of Heterogeneous Applications. ESEC/SIGSOFT FSE Jiyuan Wang, Qian Zhang, Hongbo Rong, Guoqing Harry Xu, Miryung Kim
2023	A*	`conf`	NaturalFuzz: Natural Input Generation for Big Data Analytics. ASE Ahmad Humayun, Yaoxuan Wu, Miryung Kim, Muhammad Ali Gulzar
2023	—	`conf`	Software Engineering for Data Intensive Scalable Computing and Heterogeneous Computing. ICSE-FoSE Miryung Kim
2022	J	`jnl`	Canvas: Isolated and Adaptive Swapping for Multi-Applications on Remote Memory. CoRR Chenxi Wang, Yifan Qiao, Haoran Ma, Shi Liu, Yiying Zhang, Wenguang Chen, Ravi Netravali, Miryung Kim, Guoqing Harry Xu
2022	A*	`conf`	Concept-Annotated Examples for Library Comparison. UIST Litao Yan, Miryung Kim, Bjoern Hartmann, Tianyi Zhang, Elena L. Glassman
2022	A*	`conf`	HeteroGen: transpiling C to heterogeneous HLS code with automated test generation and program repair. ASPLOS Qian Zhang, Jiyuan Wang, Guoqing Harry Xu, Miryung Kim
2022	A*	`conf`	Mako: a low-pause, high-throughput evacuating collector for memory-disaggregated datacenters. PLDI Haoran Ma, Shi Liu, Chenxi Wang, Yifan Qiao, Michael D. Bond, Stephen M. Blackburn, Miryung Kim, Guoqing Harry Xu
2022	—	`ed.`	Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2022, Singapore, Singapore, November 14-18, 2022 ESEC/SIGSOFT FSE Abhik Roychoudhury, Cristian Cadar, Miryung Kim
2022	—	`conf`	Sibylvariant Transformations for Robust Text Classification. ACL (Findings) Fabrice Harel-Canada, Muhammad Ali Gulzar, Nanyun Peng, Miryung Kim
2022	J	`jnl`	Sibylvariant Transformations for Robust Text Classification. CoRR Fabrice Harel-Canada, Muhammad Ali Gulzar, Nanyun Peng, Miryung Kim
2021	—	`conf`	BMT: Behavior Driven Development-based Metamorphic Testing for Autonomous Driving Models. MET@ICSE Yao Deng, Guannan Lou, James Xi Zheng, Tianyi Zhang, Miryung Kim, Huai Liu, Chen Wang, Tsong Yueh Chen
2021	A*	`conf`	Dorylus: Affordable, Scalable, and Accurate GNN Training with Distributed CPU Servers and Serverless Threads. OSDI John Thorpe, Yifan Qiao, Jonathan Eyolfson, Shen Teng, Guanzhou Hu, Zhihao Jia, Jinliang Wei, Keval Vora, Ravi Netravali, Miryung Kim, Guoqing Harry Xu
2021	J	`jnl`	Dorylus: Affordable, Scalable, and Accurate GNN Training with Distributed CPU Servers and Serverless Threads. CoRR John Thorpe, Yifan Qiao, Jonathan Eyolfson, Shen Teng, Guanzhou Hu, Zhihao Jia, Jinliang Wei, Keval Vora, Ravi Netravali, Miryung Kim, Guoqing Harry Xu
2021	—	`conf`	Efficient Fuzz Testing for Apache Spark Using Framework Abstraction. ICSE (Companion Volume) Qian Zhang, Jiyuan Wang, Muhammad Ali Gulzar, Rohan Padhye, Miryung Kim
2021	J	`jnl`	Efficient Fuzz Testing for Apache Spark Using Framework Abstraction. CoRR Qian Zhang, Jiyuan Wang, Muhammad Ali Gulzar, Rohan Padhye, Miryung Kim
2021	—	`conf`	HeteroFuzz: fuzz testing to detect platform dependent divergence for heterogeneous applications. ESEC/SIGSOFT FSE Qian Zhang, Jiyuan Wang, Miryung Kim
2021	—	`conf`	OptDebug: Fault-Inducing Operation Isolation for Dataflow Applications. SoCC Muhammad Ali Gulzar, Miryung Kim
2021	A*	`conf`	QDiff: Differential Testing of Quantum Software Stacks. ASE Jiyuan Wang, Qian Zhang, Guoqing Harry Xu, Miryung Kim
2020	A*	`conf`	An Analysis of Adversarial Attacks and Defenses on Autonomous Driving Models. PerCom Yao Deng, James Xi Zheng, Tianyi Zhang, Chen Chen, Guannan Lou, Miryung Kim
2020	J	`jnl`	An Analysis of Adversarial Attacks and Defenses on Autonomous Driving Models. CoRR Yao Deng, Xi Zheng, Tianyi Zhang, Chen Chen, Guannan Lou, Miryung Kim
2020	J	`jnl`	An ensemble learning approach for software semantic clone detection. CoRR Min Fu, Gang Luo, James Xi Zheng, Tianyi Zhang, Dongjin Yu, Miryung Kim
2020	A*	`conf`	BigFuzz: Efficient Fuzz Testing for Data Analytics Using Framework Abstraction. ASE Qian Zhang, Jiyuan Wang, Muhammad Ali Gulzar, Rohan Padhye, Miryung Kim
2020	—	`conf`	BigTest: a symbolic execution based systematic test generation tool for Apache spark. ICSE (Companion Volume) Muhammad Ali Gulzar, Madanlal Musuvathi, Miryung Kim
2020	A	`conf`	Characterizing and Identifying Composite Refactorings: Concepts, Heuristics and Patterns. MSR Leonardo da Silva Sousa, Diego Cedrim, Alessandro Garcia, Willian Nalepa Oizumi, Ana Carla Bibiano, Daniel Oliveira, Miryung Kim, Anderson Oliveira
2020	A*	`conf`	Enabling Data-Driven API Design with Community Usage Data: A Need-Finding Study. CHI Tianyi Zhang, Björn Hartmann, Miryung Kim, Elena L. Glassman
2020	A*	`conf`	HeteroRefactor: refactoring for heterogeneous computing with FPGA. ICSE Jason Lau, Aishwarya Sivaraman, Qian Zhang, Muhammad Ali Gulzar, Jason Cong, Miryung Kim
2020	—	`conf`	Influence-based provenance for dataflow applications with taint propagation. SoCC Jason Teoh, Muhammad Ali Gulzar, Miryung Kim
2020	—	`conf`	Is neuron coverage a meaningful measure for testing deep neural networks? ESEC/SIGSOFT FSE Fabrice Harel-Canada, Lingxiao Wang, Muhammad Ali Gulzar, Quanquan Gu, Miryung Kim
2020	—	`conf`	JShrink: in-depth investigation into debloating modern Java applications. ESEC/SIGSOFT FSE Bobby R. Bruce, Tianyi Zhang, Jaspreet Arora, Guoqing Harry Xu, Miryung Kim
2020	J	`jnl`	RMT: Rule-based Metamorphic Testing for Autonomous Driving Models. CoRR Yao Deng, Xi Zheng, Tianyi Zhang, Guannan Lou, Huai Liu, Miryung Kim
2020	J	`jnl`	SE4ML - Software Engineering for AI-ML-based Systems (Dagstuhl Seminar 20091). Dagstuhl Reports Kristian Kersting, Miryung Kim, Guy Van den Broeck, Thomas Zimmermann
2020	A*	`conf`	Semeru: A Memory-Disaggregated Managed Runtime. OSDI Chenxi Wang, Haoran Ma, Shi Liu, Yuanqi Li, Zhenyuan Ruan, Khanh Nguyen, Michael D. Bond, Ravi Netravali, Miryung Kim, Guoqing Harry Xu
2020	J	`jnl`	Software Engineering for Data Analytics. IEEE Softw. Miryung Kim
2020	—	`conf`	WebJShrink: a web service for debloating Java bytecode. ESEC/SIGSOFT FSE Konner Macias, Mihir Mathur, Bobby R. Bruce, Tianyi Zhang, Miryung Kim
2019	A*	`conf`	Active inductive logic programming for code search. ICSE Aishwarya Sivaraman, Tianyi Zhang, Guy Van den Broeck, Miryung Kim
2019	A	`conf`	An Empirical Study of Common Challenges in Developing Deep Learning Applications. ISSRE Tianyi Zhang, Cuiyun Gao, Lei Ma, Michael R. Lyu, Miryung Kim
2019	J	`jnl`	Analyzing and Supporting Adaptation of Online Code Examples. CoRR Tianyi Zhang, Di Yang, Cristina Videira Lopes, Miryung Kim
2019	A*	`conf`	Analyzing and supporting adaptation of online code examples. ICSE Tianyi Zhang, Di Yang, Cristina V. Lopes, Miryung Kim
2019	A*	`conf`	Gerenuk: thin computation over big native data using speculative program transformation. SOSP Christian Navasca, Cheng Cai, Khanh Nguyen, Brian Demsky, Shan Lu, Miryung Kim, Guoqing Harry Xu
2019	—	`conf`	PerfDebug: Performance Debugging of Computation Skew in Dataflow Systems. SoCC Jason Teoh, Muhammad Ali Gulzar, Guoqing Harry Xu, Miryung Kim
2019	—	`ch.`	Software Evolution. Handbook of Software Engineering Miryung Kim, Na Meng, Tianyi Zhang
2019	—	`conf`	White-box testing of big data analytics with complex user-defined functions. ESEC/SIGSOFT FSE Muhammad Ali Gulzar, Shaghayegh Mardani, Madanlal Musuvathi, Miryung Kim
2018	J	`jnl`	Active Inductive Logic Programming for Code Search. CoRR Aishwarya Sivaraman, Tianyi Zhang, Guy Van den Broeck, Miryung Kim
2018	J	`jnl`	Adding data provenance support to Apache Spark. VLDB J. Matteo Interlandi, Ari Ekmekji, Kshitij Shah, Muhammad Ali Gulzar, Sai Deep Tetali, Miryung Kim, Todd D. Millstein, Tyson Condie
2018	A*	`conf`	Are code examples on an online Q&A forum reliable?: a study of API misuse on stack overflow. ICSE Tianyi Zhang, Ganesha Upadhyaya, Anastasia Reinhardt, Hridesh Rajan, Miryung Kim
2018	—	`conf`	Augmenting stack overflow with API usage patterns mined from GitHub. ESEC/SIGSOFT FSE Anastasia Reinhardt, Tianyi Zhang, Mihir Mathur, Miryung Kim
2018	—	`conf`	BigSift: automated debugging of big data analytics in data-intensive scalable computing. ESEC/SIGSOFT FSE Muhammad Ali Gulzar, Siman Wang, Miryung Kim
2018	J	`jnl`	Data Scientists in Software Teams: State of the Art and Challenges. IEEE Trans. Software Eng. Miryung Kim, Thomas Zimmermann, Robert DeLine, Andrew Begel
2018	A*	`conf`	Data scientists in software teams: state of the art and challenges. ICSE Miryung Kim, Thomas Zimmermann, Robert DeLine, Andrew Begel
2018	—	`conf`	Grafter: transplantation and differential testing for clones. ICSE (Companion Volume) Tianyi Zhang, Miryung Kim
2018	J	`jnl`	Refactoring Inspection Support for Manual Refactoring Edits. IEEE Trans. Software Eng. Everton L. G. Alves, Myoungkyu Song, Tiago Massoni, Patrícia Duarte de Lima Machado, Miryung Kim
2018	A*	`conf`	Visualizing API Usage Examples at Scale. CHI Elena L. Glassman, Tianyi Zhang, Björn Hartmann, Miryung Kim
2017	J	`jnl`	An empirical study of supplementary patches in open source projects. Empir. Softw. Eng. Jihun Park, Miryung Kim, Doo-Hwan Bae
2017	—	`conf`	Automated debugging in data-intensive scalable computing. SoCC Muhammad Ali Gulzar, Matteo Interlandi, Xueyuan Han, Mingda Li, Tyson Condie, Miryung Kim
2017	A*	`conf`	Automated transplantation and differential testing for clones. ICSE Tianyi Zhang, Miryung Kim
2017	—	`conf`	Debugging Big Data Analytics in Spark with SIGMOD Conference Muhammad Ali Gulzar, Matteo Interlandi, Tyson Condie, Miryung Kim
2017	J	`jnl`	Perceptions on the State of the Art in Verification and Validation in Cyber-Physical Systems. IEEE Syst. J. Xi Zheng, Christine Julien, Miryung Kim, Sarfraz Khurshid
2016	A*	`conf`	BigDebug: debugging primitives for interactive big data processing in spark. ICSE Muhammad Ali Gulzar, Matteo Interlandi, Seunghyun Yoo, Sai Deep Tetali, Tyson Condie, Todd D. Millstein, Miryung Kim
2016	—	`conf`	BigDebug: interactive debugger for big data analytics in Apache Spark. SIGSOFT FSE Muhammad Ali Gulzar, Matteo Interlandi, Tyson Condie, Miryung Kim
2016	J	`jnl`	Connecting and Serving the Software Engineering Community. IEEE Trans. Software Eng. Matthew B. Dwyer, Eric Bodden, Brian Fitzgerald, Miryung Kim, Sunghun Kim, Amy J. Ko, Emilia Mendes, Raffaela Mirandola, Ana Moreira, Forrest Shull, Stephen F. Siegel, Tao Xie, Charles Zhang
2016	—	`ch.`	Five steps for success. Perspectives on Data Science for Software Engineering Miryung Kim
2016	—	`conf`	Interactive Debugging for Big Data Analytics. HotCloud Muhammad Ali Gulzar, Xueyuan Han, Matteo Interlandi, Shaghayegh Mardani, Sai Deep Tetali, Todd D. Millstein, Miryung Kim
2016	—	`conf`	Optimizing Interactive Development of Data-Intensive Applications. SoCC Matteo Interlandi, Sai Deep Tetali, Muhammad Ali Gulzar, Joseph Noor, Tyson Condie, Miryung Kim, Todd D. Millstein
2016	J	`jnl`	Prioritizing test cases for early detection of refactoring faults. Softw. Test. Verification Reliab. Everton L. G. Alves, Patrícia D. L. Machado, Tiago Massoni, Miryung Kim
2016	A	`ed.`	Proceedings of the 13th International Conference on Mining Software Repositories, MSR 2016, Austin, TX, USA, May 14-22, 2016 MSR Miryung Kim, Romain Robbes, Christian Bird
2016	A*	`conf`	The emerging role of data scientists on software development teams. ICSE Miryung Kim, Thomas Zimmermann, Robert DeLine, Andrew Begel
2016	—	`conf`	Trusted Software Repair for System Resiliency. DSN Workshops Westley Weimer, Stephanie Forrest, Miryung Kim, Claire Le Goues, Patrick Hurley
2015	—	`conf`	Does Automated Refactoring Obviate Systematic Editing? ICSE (1) Na Meng, Lisa Hua, Miryung Kim, Kathryn S. McKinley
2015	—	`conf`	Interactive Code Review for Systematic Changes. ICSE (1) Tianyi Zhang, Myoungkyu Song, Joseph Pinedo, Miryung Kim
2015	J	`jnl`	Titian: Data Provenance Support in Spark. Proc. VLDB Endow. Matteo Interlandi, Kshitij Shah, Sai Deep Tetali, Muhammad Ali Gulzar, Seunghyun Yoo, Miryung Kim, Todd D. Millstein, Tyson Condie
2014	J	`jnl`	An Empirical Study of RefactoringChallenges and Benefits at Microsoft. IEEE Trans. Software Eng. Miryung Kim, Thomas Zimmermann, Nachiappan Nagappan
2014	A*	`conf`	An empirical study on reducing omission errors in practice. ASE Jihun Park, Miryung Kim, Doo-Hwan Bae
2014	—	`conf`	Cookbook: in situ code completion using edit recipes learned from examples. ICSE Companion John Jacobellis, Na Meng, Miryung Kim
2014	—	`conf`	Critics: an interactive code review tool for searching and inspecting systematic changes. SIGSOFT FSE Tianyi Zhang, Myoungkyu Song, Miryung Kim
2014	—	`ch.`	Recommending Program Transformations - Automating Repetitive Software Changes. Recommendation Systems in Software Engineering Miryung Kim, Na Meng
2014	—	`conf`	RefDistiller: a refactoring aware code review tool for inspecting manual refactoring edits. SIGSOFT FSE Everton L. G. Alves, Myoungkyu Song, Miryung Kim
2013	—	`conf`	An Empirical Study of API Stability and Adoption in the Android Ecosystem. ICSM Tyler McDonnell, Baishakhi Ray, Miryung Kim
2013	A*	`conf`	Detecting and characterizing semantic inconsistencies in ported code. ASE Baishakhi Ray, Miryung Kim, Suzette Person, Neha Rungta
2013	J	`jnl`	FaultTracer: a spectrum-based approach to localizing failure-inducing program edits. J. Softw. Evol. Process. Lingming Zhang, Miryung Kim, Sarfraz Khurshid
2013	J	`jnl`	Identifying and Summarizing Systematic Code Changes via Rule Inference. IEEE Trans. Software Eng. Miryung Kim, David Notkin, Dan Grossman, Gary Wilson Jr.
2013	A*	`conf`	LASE: an example-based program transformation tool for locating and applying systematic edits. ICSE John Jacobellis, Na Meng, Miryung Kim
2013	A*	`conf`	LASE: locating and applying systematic edits by learning from examples. ICSE Na Meng, Miryung Kim, Kathryn S. McKinley
2012	—	`conf`	A case study of cross-system porting in forked projects. SIGSOFT FSE Baishakhi Ray, Miryung Kim
2012	—	`conf`	A field study of refactoring challenges and benefits. SIGSOFT FSE Miryung Kim, Thomas Zimmermann, Nachiappan Nagappan
2012	—	`conf`	An empirical investigation into the impact of refactoring on regression testing. ICSM Napol Rachatasumrit, Miryung Kim
2012	A	`conf`	An empirical study of supplementary bug fixes. MSR Jihun Park, Miryung Kim, Baishakhi Ray, Doo-Hwan Bae
2012	A*	`conf`	BRACE: An assertion framework for debugging cyber-physical systems. ICSE Kevin Boos, Chien-Liang Fok, Christine Julien, Miryung Kim
2012	—	`conf`	FaultTracer: a change impact and regression fault analysis tool for evolving Java programs. SIGSOFT FSE Lingming Zhang, Miryung Kim, Sarfraz Khurshid
2012	—	`conf`	REPERTOIRE: a cross-system porting analysis tool for forked software projects. SIGSOFT FSE Baishakhi Ray, Christopher Wiley, Miryung Kim
2012	B	`conf`	Specification-Based Test Repair Using a Lightweight Formal Method. FM Guowei Yang, Sarfraz Khurshid, Miryung Kim
2012	J	`jnl`	Vdiff: a program differencing algorithm for Verilog hardware description language. Autom. Softw. Eng. Adam Duley, Chris Spandikow, Miryung Kim
2011	B	`conf`	An Empirical Study of Long-Lived Code Clones. FASE Dongxiang Cai, Miryung Kim
2011	A*	`conf`	An empirical investigation into the role of API-level refactorings during software evolution. ICSE Miryung Kim, Dongxiang Cai, Sunghun Kim
2011	B	`conf`	An exploratory study of awareness interests about software modifications. CHASE Miryung Kim
2011	A*	`conf`	Detecting software modularity violations. ICSE Sunny Wong, Yuanfang Cai, Miryung Kim, Michael Dalton
2011	—	`conf`	Localizing failure-inducing program edits based on spectrum information. ICSM Lingming Zhang, Miryung Kim, Sarfraz Khurshid
2011	—	`conf`	Sydit: creating and applying a program transformation from an example. SIGSOFT FSE Na Meng, Miryung Kim, Kathryn S. McKinley
2011	A*	`conf`	Systematic editing: generating program transformations from an example. PLDI Na Meng, Miryung Kim, Kathryn S. McKinley
2010	A	`conf`	A graph-based approach to API usage adaptation. OOPSLA Hoan Anh Nguyen, Tung Thanh Nguyen, Gary Wilson Jr., Anh Tuan Nguyen, Miryung Kim, Tien N. Nguyen
2010	A*	`conf`	A program differencing algorithm for verilog HDL. ASE Adam Duley, Chris Spandikow, Miryung Kim
2010	—	`conf`	AURA: a hybrid approach to identify framework evolution. ICSE (1) Wei Wu, Yann-Gaël Guéhéneuc, Giuliano Antoniol, Miryung Kim
2010	—	`conf`	LSdiff: a program differencing tool to identify systematic structural differences. ICSE (2) Alex Loh, Miryung Kim
2010	—	`conf`	Managing technical debt in software-reliant systems. FoSER Nanette Brown, Yuanfang Cai, Yuepu Guo, Rick Kazman, Miryung Kim, Philippe Kruchten, Erin Lim, Alan MacCormack, Robert L. Nord, Ipek Ozkaya, Raghvinder S. Sangwan, Carolyn B. Seaman, Kevin J. Sullivan, Nico Zazworka
2010	—	`conf`	Ref-Finder: a refactoring reconstruction tool based on logic query templates. SIGSOFT FSE Miryung Kim, Matthew Gee, Alex Loh, Napol Rachatasumrit
2010	—	`conf`	Template-based reconstruction of complex refactorings. ICSM Kyle Prete, Napol Rachatasumrit, Nikita Sudan, Miryung Kim
2010	—	`conf`	Validity concerns in software engineering research. FoSER Hyrum K. Wright, Miryung Kim, Dewayne E. Perry
2009	A*	`conf`	Discovering and representing systematic code changes. ICSE Miryung Kim, David Notkin
2007	A*	`conf`	Automatic Inference of Structural Changes for Matching across Program Versions. ICSE Miryung Kim, David Notkin, Dan Grossman
2007	A*	`conf`	SoftGUESS: Visualization and Exploration of Code Clones in Context. ICSE Eytan Adar, Miryung Kim
2007	—	`conf`	Understanding and Aiding Code Evolution by Inferring Change Patterns. ICSE Companion Miryung Kim
2006	A	`conf`	Program element matching for multi-version program analyses. MSR Miryung Kim, David Notkin
2006	A	`conf`	TA-RE: an exchange language for mining software repositories. MSR Sunghun Kim, Thomas Zimmermann, Miryung Kim, Ahmed E. Hassan, Audris Mockus, Tudor Gîrba, Martin Pinzger, E. James Whitehead Jr., Andreas Zeller
2005	—	`conf`	An empirical study of code clone genealogies. ESEC/SIGSOFT FSE Miryung Kim, Vibha Sazawal, David Notkin, Gail C. Murphy
2005	A	`conf`	Using a clone genealogy extractor for understanding and supporting evolution of code clones. MSR Miryung Kim, David Notkin
2005	J	`jnl`	Using a clone genealogy extractor for understanding and supporting evolution of code clones. ACM SIGSOFT Softw. Eng. Notes Miryung Kim, David Notkin
2004	—	`conf`	A Study of Evolution in the Presence of Source-Derived Partial Design Representations. IWPSE Vibha Sazawal, Miryung Kim, David Notkin
2004	—	`conf`	An Ethnographic Study of Copy and Paste Programming Practices in OOPL. ISESE Miryung Kim, Lawrence D. Bergman, Tessa A. Lau, David Notkin