Miryung Kim

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 75

Top Venues

Publications

Hong Jin Kang, Kevin Wang, Miryung Kim
Scaling Code Pattern Inference with Interactive What-If Analysis. ICSE (2024)
Ben Limpanukorn, Jiyuan Wang, Hong Jin Kang, Eric Zitong Zhou, Miryung Kim
Fuzzing MLIR by Synthesizing Custom Mutations. CoRR (2024)
Haoran Ma, Yifan Qiao, Shi Liu, Shan Yu, Yuanjiang Ni, Qingda Lu, Jiesheng Wu, Yiying Zhang, Miryung Kim, Harry Xu
DRust: Language-Guided Distributed Shared Memory with Fine Granularity, Full Transparency, and Ultra Efficiency. OSDI (2024)
Yaoxuan Wu, Ahmad Humayun, Muhammad Ali Gulzar, Miryung Kim
Natural Symbolic Execution-Based Testing for Big Data Analytics. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Haoran Ma, Yifan Qiao, Shi Liu, Shan Yu, Yuanjiang Ni, Qingda Lu, Jiesheng Wu, Yiying Zhang, Miryung Kim, Harry Xu
DRust: Language-Guided Distributed Shared Memory with Fine Granularity, Full Transparency, and Ultra Efficiency. CoRR (2024)
Hong Jin Kang, Fabrice Harel-Canada, Muhammad Ali Gulzar, Violet Peng, Miryung Kim
Human-in-the-Loop Synthetic Text Data Inspection with Provenance Tracking. CoRR (2024)
Yifan Qiao, Zhenyuan Ruan, Haoran Ma, Adam Belay, Miryung Kim, Harry Xu
Harvesting Idle Memory for Application-managed Soft State with Midas. NSDI (2024)
Yifan Qiao, Chenxi Wang, Zhenyuan Ruan, Adam Belay, Qingda Lu, Yiying Zhang, Miryung Kim, Guoqing Harry Xu
Hermit: Low-Latency, High-Throughput, and Transparent Remote Memory via Feedback-Directed Asynchrony. NSDI (2023)
Chenxi Wang, Yifan Qiao, Haoran Ma, Shi Liu, Wenguang Chen, Ravi Netravali, Miryung Kim, Guoqing Harry Xu
Canvas: Isolated and Adaptive Swapping for Multi-Applications on Remote Memory. NSDI (2023)
Ahmad Humayun, Miryung Kim, Muhammad Ali Gulzar
Co-dependence Aware Fuzzing for Dataflow-Based Big Data Analytics. ESEC/SIGSOFT FSE (2023)
Jiyuan Wang, Qian Zhang, Hongbo Rong, Guoqing Harry Xu, Miryung Kim
Leveraging Hardware Probes and Optimizations for Accelerating Fuzz Testing of Heterogeneous Applications. ESEC/SIGSOFT FSE (2023)
Ahmad Humayun, Yaoxuan Wu, Miryung Kim, Muhammad Ali Gulzar
NaturalFuzz: Natural Input Generation for Big Data Analytics. ASE (2023)
Yao Deng, James Xi Zheng, Tianyi Zhang, Huai Liu, Guannan Lou, Miryung Kim, Tsong Yueh Chen
A Declarative Metamorphic Testing Framework for Autonomous Driving. IEEE Trans. Software Eng. 49 (4) (2023)
Miryung Kim
Software Engineering for Data Intensive Scalable Computing and Heterogeneous Computing. ICSE-FoSE (2023)
Litao Yan, Miryung Kim, Bjoern Hartmann, Tianyi Zhang, Elena L. Glassman
Concept-Annotated Examples for Library Comparison. UIST (2022)
Qian Zhang, Jiyuan Wang, Guoqing Harry Xu, Miryung Kim
HeteroGen: transpiling C to heterogeneous HLS code with automated test generation and program repair. ASPLOS (2022)
Fabrice Harel-Canada, Muhammad Ali Gulzar, Nanyun Peng, Miryung Kim
Sibylvariant Transformations for Robust Text Classification. CoRR (2022)
Haoran Ma, Shi Liu, Chenxi Wang, Yifan Qiao, Michael D. Bond, Stephen M. Blackburn, Miryung Kim, Guoqing Harry Xu
Mako: a low-pause, high-throughput evacuating collector for memory-disaggregated datacenters. PLDI (2022)
Fabrice Harel-Canada, Muhammad Ali Gulzar, Nanyun Peng, Miryung Kim
Sibylvariant Transformations for Robust Text Classification. ACL (Findings) (2022)
Chenxi Wang, Yifan Qiao, Haoran Ma, Shi Liu, Yiying Zhang, Wenguang Chen, Ravi Netravali, Miryung Kim, Guoqing Harry Xu
Canvas: Isolated and Adaptive Swapping for Multi-Applications on Remote Memory. CoRR (2022)
Muhammad Ali Gulzar, Miryung Kim
OptDebug: Fault-Inducing Operation Isolation for Dataflow Applications. SoCC (2021)
Qian Zhang, Jiyuan Wang, Miryung Kim
HeteroFuzz: fuzz testing to detect platform dependent divergence for heterogeneous applications. ESEC/SIGSOFT FSE (2021)
Jiyuan Wang, Qian Zhang, Guoqing Harry Xu, Miryung Kim
QDiff: Differential Testing of Quantum Software Stacks. ASE (2021)
Qian Zhang, Jiyuan Wang, Muhammad Ali Gulzar, Rohan Padhye, Miryung Kim
Efficient Fuzz Testing for Apache Spark Using Framework Abstraction. ICSE (Companion Volume) (2021)
John Thorpe, Yifan Qiao, Jonathan Eyolfson, Shen Teng, Guanzhou Hu, Zhihao Jia, Jinliang Wei, Keval Vora, Ravi Netravali, Miryung Kim, Guoqing Harry Xu
Dorylus: Affordable, Scalable, and Accurate GNN Training with Distributed CPU Servers and Serverless Threads. CoRR (2021)
Yao Deng, Guannan Lou, Xi Zheng, Tianyi Zhang, Miryung Kim, Huai Liu, Chen Wang, Tsong Yueh Chen
BMT: Behavior Driven Development-based Metamorphic Testing for Autonomous Driving Models. MET@ICSE (2021)
John Thorpe, Yifan Qiao, Jonathan Eyolfson, Shen Teng, Guanzhou Hu, Zhihao Jia, Jinliang Wei, Keval Vora, Ravi Netravali, Miryung Kim, Guoqing Harry Xu
Dorylus: Affordable, Scalable, and Accurate GNN Training with Distributed CPU Servers and Serverless Threads. OSDI (2021)
Qian Zhang, Jiyuan Wang, Muhammad Ali Gulzar, Rohan Padhye, Miryung Kim
Efficient Fuzz Testing for Apache Spark Using Framework Abstraction. CoRR (2021)
Min Fu, Gang Luo, James Xi Zheng, Tianyi Zhang, Dongjin Yu, Miryung Kim
An ensemble learning approach for software semantic clone detection. CoRR (2020)
Yao Deng, Xi Zheng, Tianyi Zhang, Guannan Lou, Huai liu, Miryung Kim
RMT: Rule-based Metamorphic Testing for Autonomous Driving Models. CoRR (2020)
Chenxi Wang, Haoran Ma, Shi Liu, Yuanqi Li, Zhenyuan Ruan, Khanh Nguyen, Michael D. Bond, Ravi Netravali, Miryung Kim, Guoqing Harry Xu
Semeru: A Memory-Disaggregated Managed Runtime. OSDI (2020)
Yao Deng, Xi Zheng, Tianyi Zhang, Chen Chen, Guannan Lou, Miryung Kim
An Analysis of Adversarial Attacks and Defenses on Autonomous Driving Models. CoRR (2020)
Fabrice Harel-Canada, Lingxiao Wang, Muhammad Ali Gulzar, Quanquan Gu, Miryung Kim
Is neuron coverage a meaningful measure for testing deep neural networks? ESEC/SIGSOFT FSE (2020)
Yao Deng, James Xi Zheng, Tianyi Zhang, Chen Chen, Guannan Lou, Miryung Kim
An Analysis of Adversarial Attacks and Defenses on Autonomous Driving Models. PerCom (2020)
Muhammad Ali Gulzar, Madanlal Musuvathi, Miryung Kim
BigTest: a symbolic execution based systematic test generation tool for Apache spark. ICSE (Companion Volume) (2020)
Kristian Kersting, Miryung Kim, Guy Van den Broeck, Thomas Zimmermann
SE4ML - Software Engineering for AI-ML-based Systems (Dagstuhl Seminar 20091). Dagstuhl Reports 10 (2) (2020)
Leonardo da Silva Sousa, Diego Cedrim, Alessandro Garcia, Willian Nalepa Oizumi, Ana Carla Bibiano, Daniel Oliveira, Miryung Kim, Anderson Oliveira
Characterizing and Identifying Composite Refactorings: Concepts, Heuristics and Patterns. MSR (2020)
Miryung Kim
Software Engineering for Data Analytics. IEEE Softw. 37 (4) (2020)
Qian Zhang, Jiyuan Wang, Muhammad Ali Gulzar, Rohan Padhye, Miryung Kim
BigFuzz: Efficient Fuzz Testing for Data Analytics Using Framework Abstraction. ASE (2020)
Bobby R. Bruce, Tianyi Zhang, Jaspreet Arora, Guoqing Harry Xu, Miryung Kim
JShrink: in-depth investigation into debloating modern Java applications. ESEC/SIGSOFT FSE (2020)
Konner Macias, Mihir Mathur, Bobby R. Bruce, Tianyi Zhang, Miryung Kim
WebJShrink: a web service for debloating Java bytecode. ESEC/SIGSOFT FSE (2020)
Jason Teoh, Muhammad Ali Gulzar, Miryung Kim
Influence-based provenance for dataflow applications with taint propagation. SoCC (2020)
Tianyi Zhang, Björn Hartmann, Miryung Kim, Elena L. Glassman
Enabling Data-Driven API Design with Community Usage Data: A Need-Finding Study. CHI (2020)
Jason Lau, Aishwarya Sivaraman, Qian Zhang, Muhammad Ali Gulzar, Jason Cong, Miryung Kim
HeteroRefactor: refactoring for heterogeneous computing with FPGA. ICSE (2020)
Muhammad Ali Gulzar, Shaghayegh Mardani, Madanlal Musuvathi, Miryung Kim
White-box testing of big data analytics with complex user-defined functions. ESEC/SIGSOFT FSE (2019)
Jason Teoh, Muhammad Ali Gulzar, Guoqing Harry Xu, Miryung Kim
PerfDebug: Performance Debugging of Computation Skew in Dataflow Systems. SoCC (2019)
Tianyi Zhang, Di Yang, Crista Lopes, Miryung Kim
Analyzing and supporting adaptation of online code examples. ICSE (2019)
Aishwarya Sivaraman, Tianyi Zhang, Guy Van den Broeck, Miryung Kim
Active inductive logic programming for code search. ICSE (2019)
Tianyi Zhang, Di Yang, Cristina Videira Lopes, Miryung Kim
Analyzing and Supporting Adaptation of Online Code Examples. CoRR (2019)
Christian Navasca, Cheng Cai, Khanh Nguyen, Brian Demsky, Shan Lu, Miryung Kim, Guoqing Harry Xu
Gerenuk: thin computation over big native data using speculative program transformation. SOSP (2019)
Tianyi Zhang, Cuiyun Gao, Lei Ma, Michael R. Lyu, Miryung Kim
An Empirical Study of Common Challenges in Developing Deep Learning Applications. ISSRE (2019)
Jason Teoh, Guoqing Harry Xu, Miryung Kim, Muhammad Ali Gulzar
PerfDebug: Performance Debugging of Computation Skew in Dataflow Systems. SoCC (2019)
Elena L. Glassman, Tianyi Zhang, Björn Hartmann, Miryung Kim
Visualizing API Usage Examples at Scale. CHI (2018)
Tianyi Zhang, Miryung Kim
Grafter: transplantation and differential testing for clones. ICSE (Companion Volume) (2018)
Miryung Kim, Thomas Zimmermann, Robert DeLine, Andrew Begel
Data scientists in software teams: state of the art and challenges. ICSE (2018)
Aishwarya Sivaraman, Tianyi Zhang, Guy Van den Broeck, Miryung Kim
Active Inductive Logic Programming for Code Search. CoRR (2018)
Miryung Kim, Thomas Zimmermann, Robert DeLine, Andrew Begel
Data Scientists in Software Teams: State of the Art and Challenges. IEEE Trans. Software Eng. 44 (11) (2018)
Tianyi Zhang, Ganesha Upadhyaya, Anastasia Reinhardt, Hridesh Rajan, Miryung Kim
Are code examples on an online Q&A forum reliable?: a study of API misuse on stack overflow. ICSE (2018)
Everton L. G. Alves, Myoungkyu Song, Tiago Massoni, Patrícia Duarte de Lima Machado, Miryung Kim
Refactoring Inspection Support for Manual Refactoring Edits. IEEE Trans. Software Eng. 44 (4) (2018)
Anastasia Reinhardt, Tianyi Zhang, Mihir Mathur, Miryung Kim
Augmenting stack overflow with API usage patterns mined from GitHub. ESEC/SIGSOFT FSE (2018)
Muhammad Ali Gulzar, Siman Wang, Miryung Kim
BigSift: automated debugging of big data analytics in data-intensive scalable computing. ESEC/SIGSOFT FSE (2018)
Matteo Interlandi, Ari Ekmekji, Kshitij Shah, Muhammad Ali Gulzar, Sai Deep Tetali, Miryung Kim, Todd D. Millstein, Tyson Condie
Adding data provenance support to Apache Spark. VLDB J. 27 (5) (2018)
Tianyi Zhang, Miryung Kim
Automated transplantation and differential testing for clones. ICSE (2017)
Jihun Park, Miryung Kim, Doo-Hwan Bae
An empirical study of supplementary patches in open source projects. Empir. Softw. Eng. 22 (1) (2017)
Muhammad Ali Gulzar, Matteo Interlandi, Xueyuan Han, Mingda Li, Tyson Condie, Miryung Kim
Automated debugging in data-intensive scalable computing. SoCC (2017)
Muhammad Ali Gulzar, Matteo Interlandi, Tyson Condie, Miryung Kim
. SIGMOD Conference (2017)
Xi Zheng, Christine Julien, Miryung Kim, Sarfraz Khurshid
Perceptions on the State of the Art in Verification and Validation in Cyber-Physical Systems. IEEE Syst. J. 11 (4) (2017)
Muhammad Ali Gulzar, Matteo Interlandi, Tyson Condie, Miryung Kim
BigDebug: interactive debugger for big data analytics in Apache Spark. SIGSOFT FSE (2016)
Everton L. G. Alves, Patrícia D. L. Machado, Tiago Massoni, Miryung Kim
Prioritizing test cases for early detection of refactoring faults. Softw. Test. Verification Reliab. 26 (5) (2016)
Muhammad Ali Gulzar, Xueyuan Han, Matteo Interlandi, Shaghayegh Mardani, Sai Deep Tetali, Todd D. Millstein, Miryung Kim
Interactive Debugging for Big Data Analytics. HotCloud (2016)
Matteo Interlandi, Sai Deep Tetali, Muhammad Ali Gulzar, Joseph Noor, Tyson Condie, Miryung Kim, Todd D. Millstein
Optimizing Interactive Development of Data-Intensive Applications. SoCC (2016)
Muhammad Ali Gulzar, Matteo Interlandi, Seunghyun Yoo, Sai Deep Tetali, Tyson Condie, Todd D. Millstein, Miryung Kim
BigDebug: debugging primitives for interactive big data processing in spark. ICSE (2016)
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
Connecting and Serving the Software Engineering Community. IEEE Trans. Software Eng. 42 (3) (2016)
Westley Weimer, Stephanie Forrest, Miryung Kim, Claire Le Goues, Patrick Hurley
Trusted Software Repair for System Resiliency. DSN Workshops (2016)
Miryung Kim, Thomas Zimmermann, Robert DeLine, Andrew Begel
The emerging role of data scientists on software development teams. ICSE (2016)
Matteo Interlandi, Kshitij Shah, Sai Deep Tetali, Muhammad Ali Gulzar, Seunghyun Yoo, Miryung Kim, Todd D. Millstein, Tyson Condie
Titian: Data Provenance Support in Spark. Proc. VLDB Endow. 9 (3) (2015)
Na Meng, Lisa Hua, Miryung Kim, Kathryn S. McKinley
Does Automated Refactoring Obviate Systematic Editing? ICSE (1) (2015)
Tianyi Zhang, Myoungkyu Song, Joseph Pinedo, Miryung Kim
Interactive Code Review for Systematic Changes. ICSE (1) (2015)
Tianyi Zhang, Myoungkyu Song, Miryung Kim
Critics: an interactive code review tool for searching and inspecting systematic changes. SIGSOFT FSE (2014)
Miryung Kim, Thomas Zimmermann, Nachiappan Nagappan
An Empirical Study of RefactoringChallenges and Benefits at Microsoft. IEEE Trans. Software Eng. 40 (7) (2014)
John Jacobellis, Na Meng, Miryung Kim
Cookbook: in situ code completion using edit recipes learned from examples. ICSE Companion (2014)
Everton L. G. Alves, Myoungkyu Song, Miryung Kim
RefDistiller: a refactoring aware code review tool for inspecting manual refactoring edits. SIGSOFT FSE (2014)
Jihun Park, Miryung Kim, Doo-Hwan Bae
An empirical study on reducing omission errors in practice. ASE (2014)
Tyler McDonnell, Baishakhi Ray, Miryung Kim
An Empirical Study of API Stability and Adoption in the Android Ecosystem. ICSM (2013)
Lingming Zhang, Miryung Kim, Sarfraz Khurshid
FaultTracer: a spectrum-based approach to localizing failure-inducing program edits. J. Softw. Evol. Process. 25 (12) (2013)
Baishakhi Ray, Miryung Kim, Suzette Person, Neha Rungta
Detecting and characterizing semantic inconsistencies in ported code. ASE (2013)
Miryung Kim, David Notkin, Dan Grossman, Gary Wilson Jr.
Identifying and Summarizing Systematic Code Changes via Rule Inference. IEEE Trans. Software Eng. 39 (1) (2013)
Na Meng, Miryung Kim, Kathryn S. McKinley
LASE: locating and applying systematic edits by learning from examples. ICSE (2013)
John Jacobellis, Na Meng, Miryung Kim
LASE: an example-based program transformation tool for locating and applying systematic edits. ICSE (2013)
Baishakhi Ray, Miryung Kim
A case study of cross-system porting in forked projects. SIGSOFT FSE (2012)
Kevin Boos, Chien-Liang Fok, Christine Julien, Miryung Kim
BRACE: An assertion framework for debugging cyber-physical systems. ICSE (2012)
Adam Duley, Chris Spandikow, Miryung Kim
Vdiff: a program differencing algorithm for Verilog hardware description language. Autom. Softw. Eng. 19 (4) (2012)
Baishakhi Ray, Christopher Wiley, Miryung Kim
REPERTOIRE: a cross-system porting analysis tool for forked software projects. SIGSOFT FSE (2012)
Guowei Yang, Sarfraz Khurshid, Miryung Kim
Specification-Based Test Repair Using a Lightweight Formal Method. FM (2012)
Lingming Zhang, Miryung Kim, Sarfraz Khurshid
FaultTracer: a change impact and regression fault analysis tool for evolving Java programs. SIGSOFT FSE (2012)
Jihun Park, Miryung Kim, Baishakhi Ray, Doo-Hwan Bae
An empirical study of supplementary bug fixes. MSR (2012)
Miryung Kim, Thomas Zimmermann, Nachiappan Nagappan
A field study of refactoring challenges and benefits. SIGSOFT FSE (2012)
Napol Rachatasumrit, Miryung Kim
An empirical investigation into the impact of refactoring on regression testing. ICSM (2012)
Lingming Zhang, Miryung Kim, Sarfraz Khurshid
Localizing failure-inducing program edits based on spectrum information. ICSM (2011)
Dongxiang Cai, Miryung Kim
An Empirical Study of Long-Lived Code Clones. FASE (2011)

Miryung Kim.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Miryung Kim