Research Publications
Teaching SEAL CV Software Funding Activities


Miryung Kim

Assistant Professor
Electrical and Computer Engineering
The University of Texas at Austin
ACES 5.118, C5000
201 E 24th Street
Austin, TX 78712-0240
TEL: (512) 232-1501
FAX: (512) 471-5120

Administrative Support:
Ms. RoseAnna Goewey
TEL: (512) 232-3343

Research Interests

My research focuses on software engineering, specifically on software evolution. My research group, Software Evolution and Analysis Laboratory, develops program analysis algorithms and development tools to make it easier to develop and evolve large scale software systems. SEAL's mission is to improve programmer productivity and program correctness. We design, implement, and evaluate automated software analysis algorithms and tools. We also conduct user studies with professional software engineers and carry out statistical analysis of open source project data to allow data-driven decisions for designing novel software engineering tools. 

You can read more about current research projects at SEAL. Many of my publications and software tools are available on-line. Please find my CV here.

Topics: Software engineering, software evolution

  • automated program transformation, refactoring (see our LASE project) 
  • mining software archives, analytical support for investigating software modification (see our CHIME project) 
  • refactoring, empirical studies (see our CRITICS project)
  • runtime verification, cyber-physical systems (see our BRACE project)


Miryung Kim has been an assistant professor in the Department of Electrical and Computer Engineering at the University of Texas at Austin since 2009. She received her B.S. in Computer Science from Korea Advanced Institute of Science and Technology in 2001 and her M.S. and Ph.D. in Computer Science and Engineering from the University of Washington under the supervision of Dr. David Notkin in 2003 and 2008 respectively. She received an NSF CAREER award in 2011, a Microsoft Software Engineering Innovation Foundation Award in 2011, an IBM Jazz Innovation Award in 2009, and a Google Faculty Research Award in 2014. She also spent time as a visiting researcher at the Research in Software Engineering (RiSE) group at Microsoft Research during the summer of 2011. She ranked No. 1 among all engineering and science students in KAIST in 2001 and received the Korean Ministry of Education, Science, and Technology Award, the highest honor given to an undergraduate student in Korea in 2001. 

I am actively recruiting strong students who are interested in software engineering. I am interested in new colleagues at all levels: undergraduates, graduate students, and post-docs.


Kim receives a Google Faculty Research Award.
Kim is serving on ICSE 2015 program committees.
Our NSF CPS grant is awarded.
Kim is serving on FSE 2014 and ICSE 2014 program committees. 
Our papers on example-based program transformation are accepted to ICSE 2013 and ICSE 2013 demo.
Please check out the demonstration video of our example-based program transformation tool, LASE Eclipse plug-in.
Our paper on cross-system porting is accepted to FSE 2012.
Our paper on the field study of refactoring benefits and challenges is accepted to FSE 2012.
Our paper on Repertoire is accepted to FSE 2012 formal demonstration track and the tool is available now. 
Kim is serving on OOPSLA/SPLASH 2012 program committee.
Our paper on Vdiff is accepted to Journal of Automated Software Engineering.
Our paper on change rule inference is accepted to TSE. 
Kim is invited to a panel at the CRA Career Mentoring Workshop in DC.
Kim receives an NSF CAREER award.
NSF REU grant is awarded.
Kim is creating a new Software Engineering and Design Laboratory class, EE461L.
NSF CCF SHF grant is awarded.
Kim is visiting Microsoft Research, the RiSE (Research in Software Engineering) group.
Kim receives 2011 Microsoft Software Engineering Innovation Foundation Award.
Our paper on edit script derivation is accepted to PLDI 2011.
Our empirical study on refactoring and bug fixes is accepted to ICSE 2011.
Our paper on modularity violation detection is accepted to ICSE 2011.
A code clone study paper is accepted to FASE 2011.
A Verilog program differencing algorithm has won ACM SIGSOFT Distinguished Paper Award at ASE 2011.
NSF-SHF-EAGER grant is awarded.
Ref-Finder Eclipse plug-in is available now (See our FSE 2010 demo paper).
Kim receives 2009 IBM Jazz Innovation Award.