Identifying Opportunities for Functionality Reduction

• Tianyi Zhang, Miryung Kim, "Automated Transplantation and Differential Testing for Clones", ICSE' 17: Proceedings of 39th IEEE/ACM International Conference on Software Engineering, pages 665-676. [PDF][Talk]
• Lu Fang, Liang Dou, and Guoqing Xu, " PerfBlower: Quickly Detecting Memory-Related Performance Problems via Amplification", European Conference on Object Oriented Programming, Prague, Czech Republic, July 2015. [PDF][Talk]
• Tianyi Zhang, Myoungkyu Song, Joseph Pinedo, Miryung Kim, "Interactive Code Review for Systematic Changes", ICSE' 15: Proceedings of 37th IEEE/ACM International Conference on Software Engineering, pages 111-122. [PDF][Talk]
• Na Meng, Miryung Kim, Kathryn McKinley, "LASE: Locating and Applying Systematic Edits by Learning from Examples",  ICSE '13: Proceedings of 35th IEEE/ACM International Conference on Software Engineering, pages 502-511. [PDF][Talk]
• Khanh Nguyen and Guoqing Xu, "Cachetor: Detecting Cacheable Data to Remove Bloat", ACM SIGSOFT Symposium on the Foundations of Software Engineering, Saint Petersburg, Russia, August 2013. [PDF][Talk]
• Guoqing Xu, "Resurrector: A Tunable Object Lifetime Profiling Technique for Optimizing Real-World Programs", ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications, Indianapolis, IN, October 2013. [PDF][Talk][Implementation]
• Guoqing Xu, "Finding Reusable Data Structures", ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, Tucson, AZ, October 2012. [PDF][Talk]
• Na Meng, Miryung Kim, Kathryn S. McKinley, "Systematic Editing: Generating Program Transformations from an Example", PLDI' 11: Proceedings of the 32nd ACM SIGPLAN conference on Programming Language Design and Implementation, pages 329-342. [PDF][Talk]
• Dongxiang Cai and Miryung Kim, "An Empirical Study of Long-Lived Code Clones", FASE' 11: Proceedings of the Fundamental Approaches to Software Engineering, pages 432-446. [PDF][Talk] 
• Guoqing Xu, Michael Bond, Feng Qin, and Atanas Rountev, "LeakChaser: Helping Programmers Narrow Down Causes of Memory Leaks", ACM SIGPLAN Conference on Programming Language Design and Implementation, San Jose, CA, June 2011. [PDF][Implementation] [Talk]
• Guoqing Xu, Nick Mitchell, Matthew Arnold, Atanas Rountev, Edith Schonberg, and Gary Sevitsky,
  "Finding Low-Utility Data Structures", ACM SIGPLAN Conference on Programming Language Design and Implementation, Toronto, Canada, June 2010. [PDF][Talk]
• Guoqing Xu, Matthew Arnold, Nick Mitchell, Atanas Rountev, Gary Sevitsky, "Go with the Flow: Profiling Copies to Find Runtime Bloat", ACM SIGPLAN Conference on Programming Language Design and Implementation, Dublin, Ireland, June 2009. [PDF][Talk]
• Guoqing Xu, Atanas Rountev, "Precise Memory Leak Detection for Java Software Using Container Profiling", ACM SIGSOFT/IEEE International Conference on Software Engineering, Leipzig, Germany, May 2008. [PDF][Talk]
  Won an ACM SIGSOFT Distinguished Paper Award.
  Invited talk at ISEC'09
• Eytan Adar, Miryung Kim, "SoftGUESS: Visualization and Exploration of Code Clones in Context", ICSE '07: Proceedings of the 29th international conference on Software Engineering, pages 762-766, Publisher: IEEE DOI
• Miryung Kim, Vibha Sazawal, David Notkin, Gail Murphy, "An empirical study of code clone genealogies", ESEC/FSE' 05: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering, pages 187-196, Publisher: ACM [PDF][Talk]

        Nominated for ACM SIGSOFT Distinguished Paper Award. 

• Miryung Kim, Lawrence Bergman, Tessa Lau, David Notkin, "An Ethnographic Study of Copy and Paste Programming Practices in OOPL", ISESE '04: Proceedings of the 2004 International Symposium on Empirical Software Engineering, pages 21-30, Publisher: IEEE [PDF][Talk]

Debloating

• Na Meng, Lisa Hua, Miryung Kim, and Kathryn McKinley, "Does Automated Refactoring Obviate Systematic Editing?", ICSE' 15: Proceedings of 37th IEEE/ACM International Conference on Software Engineering, pages 392-402. [PDF][Talk]
• Guoqing Xu, Dacong Yan, Atanas Rountev, "Static Detection of Loop-Invariant Data Structures", European Conference on Object-Oriented Programming, Beijing, China, June 2012. [PDF][Talk]
• Dacong Yan, Guoqing Xu, and Atanas Rountev, "Demand-Driven Context-Sensitive Alias Analysis for Java", ACM SIGSOFT International Symposium on Software Testing and Analysis, Toronto, Canada, July 2011. [PDF][Talk]
• Guoqing Xu and Atanas Rountev, "Detecting Inefficiently-Used Containers to Avoid Bloat", ACM SIGPLAN Conference on Programming Language Design and Implementation, Toronto, Canada, June 2010. [PDF][Talk]
• Guoqing Xu, Atanas Rountev, "Merging Equivalent Contexts for Scalable Heap-cloning-based Context-sensitive Points-to Analysis", ACM SIGSOFT International Symposium on Software Testing and Analysis, Seattle, Washington, July 2008. [PDF][Talk]

Delayering

• Mayur Naik and Jens Palsberg. "Compiling with code-size constraints". ACM Transactions on Embedded Computing Systems, 3(1):163–181, 2004. Preliminary version in Proceedings of LCTES’02, Languages, Compilers, and Tools for Embedded Systems joint with SCOPES’02, Software and Compilers for Embedded Systems, pages 120–129, Berlin, Germany, June 2002. [PDF]
• Frank Tip and Jens Palsberg, "Scalable propagation-based call graph construction algorithms", In Proceedings of OOPSLA’00, ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, pages 281–293, Minneapolis, Minnesota, October 2000. [PDF]
• Jens Palsberg and Christina Pavlopoulou, “From polyvariant flow information to intersection and union types“, Journal of Functional Programming, 11(3):263–317, May 2001. Preliminary version in Proceedings of POPL’98, 25th Annual SIGPLAN–SIGACT Symposium on Principles of Programming Languages, pages 197–208, San Diego, California, January 1998. [PDF]