Miryung Kim

Orcid: 0000-0003-3802-1512

Affiliations:
  • University of California, Los Angeles, USA
  • University of Texas at Austin, USA (former)
  • University of Washington, USA (former)


According to our database1, Miryung Kim authored at least 120 papers between 2004 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Natural Symbolic Execution-Based Testing for Big Data Analytics.
Proc. ACM Softw. Eng., 2024

ConServe: Harvesting GPUs for Low-Latency and High-Throughput Large Language Model Serving.
CoRR, 2024

Human-in-the-Loop Synthetic Text Data Inspection with Provenance Tracking.
CoRR, 2024

Fuzzing MLIR by Synthesizing Custom Mutations.
CoRR, 2024

DRust: Language-Guided Distributed Shared Memory with Fine Granularity, Full Transparency, and Ultra Efficiency.
Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation, 2024

Harvesting Idle Memory for Application-managed Soft State with Midas.
Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, 2024

Human-in-the-Loop Synthetic Text Data Inspection with Provenance Tracking.
Proceedings of the Findings of the Association for Computational Linguistics: NAACL 2024, 2024

Scaling Code Pattern Inference with Interactive What-If Analysis.
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

Measuring Psychological Depth in Language Models.
Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing, 2024

2023
A Declarative Metamorphic Testing Framework for Autonomous Driving.
IEEE Trans. Software Eng., April, 2023

Leveraging Hardware Probes and Optimizations for Accelerating Fuzz Testing of Heterogeneous Applications.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Co-dependence Aware Fuzzing for Dataflow-Based Big Data Analytics.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Canvas: Isolated and Adaptive Swapping for Multi-Applications on Remote Memory.
Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, 2023

Hermit: Low-Latency, High-Throughput, and Transparent Remote Memory via Feedback-Directed Asynchrony.
Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, 2023

NaturalFuzz: Natural Input Generation for Big Data Analytics.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Software Engineering for Data Intensive Scalable Computing and Heterogeneous Computing.
Proceedings of the IEEE/ACM International Conference on Software Engineering: Future of Software Engineering, 2023

2022
Canvas: Isolated and Adaptive Swapping for Multi-Applications on Remote Memory.
CoRR, 2022

Concept-Annotated Examples for Library Comparison.
Proceedings of the 35th Annual ACM Symposium on User Interface Software and Technology, 2022

Mako: a low-pause, high-throughput evacuating collector for memory-disaggregated datacenters.
Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

HeteroGen: transpiling C to heterogeneous HLS code with automated test generation and program repair.
Proceedings of the ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022, 2022

Sibylvariant Transformations for Robust Text Classification.
Proceedings of the Findings of the Association for Computational Linguistics: ACL 2022, 2022

2021
HeteroFuzz: fuzz testing to detect platform dependent divergence for heterogeneous applications.
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Dorylus: Affordable, Scalable, and Accurate GNN Training with Distributed CPU Servers and Serverless Threads.
Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation, 2021

QDiff: Differential Testing of Quantum Software Stacks.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Efficient Fuzz Testing for Apache Spark Using Framework Abstraction.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

BMT: Behavior Driven Development-based Metamorphic Testing for Autonomous Driving Models.
Proceedings of the 6th IEEE/ACM International Workshop on Metamorphic Testing, 2021

OptDebug: Fault-Inducing Operation Isolation for Dataflow Applications.
Proceedings of the SoCC '21: ACM Symposium on Cloud Computing, 2021

2020
Software Engineering for Data Analytics.
IEEE Softw., 2020

SE4ML - Software Engineering for AI-ML-based Systems (Dagstuhl Seminar 20091).
Dagstuhl Reports, 2020

RMT: Rule-based Metamorphic Testing for Autonomous Driving Models.
CoRR, 2020

An ensemble learning approach for software semantic clone detection.
CoRR, 2020

WebJShrink: a web service for debloating Java bytecode.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Is neuron coverage a meaningful measure for testing deep neural networks?
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

JShrink: in-depth investigation into debloating modern Java applications.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

An Analysis of Adversarial Attacks and Defenses on Autonomous Driving Models.
Proceedings of the 2020 IEEE International Conference on Pervasive Computing and Communications, 2020

Semeru: A Memory-Disaggregated Managed Runtime.
Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

Characterizing and Identifying Composite Refactorings: Concepts, Heuristics and Patterns.
Proceedings of the MSR '20: 17th International Conference on Mining Software Repositories, 2020

BigFuzz: Efficient Fuzz Testing for Data Analytics Using Framework Abstraction.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

HeteroRefactor: refactoring for heterogeneous computing with FPGA.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

BigTest: a symbolic execution based systematic test generation tool for Apache spark.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

Influence-based provenance for dataflow applications with taint propagation.
Proceedings of the SoCC '20: ACM Symposium on Cloud Computing, 2020

Enabling Data-Driven API Design with Community Usage Data: A Need-Finding Study.
Proceedings of the CHI '20: CHI Conference on Human Factors in Computing Systems, 2020

2019
Gerenuk: thin computation over big native data using speculative program transformation.
Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

White-box testing of big data analytics with complex user-defined functions.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

An Empirical Study of Common Challenges in Developing Deep Learning Applications.
Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

Active inductive logic programming for code search.
Proceedings of the 41st International Conference on Software Engineering, 2019

Analyzing and supporting adaptation of online code examples.
Proceedings of the 41st International Conference on Software Engineering, 2019

PerfDebug: Performance Debugging of Computation Skew in Dataflow Systems.
Proceedings of the ACM Symposium on Cloud Computing, SoCC 2019, 2019

Software Evolution.
Proceedings of the Handbook of Software Engineering., 2019

2018
Adding data provenance support to Apache Spark.
VLDB J., 2018

Data Scientists in Software Teams: State of the Art and Challenges.
IEEE Trans. Software Eng., 2018

Refactoring Inspection Support for Manual Refactoring Edits.
IEEE Trans. Software Eng., 2018

Augmenting stack overflow with API usage patterns mined from GitHub.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

BigSift: automated debugging of big data analytics in data-intensive scalable computing.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Are code examples on an online Q&A forum reliable?: a study of API misuse on stack overflow.
Proceedings of the 40th International Conference on Software Engineering, 2018

Grafter: transplantation and differential testing for clones.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Visualizing API Usage Examples at Scale.
Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems, 2018

2017
Perceptions on the State of the Art in Verification and Validation in Cyber-Physical Systems.
IEEE Syst. J., 2017

An empirical study of supplementary patches in open source projects.
Empir. Softw. Eng., 2017

Debugging Big Data Analytics in Spark with <i>BigDebug</i>.
Proceedings of the 2017 ACM International Conference on Management of Data, 2017

Automated transplantation and differential testing for clones.
Proceedings of the 39th International Conference on Software Engineering, 2017

Automated debugging in data-intensive scalable computing.
Proceedings of the 2017 Symposium on Cloud Computing, SoCC 2017, Santa Clara, CA, USA, 2017

2016
Connecting and Serving the Software Engineering Community.
IEEE Trans. Software Eng., 2016

Prioritizing test cases for early detection of refactoring faults.
Softw. Test. Verification Reliab., 2016

BigDebug: interactive debugger for big data analytics in Apache Spark.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

The emerging role of data scientists on software development teams.
Proceedings of the 38th International Conference on Software Engineering, 2016

BigDebug: debugging primitives for interactive big data processing in spark.
Proceedings of the 38th International Conference on Software Engineering, 2016

Interactive Debugging for Big Data Analytics.
Proceedings of the 8th USENIX Workshop on Hot Topics in Cloud Computing, 2016

Trusted Software Repair for System Resiliency.
Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2016

Optimizing Interactive Development of Data-Intensive Applications.
Proceedings of the Seventh ACM Symposium on Cloud Computing, 2016

Five steps for success.
Proceedings of the Perspectives on Data Science for Software Engineering, 2016

2015
Titian: Data Provenance Support in Spark.
Proc. VLDB Endow., 2015

Interactive Code Review for Systematic Changes.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Does Automated Refactoring Obviate Systematic Editing?
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014
An Empirical Study of RefactoringChallenges and Benefits at Microsoft.
IEEE Trans. Software Eng., 2014

Critics: an interactive code review tool for searching and inspecting systematic changes.
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

RefDistiller: a refactoring aware code review tool for inspecting manual refactoring edits.
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

An empirical study on reducing omission errors in practice.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Cookbook: in situ code completion using edit recipes learned from examples.
Proceedings of the 36th International Conference on Software Engineering, 2014

Recommending Program Transformations - Automating Repetitive Software Changes.
Proceedings of the Recommendation Systems in Software Engineering, 2014

2013
Identifying and Summarizing Systematic Code Changes via Rule Inference.
IEEE Trans. Software Eng., 2013

FaultTracer: a spectrum-based approach to localizing failure-inducing program edits.
J. Softw. Evol. Process., 2013

Detecting and characterizing semantic inconsistencies in ported code.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

An Empirical Study of API Stability and Adoption in the Android Ecosystem.
Proceedings of the 2013 IEEE International Conference on Software Maintenance, 2013

LASE: locating and applying systematic edits by learning from examples.
Proceedings of the 35th International Conference on Software Engineering, 2013

LASE: an example-based program transformation tool for locating and applying systematic edits.
Proceedings of the 35th International Conference on Software Engineering, 2013

2012
Vdiff: a program differencing algorithm for Verilog hardware description language.
Autom. Softw. Eng., 2012

FaultTracer: a change impact and regression fault analysis tool for evolving Java programs.
Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

REPERTOIRE: a cross-system porting analysis tool for forked software projects.
Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

A case study of cross-system porting in forked projects.
Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

A field study of refactoring challenges and benefits.
Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

An empirical study of supplementary bug fixes.
Proceedings of the 9th IEEE Working Conference of Mining Software Repositories, 2012

An empirical investigation into the impact of refactoring on regression testing.
Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012

BRACE: An assertion framework for debugging cyber-physical systems.
Proceedings of the 34th International Conference on Software Engineering, 2012

Specification-Based Test Repair Using a Lightweight Formal Method.
Proceedings of the FM 2012: Formal Methods, 2012

2011
Sydit: creating and applying a program transformation from an example.
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Systematic editing: generating program transformations from an example.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Localizing failure-inducing program edits based on spectrum information.
Proceedings of the IEEE 27th International Conference on Software Maintenance, 2011

Detecting software modularity violations.
Proceedings of the 33rd International Conference on Software Engineering, 2011

An empirical investigation into the role of API-level refactorings during software evolution.
Proceedings of the 33rd International Conference on Software Engineering, 2011

An exploratory study of awareness interests about software modifications.
Proceedings of the 4th International Workshop on Cooperative and Human Aspects of Software Engineering, 2011

An Empirical Study of Long-Lived Code Clones.
Proceedings of the Fundamental Approaches to Software Engineering, 2011

2010
Validity concerns in software engineering research.
Proceedings of the Workshop on Future of Software Engineering Research, 2010

Ref-Finder: a refactoring reconstruction tool based on logic query templates.
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

Managing technical debt in software-reliant systems.
Proceedings of the Workshop on Future of Software Engineering Research, 2010

A graph-based approach to API usage adaptation.
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

A program differencing algorithm for verilog HDL.
Proceedings of the ASE 2010, 2010

Template-based reconstruction of complex refactorings.
Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

AURA: a hybrid approach to identify framework evolution.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

LSdiff: a program differencing tool to identify systematic structural differences.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009
Discovering and representing systematic code changes.
Proceedings of the 31st International Conference on Software Engineering, 2009

2007
Automatic Inference of Structural Changes for Matching across Program Versions.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Understanding and Aiding Code Evolution by Inferring Change Patterns.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

SoftGUESS: Visualization and Exploration of Code Clones in Context.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

2006
TA-RE: an exchange language for mining software repositories.
Proceedings of the 2006 International Workshop on Mining Software Repositories, 2006

Program element matching for multi-version program analyses.
Proceedings of the 2006 International Workshop on Mining Software Repositories, 2006

2005
Using a clone genealogy extractor for understanding and supporting evolution of code clones.
ACM SIGSOFT Softw. Eng. Notes, 2005

An empirical study of code clone genealogies.
Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

2004
A Study of Evolution in the Presence of Source-Derived Partial Design Representations.
Proceedings of the 7th International Workshop on Principles of Software Evolution (IWPSE 2004), 2004

An Ethnographic Study of Copy and Paste Programming Practices in OOPL.
Proceedings of the 2004 International Symposium on Empirical Software Engineering (ISESE 2004), 2004


  Loading...