Travelled to:1 × Belgium
1 × Canada
1 × France
1 × Germany
1 × Hungary
1 × Portugal
1 × Romania
1 × South Africa
1 × Sweden
1 × The Netherlands
10 × USA
2 × China
2 × Italy
2 × Switzerland
Collaborated with:D.Notkin B.Ray K.S.McKinley N.Meng S.Khurshid N.Rachatasumrit M.Song D.Cai M.A.Gulzar A.Loh L.Zhang T.Zhang J.Park D.Bae E.Adar T.Zimmermann S.Kim L.Hua E.L.G.Alves J.Jacobellis T.McDonnell G.Yang N.Nagappan C.Wiley A.Duley C.Spandikow D.Grossman S.Wang J.Pinedo S.Person N.Rungta K.Boos C.Fok C.Julien S.Wong Y.Cai M.Dalton M.Gee W.Wu Y.Guéhéneuc G.Antoniol K.Prete N.Sudan V.Sazawal G.C.Murphy M.Interlandi T.Condie A.Reinhardt T.Z.0001 M.Mathur S.Mardani M.Musuvathi H.A.Nguyen T.T.Nguyen G.W.Jr. A.T.Nguyen T.N.Nguyen A.E.Hassan A.Mockus T.Gîrba M.Pinzger E.J.W.Jr. A.Zeller
Talks about:program (10) code (9) systemat (8) refactor (8) studi (7) empir (7) tool (7) edit (6) base (6) clone (5)
♂ Person: Miryung Kim
DBLP: Kim:Miryung
Facilitated 5 volumes:
PrCoPrCoPrCoPosterChPrCoContributed to:
2015
2014
201420132013
2013
20122012201220122012
2011
201120112011
20112010201020102010
201020092007200620052005201620182019Wrote 40 papers:
- ICSE-v1-2015-HuaKM #automation #editing #question #refactoring
- Does Automated Refactoring Obviate Systematic Editing? (LH, MK, KSM), pp. 392–402.
- ICSE-v1-2015-ZhangSPK #code review #interactive #overview
- Interactive Code Review for Systematic Changes (TZ, MS, JP, MK), pp. 111–122.
- ASE-2014-ParkKB #empirical #fault
- An empirical study on reducing omission errors in practice (JP, MK, DHB), pp. 121–126.
- FSE-2014-AlvesSK #code review #named #overview #refactoring
- RefDistiller: a refactoring aware code review tool for inspecting manual refactoring edits (ELGA, MS, MK), pp. 751–754.
- FSE-2014-ZhangSK #code review #interactive #named #overview
- Critics: an interactive code review tool for searching and inspecting systematic changes (TZ, MS, MK), pp. 755–758.
- ASE-2013-RayKPR #consistency #detection #nondeterminism #semantics
- Detecting and characterizing semantic inconsistencies in ported code (BR, MK, SP, NR), pp. 367–377.
- ICSE-2013-JacobellisMK #named #program transformation
- LASE: an example-based program transformation tool for locating and applying systematic edits (JJ, NM, MK), pp. 1319–1322.
- ICSE-2013-MengKM #learning #named
- LASE: locating and applying systematic edits by learning from examples (NM, MK, KSM), pp. 502–511.
- ICSM-2013-McDonnellRK #android #api #ecosystem #empirical
- An Empirical Study of API Stability and Adoption in the Android Ecosystem (TM, BR, MK), pp. 70–79.
- FM-2012-YangKK #formal method #lightweight #using
- Specification-Based Test Repair Using a Lightweight Formal Method (GY, SK, MK), pp. 455–470.
- FSE-2012-KimZN #case study #challenge #refactoring
- A field study of refactoring challenges and benefits (MK, TZ, NN), p. 50.
- FSE-2012-RayK #case study #migration
- A case study of cross-system porting in forked projects (BR, MK), p. 53.
- FSE-2012-RayWK #analysis #migration #named
- REPERTOIRE: a cross-system porting analysis tool for forked software projects (BR, CW, MK), p. 8.
- FSE-2012-ZhangKK #evolution #fault #impact analysis #java #named #source code
- FaultTracer: a change impact and regression fault analysis tool for evolving Java programs (LZ, MK, SK), p. 40.
- ICSE-2012-BoosFJK #cyber-physical #debugging #framework #named
- BRACE: An assertion framework for debugging cyber-physical systems (KB, CLF, CJ, MK), pp. 1341–1344.
- ICSM-2012-RachatasumritK #empirical #refactoring #testing
- An empirical investigation into the impact of refactoring on regression testing (NR, MK), pp. 357–366.
- MSR-2012-ParkKRB #debugging #empirical
- An empirical study of supplementary bug fixes (JP, MK, BR, DHB), pp. 40–49.
- ESEC-FSE-2011-MengKM #named #program transformation
- Sydit: creating and applying a program transformation from an example (NM, MK, KSM), pp. 440–443.
- FASE-2011-CaiK #empirical
- An Empirical Study of Long-Lived Code Clones (DC, MK), pp. 432–446.
- ICSE-2011-KimCK #empirical #evolution #refactoring
- An empirical investigation into the role of API-level refactorings during software evolution (MK, DC, SK), pp. 151–160.
- ICSE-2011-WongCKD #composition #detection
- Detecting software modularity violations (SW, YC, MK, MD), pp. 411–420.
- ICSM-2011-ZhangKK
- Localizing failure-inducing program edits based on spectrum information (LZ, MK, SK), pp. 23–32.
- PLDI-2011-MengKM #editing #generative #program transformation
- Systematic editing: generating program transformations from an example (NM, MK, KSM), pp. 329–342.
- ASE-2010-DuleySK #algorithm #difference
- A program differencing algorithm for verilog HDL (AD, CS, MK), pp. 477–486.
- FSE-2010-KimGLR #logic #named #query #re-engineering #refactoring
- Ref-Finder: a refactoring reconstruction tool based on logic query templates (MK, MG, AL, NR), pp. 371–372.
- ICSE-2010-LohK #difference #identification #named
- LSdiff: a program differencing tool to identify systematic structural differences (AL, MK), pp. 263–266.
- ICSE-2010-WuGAK #approach #evolution #framework #hybrid #identification #named
- AURA: a hybrid approach to identify framework evolution (WW, YGG, GA, MK), pp. 325–334.
- ICSM-2010-PreteRSK #re-engineering #refactoring
- Template-based reconstruction of complex refactorings (KP, NR, NS, MK), pp. 1–10.
- OOPSLA-2010-NguyenNWNKN #adaptation #api #approach #graph
- A graph-based approach to API usage adaptation (HAN, TTN, GWJ, ATN, MK, TNN), pp. 302–321.
- ICSE-2009-KimN #representation
- Discovering and representing systematic code changes (MK, DN), pp. 309–319.
- ICSE-2007-AdarK #named #visualisation
- SoftGUESS: Visualization and Exploration of Code Clones in Context (EA, MK), pp. 762–766.
- ICSE-2007-KimNG #automation
- Automatic Inference of Structural Changes for Matching across Program Versions (MK, DN, DG), pp. 333–343.
- MSR-2006-KimN #analysis #multi
- Program element matching for multi-version program analyses (MK, DN), pp. 58–64.
- MSR-2006-KimZKHMGPWZ #mining #named #repository
- TA-RE: an exchange language for mining software repositories (SK, TZ, MK, AEH, AM, TG, MP, EJWJ, AZ), pp. 22–25.
- ESEC-FSE-2005-KimSN #empirical
- An empirical study of code clone genealogies (MK, VS, DN, GCM), pp. 187–196.
- MSR-2005-KimN #comprehension #evolution #using
- Using a clone genealogy extractor for understanding and supporting evolution of code clones (MK, DN), pp. 1–5.
- FSE-2016-GulzarICK #big data #data analysis #debugging #interactive #named
- BigDebug: interactive debugger for big data analytics in Apache Spark (MAG, MI, TC, MK), pp. 1033–1037.
- ESEC-FSE-2018-GulzarWK #automation #big data #data analysis #data-driven #debugging #named #scalability
- BigSift: automated debugging of big data analytics in data-intensive scalable computing (MAG, SW, MK), pp. 863–866.
- ESEC-FSE-2018-Reinhardt0MK #api #git #stack overflow
- Augmenting stack overflow with API usage patterns mined from GitHub (AR, TZ0, MM, MK), pp. 880–883.
- ESEC-FSE-2019-GulzarMMK #big data #data analysis #testing
- White-box testing of big data analytics with complex user-defined functions (MAG, SM, MM, MK), pp. 290–301.