| 2021 | Thorpe, John and Qiao, Yifan and Eyolfson, Jonathan and Teng, Shen and Hu, Guanzhou and Jia, Zhihao and Wei, Jinliang and Vora, Keval and Netravali, Ravi and Kim, Miryung and others: Dorylus: Affordable, Scalable, and Accurate GNN Training over Billion-Edge Graphs. In: arXiv preprint arXiv:2105.11118, 2021, |
|---|
| 2020 | Deng, Yao and Zheng, Xi and Zhang, Tianyi and Chen, Chen and Lou, Guannan and Kim, Miryung: An analysis of adversarial attacks and defenses on autonomous driving models. 2020 IEEE International Conference on Pervasive Computing and Communications (PerCom). 2020. 1--10 |
|---|
| 2020 | Zhang, Qian and Wang, Jiyuan and Gulzar, Muhammad Ali and Padhye, Rohan and Kim, Miryung: Bigfuzz: Efficient fuzz testing for data analytics using framework abstraction. 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE). 2020. 722--733 |
|---|
| 2020 | Sousa, Leonardo and Cedrim, Diego and Garcia, Alessandro and Oizumi, Willian and Bibiano, Ana C and Oliveira, Daniel and Kim, Miryung and Oliveira, Anderson: Characterizing and identifying composite refactorings: Concepts, heuristics and patterns. Proceedings of the 17th International Conference on Mining Software Repositories. 2020. 186--197 |
|---|
| 2020 | Zhang, Tianyi and Hartmann, Björn and Kim, Miryung and Glassman, Elena L: Enabling data-driven api design with community usage data: A need-finding study. Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems. 2020. 1--13 |
|---|
| 2020 | Lau, Jason and Sivaraman, Aishwarya and Zhang, Qian and Gulzar, Muhammad Ali and Cong, Jason and Kim, Miryung: HeteroRefactor: refactoring for heterogeneous computing with FPGA. 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE). 2020. 493--505 |
|---|
| 2020 | Teoh, Jason and Gulzar, Muhammad Ali and Kim, Miryung: Influence-based provenance for dataflow applications with taint propagation. Proceedings of the 11th ACM Symposium on Cloud Computing. 2020. 372--386 |
|---|
| 2020 | Harel-Canada, Fabrice and Wang, Lingxiao and Gulzar, Muhammad Ali and Gu, Quanquan and Kim, Miryung: Is neuron coverage a meaningful measure for testing deep neural networks?. Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 2020. 851--862 |
|---|
| 2020 | Bruce, Bobby R and Zhang, Tianyi and Arora, Jaspreet and Xu, Guoqing Harry and Kim, Miryung: JShrink: in-depth investigation into debloating modern Java applications. Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 2020. 135--146 |
|---|
| 2020 | Wang, Chenxi and Ma, Haoran and Liu, Shi and Li, Yuanqi and Ruan, Zhenyuan and Nguyen, Khanh and Bond, Michael D and Netravali, Ravi and Kim, Miryung and Xu, Guoqing Harry: Semeru: A memory-disaggregated managed runtime. 14th $\{$USENIX$}$ Symposium on Operating Systems Design and Implementation ($\{$OSDI$}$ 20). 2020. 261--280 |
|---|
| 2020 | Kim, Miryung: Software engineering for data analytics. In: IEEE Software, 37, 2020, 36--42 |
|---|
| 2020 | Macias, Konner and Mathur, Mihir and Bruce, Bobby R and Zhang, Tianyi and Kim, Miryung: WebJShrink: a web service for debloating Java bytecode. Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 2020. 1665--1669 |
|---|
| 2019 | Sivaraman, Aishwarya and Zhang, Tianyi and Van den Broeck, Guy and Kim, Miryung: Active inductive logic programming for code search. 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE). 2019. 292--303 |
|---|
| 2019 | Zhang, Tianyi and Gao, Cuiyun and Ma, Lei and Lyu, Michael and Kim, Miryung: An empirical study of common challenges in developing deep learning applications. 2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE). 2019. 104--115 |
|---|
| 2019 | Zhang, Tianyi and Yang, Di and Lopes, Crista and Kim, Miryung: Analyzing and supporting adaptation of online code examples. 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE). 2019. 316--327 |
|---|
| 2019 | Navasca, Christian and Cai, Cheng and Nguyen, Khanh and Demsky, Brian and Lu, Shan and Kim, Miryung and Xu, Guoqing Harry: Gerenuk: thin computation over big native data using speculative program transformation. Proceedings of the 27th ACM Symposium on Operating Systems Principles. 2019. 538--553 |
|---|
| 2019 | Teoh, Jason and Gulzar, Muhammad Ali and Xu, Guoqing Harry and Kim, Miryung: Perfdebug: Performance debugging of computation skew in dataflow systems. Proceedings of the ACM Symposium on Cloud Computing. 2019. 465--476 |
|---|
| 2019 | Kim, Miryung and Meng, Na and Zhang, Tianyi: Software Evolution. Handbook of Software Engineering. Springer, Cham, 2019. 223--284 |
|---|
| 2019 | Gulzar, Muhammad Ali and Mardani, Shaghayegh and Musuvathi, Madanlal and Kim, Miryung: White-box testing of big data analytics with complex user-defined functions. Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 2019. 290--301 |
|---|
| 2018 | Interlandi, Matteo and Ekmekji, Ari and Shah, Kshitij and Gulzar, Muhammad Ali and Tetali, Sai Deep and Kim, Miryung and Millstein, Todd and Condie, Tyson: Adding data provenance support to Apache Spark. In: The VLDB Journal, 27, 2018, 595--615 |
|---|
| 2018 | Zhang, Tianyi and Upadhyaya, Ganesha and Reinhardt, Anastasia and Rajan, Hridesh and Kim, Miryung: Are code examples on an online Q\&A forum reliable?: a study of API misuse on stack overflow. 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE). 2018. 886--896 |
|---|
| 2018 | Reinhardt, Anastasia and Zhang, Tianyi and Mathur, Mihir and Kim, Miryung: Augmenting stack overflow with API usage patterns mined from GitHub. Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 2018. 880--883 |
|---|
| 2018 | Gulzar, Muhammad Ali and Wang, Siman and Kim, Miryung: Bigsift: Automated debugging of big data analytics in data-intensive scalable computing. Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 2018. 863--866 |
|---|
| 2018 | Zhang, Tianyi and Kim, Miryung: Grafter: transplantation and differential testing for clones. Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings. 2018. 422--423 |
|---|
| 2018 | Glassman, Elena L and Zhang, Tianyi and Hartmann, Björn and Kim, Miryung: Visualizing API usage examples at scale. Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems. 2018. 1--12 |
|---|
| 2017 | Park, Jihun and Kim, Miryung and Bae, Doo-Hwan: An empirical study of supplementary patches in open source projects. In: Empirical Software Engineering, 22, 2017, 436--473 |
|---|
| 2017 | Gulzar, Muhammad Ali and Interlandi, Matteo and Han, Xueyuan and Li, Mingda and Condie, Tyson and Kim, Miryung: Automated debugging in data-intensive scalable computing. Proceedings of the 2017 Symposium on Cloud Computing. 2017. 520--534 |
|---|
| 2017 | Zhang, Tianyi and Kim, Miryung: Automated transplantation and differential testing for clones. 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE). 2017. 665--676 |
|---|
| 2017 | Kim, Miryung and Zimmermann, Thomas and DeLine, Robert and Begel, Andrew: Data scientists in software teams: State of the art and challenges. In: IEEE Transactions on Software Engineering, 44, 2017, 1024--1038 |
|---|
| 2017 | Gulzar, Muhammad Ali and Interlandi, Matteo and Condie, Tyson and Kim, Miryung: Debugging big data analytics in spark with bigdebug. Proceedings of the 2017 ACM international conference on management of data. 2017. 1627--1630 |
|---|
| 2017 | Alves, Everton LG and Song, Myoungkyu and Massoni, Tiago and Machado, Patricia DL and Kim, Miryung: Refactoring inspection support for manual refactoring edits. In: IEEE Transactions on Software Engineering, 44, 2017, 365--383 |
|---|
| 2016 | Gulzar, Muhammad Ali and Interlandi, Matteo and Yoo, Seunghyun and Tetali, Sai Deep and Condie, Tyson and Millstein, Todd and Kim, Miryung: Bigdebug: Debugging primitives for interactive big data processing in spark. 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE). 2016. 784--795 |
|---|
| 2016 | Gulzar, Muhammad Ali and Interlandi, Matteo and Condie, Tyson and Kim, Miryung: Bigdebug: Interactive debugger for big data analytics in apache spark. Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering. 2016. 1033--1037 |
|---|
| 2016 | Gulzar, Muhammad Ali and Han, Xueyuan and Interlandi, Matteo and Mardani, Shaghayegh and Tetali, Sai Deep and Millstein, Todd and Kim, Miryung: Interactive debugging for big data analytics. 8th $\{$USENIX$}$ Workshop on Hot Topics in Cloud Computing (HotCloud 16). 2016. |
|---|
| 2016 | Interlandi, Matteo and Tetali, Sai Deep and Gulzar, Muhammad Ali and Noor, Joseph and Condie, Tyson and Kim, Miryung and Millstein, Todd: Optimizing interactive development of data-intensive applications. Proceedings of the Seventh ACM Symposium on Cloud Computing. 2016. 510--522 |
|---|
| 2016 | Kim, Miryung and Zimmermann, Thomas and DeLine, Robert and Begel, Andrew: The emerging role of data scientists on software development teams. 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE). 2016. 96--107 |
|---|
| 2016 | Weimer, Westley and Forrest, Stephanie and Kim, Miryung and Le Goues, Claire and Hurley, Patrick: Trusted software repair for system resiliency. 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W). 2016. 238--241 |
|---|
| 2015 | Meng, Na and Hua, Lisa and Kim, Miryung and McKinley, Kathryn S: Does automated refactoring obviate systematic editing?. 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering. 2015. 392--402 |
|---|
| 2015 | Zhang, Tianyi and Song, Myoungkyu and Pinedo, Joseph and Kim, Miryung: Interactive code review for systematic changes. 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering. 2015. 111--122 |
|---|
| 2015 | Zheng, Xi and Julien, Christine and Kim, Miryung and Khurshid, Sarfraz: Perceptions on the state of the art in verification and validation in cyber-physical systems. In: IEEE Systems Journal, 11, 2015, 2614--2627 |
|---|
| 2015 | Interlandi, Matteo and Shah, Kshitij and Tetali, Sai Deep and Gulzar, Muhammad Ali and Yoo, Seunghyun and Kim, Miryung and Millstein, Todd and Condie, Tyson: Titian: Data provenance support in spark. Proceedings of the VLDB Endowment International Conference on Very Large Data Bases. 2015. 216 |
|---|
| 2014 | Kim, Miryung and Zimmermann, Thomas and Nagappan, Nachiappan: An empirical study of refactoringchallenges and benefits at microsoft. In: IEEE Transactions on Software Engineering, 40, 2014, 633--649 |
|---|
| 2014 | Park, Jihun and Kim, Miryung and Bae, Doo-Hwan: An empirical study on reducing omission errors in practice. Proceedings of the 29th ACM/IEEE international conference on Automated software engineering. 2014. 121--126 |
|---|
| 2014 | Jacobellis, John and Meng, Na and Kim, Miryung: Cookbook: in situ code completion using edit recipes learned from examples. Companion Proceedings of the 36th International Conference on Software Engineering. 2014. 584--587 |
|---|
| 2014 | Zhang, Tianyi and Song, Myoungkyu and Kim, Miryung: 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. 2014. 755--758 |
|---|
| 2014 | Kim, Miryung and Meng, Na: Recommending program transformations. Recommendation Systems in Software Engineering. Springer, Berlin, Heidelberg, 2014. 421--453 |
|---|
| 2014 | Alves, Everton LG and Song, Myoungkyu and Kim, Miryung: 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. 2014. 751--754 |
|---|
| 2013 | McDonnell, Tyler and Ray, Baishakhi and Kim, Miryung: An empirical study of api stability and adoption in the android ecosystem. 2013 IEEE International Conference on Software Maintenance. 2013. 70--79 |
|---|
| 2013 | Zheng, Xi and Fok, Chien-Liang and Julien, Christine and Khurshid, Sarfraz and Kim, Miryung: Brace: Assertion-driven development of cyber-physical systems applications. In: Tech. Report TR-ARiSE-2013-001, University of Texas at Austin, 2013, |
|---|
| 2013 | Ray, Baishakhi and Kim, Miryung and Person, Suzette and Rungta, Neha: Detecting and characterizing semantic inconsistencies in ported code. 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE). 2013. 367--377 |
|---|
| 2013 | Zhang, Lingming and Kim, Miryung and Khurshid, Sarfraz: FaultTracer: a spectrum-based approach to localizing failure-inducing program edits. In: Journal of Software: Evolution and Process, 25, 2013, 1357--1383 |
|---|
| 2013 | Jacobellis, John and Meng, Na and Kim, Miryung: LASE: an example-based program transformation tool for locating and applying systematic edits. 2013 35th International Conference on Software Engineering (ICSE). 2013. 1319--1322 |
|---|
| 2013 | Meng, Na and Kim, Miryung and McKinley, Kathryn S: LASE: locating and applying systematic edits by learning from examples. 2013 35th International Conference on Software Engineering (ICSE). 2013. 502--511 |
|---|
| 2012 | Ray, Baishakhi and Kim, Miryung: A case study of cross-system porting in forked projects. Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. 2012. 1--11 |
|---|
| 2012 | Kim, Miryung and Zimmermann, Thomas and Nagappan, Nachiappan: A field study of refactoring challenges and benefits. Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. 2012. 1--11 |
|---|
| 2012 | Rachatasumrit, Napol and Kim, Miryung: An empirical investigation into the impact of refactoring on regression testing. 2012 28th ieee international conference on software maintenance (icsm). 2012. 357--366 |
|---|
| 2012 | Park, Jihun and Kim, Miryung and Ray, Baishakhi and Bae, Doo-Hwan: An empirical study of supplementary bug fixes. 2012 9th IEEE Working Conference on Mining Software Repositories (MSR). 2012. 40--49 |
|---|
| 2012 | Boos, Kevin and Fok, Chien-Liang and Julien, Christine and Kim, Miryung: Brace: An assertion framework for debugging cyber-physical systems. 2012 34th International Conference on Software Engineering (ICSE). 2012. 1341--1344 |
|---|
| 2012 | Zhang, Lingming and Kim, Miryung and Khurshid, Sarfraz: Faulttracer: a change impact and regression fault analysis tool for evolving java programs. Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. 2012. 1--4 |
|---|
| 2012 | Kim, Miryung and Notkin, David and Grossman, Dan and Wilson, Gary: Identifying and summarizing systematic code changes via rule inference. In: IEEE Transactions on Software Engineering, 39, 2012, 45--62 |
|---|
| 2012 | Ray, Baishakhi and Wiley, Christopher and Kim, Miryung: Repertoire: A cross-system porting analysis tool for forked software projects. Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. 2012. 1--4 |
|---|
| 2012 | Yang, Guowei and Khurshid, Sarfraz and Kim, Miryung: Specification-based test repair using a lightweight formal method. International Symposium on Formal Methods. 2012. 455--470 |
|---|
| 2012 | Duley, Adam and Spandikow, Chris and Kim, Miryung: Vdiff: a program differencing algorithm for Verilog hardware description language. In: Automated Software Engineering, 19, 2012, 459--490 |
|---|
| 2011 | Kim, Miryung and Cai, Dongxiang and Kim, Sunghun: An empirical investigation into the role of API-level refactorings during software evolution. Proceedings of the 33rd International Conference on Software Engineering. 2011. 151--160 |
|---|
| 2011 | Cai, Dongxiang and Kim, Miryung: An empirical study of long-lived code clones. International Conference on Fundamental Approaches to Software Engineering. 2011. 432--446 |
|---|
| 2011 | Kim, Miryung: An exploratory study of awareness interests about software modifications. Proceedings of the 4th International Workshop on Cooperative and Human Aspects of Software Engineering. 2011. 80--83 |
|---|
| 2011 | Wong, Sunny and Cai, Yuanfang and Kim, Miryung and Dalton, Michael: Detecting software modularity violations. Proceedings of the 33rd International Conference on Software Engineering. 2011. 411--420 |
|---|
| 2011 | Zhang, Lingming and Kim, Miryung and Khurshid, Sarfraz: Localizing failure-inducing program edits based on spectrum information. 2011 27th IEEE International Conference on Software Maintenance (ICSM). 2011. 23--32 |
|---|
| 2011 | Meng, Na and Kim, Miryung and McKinley, Kathryn S: Sydit: Creating and applying a program transformation from an example. Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering. 2011. 440--443 |
|---|
| 2011 | Meng, Na and Kim, Miryung and McKinley, Kathryn S: Systematic editing: generating program transformations from an example. In: ACM SIGPLAN Notices, 46, 2011, 329--342 |
|---|
| 2010 | Nguyen, Hoan Anh and Nguyen, Tung Thanh and Wilson Jr, Gary and Nguyen, Anh Tuan and Kim, Miryung and Nguyen, Tien N: A graph-based approach to API usage adaptation. In: ACM Sigplan Notices, 45, 2010, 302--321 |
|---|
| 2010 | Duley, Adam and Spandikow, Chris and Kim, Miryung: A program differencing algorithm for verilog HDL. Proceedings of the IEEE/ACM international conference on Automated software engineering. 2010. 477--486 |
|---|
| 2010 | Wu, Wei and Gu{\'e}h{\'e}neuc, Yann-Ga{\"e}l and Antoniol, Giuliano and Kim, Miryung: Aura: a hybrid approach to identify framework evolution. Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering-Volume 1. 2010. 325--334 |
|---|
| 2010 | Loh, Alex and Kim, Miryung: LSdiff: a program differencing tool to identify systematic structural differences. Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering-Volume 2. 2010. 263--266 |
|---|
| 2010 | Brown, Nanette and Cai, Yuanfang and Guo, Yuepu and Kazman, Rick and Kim, Miryung and Kruchten, Philippe and Lim, Erin and MacCormack, Alan and Nord, Robert and Ozkaya, Ipek and others: Managing technical debt in software-reliant systems. Proceedings of the FSE/SDP workshop on Future of software engineering research. 2010. 47--52 |
|---|
| 2010 | Kim, Miryung and Gee, Matthew and Loh, Alex and Rachatasumrit, Napol: Ref-finder: a refactoring reconstruction tool based on logic query templates. Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering. 2010. 371--372 |
|---|
| 2010 | Prete, Kyle and Rachatasumrit, Napol and Sudan, Nikita and Kim, Miryung: Template-based reconstruction of complex refactorings. 2010 IEEE International Conference on Software Maintenance. 2010. 1--10 |
|---|
| 2010 | Wright, Hyrum K and Kim, Miryung and Perry, Dewayne E: Validity concerns in software engineering research. Proceedings of the FSE/SDP workshop on Future of software engineering research. 2010. 411--414 |
|---|
| 2009 | Kim, Miryung and Notkin, David: Discovering and representing systematic code changes. 2009 IEEE 31st International Conference on Software Engineering. 2009. 309--319 |
|---|
| 2007 | Kim, Miryung and Notkin, David and Grossman, Dan: Automatic inference of structural changes for matching across program versions. 29th International Conference on Software Engineering (ICSE'07). 2007. 333--343 |
|---|
| 2007 | Adar, Eytan and Kim, Miryung: SoftGUESS: Visualization and exploration of code clones in context. 29th International Conference on Software Engineering (ICSE'07). 2007. 762--766 |
|---|
| 2007 | Kim, Miryung: Understanding and aiding code evolution by inferring change patterns. 29th International Conference on Software Engineering (ICSE'07 Companion). 2007. 101--102 |
|---|
| 2006 | Kim, Miryung and Notkin, David: Program element matching for multi-version program analyses. Proceedings of the 2006 international workshop on Mining software repositories. 2006. 58--64 |
|---|
| 2006 | Kim, Sunghun and Zimmermann, Thomas and Kim, Miryung and Hassan, Ahmed and Mockus, Audris and Girba, Tudor and Pinzger, Martin and Whitehead Jr, E James and Zeller, Andreas: TA-RE: An exchange language for mining software repositories. Proceedings of the 2006 international workshop on Mining software repositories. 2006. 22--25 |
|---|
| 2005 | Kim, Miryung and Sazawal, Vibha and Notkin, David and Murphy, Gail: 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. 187--196 |
|---|
| 2005 | Kim, Miryung and Notkin, David: Using a clone genealogy extractor for understanding and supporting evolution of code clones. In: ACM SIGSOFT Software Engineering Notes, 30, 2005, 1--5 |
|---|
| 2004 | Sazawal, Vibha and Kim, Miryung and Notkin, David: A study of evolution in the presence of source-derived partial design representations. Proceedings. 7th International Workshop on Principles of Software Evolution, 2004.. 2004. 21--30 |
|---|
| 2004 | Kim, Miryung and Bergman, Lawrence and Lau, Tessa and Notkin, David: An ethnographic study of copy and paste programming practices in OOPL. Proceedings. 2004 International Symposium on Empirical Software Engineering, 2004. ISESE'04.. 2004. 83--92 |
|---|
| 2002 | Scholtz, Jean and Arnstein, Larry and Kim, Miryung and Kindberg, Tim and Consolvo, Sunny: User-centered evaluations of ubicomp applications. In: Intel Corporation, 10, 2002, |
|---|
