| 2025 | ICSE | Lightweight Concolic Testing via Path-Condition Synthesis for Deep Learning Libraries. | Sehoon Kim, Yonghyeon Kim, Dahyeon Park, Yuseok Jeon, Jooyong Yi, Mijung Kim |
| 2025 | SP | CMASan: Custom Memory Allocator-aware Address Sanitizer. | Junwha Hong, Wonil Jang, Mijung Kim, Lei Yu, Yonghwi Kwon, Yuseok Jeon |
| 2025 | SANER | How Effective are Large Language Models in Generating Software Specifications? | Danning Xie, Byoung-Joo Yoo, Nan Jiang, Mijung Kim, Lin Tan, Xiangyu Zhang, Judy S. Lee |
| 2024 | ECCV | Linearly Controllable GAN: Unsupervised Feature Categorization and Decomposition for Image Generation and Manipulation. | Sehyung Lee, Mijung Kim, Yeongnam Chae, Bjrn Stenger |
| 2024 | ISCAS | Constrained Sorter Design using Zero-One Principle. | Sangil Han, Jaehee Kim, Dongyun Kam, Byeong Yong Kong, Mijung Kim, Young-Seok Kim, Youngjoo Lee |
| 2024 | ISSRE | Testing Diverse Geographical Features of Autonomous Driving Systems. | Seongdeok Seo, Judy S. Lee, Mijung Kim |
| 2023 | MVA | Age Prediction From Face Images Via Contrastive Learning. | Yeongnam Chae, Poulami Raha, Mijung Kim, Bjrn Stenger |
| 2023 | WACV | Multi-scale Cell-based Layout Representation for Document Understanding. | Yuzhi Shi, Mijung Kim, Yeongnam Chae |
| 2022 | ISSTA | DocTer: documentation-guided fuzzing for testing deep learning API functions. | Danning Xie, Yitong Li, Mijung Kim, Hung Viet Pham, Lin Tan, Xiangyu Zhang, Michael W. Godfrey |
| 2021 | EMNLP | Novel Natural Language Summarization of Program Code via Leveraging Multiple Input Representations. | Fuxiang Chen, Mijung Kim, Jaegul Choo |
| 2017 | CLOUD | Sparkle: optimizing spark for large memory machines and analytics. | Mijung Kim, Jun Li, Haris Volos, Manish Marwah, Alexander Ulanov, Kimberly Keeton, Joseph A. Tucek, Lucy Cherkasova, Le Xu, Pradeep Fernando |
| 2014 | CIKM | Efficient Static and Dynamic In-Database Tensor Decompositions on Chunk-Based Array Stores. | Mijung Kim, K. Seluk Candan |
| 2014 | CIKM | TensorDB: In-Database Tensor Manipulation with Tensor-Relational Query Plans. | Mijung Kim, K. Seluk Candan |
| 2014 | SIGMOD | Palette: enabling scalable analytics for big-memory, multicore machines. | Fei Chen, Tere Gonzalez, Jun Li, Manish Marwah, Jim Pruyne, Krishnamurthy Viswanathan, Mijung Kim |
| 2012 | AMIA | Systematic Modeling, Testing, and Monitoring of Information Integrity in Federated Ontology-driven Data Sources. | Mijung Kim, Jake Cobb, Tahsin M. Kur, Alessandro Orso, Mary Jean Harrold, Andrew R. Post, Shamkant B. Navathe, Joel H. Saltz |
| 2012 | CIKM | Decomposition-by-normalization (DBN): leveraging approximate functional dependencies for efficient tensor decomposition. | Mijung Kim, K. Seluk Candan |
| 2012 | ISSTA | Efficient regression testing of ontology-driven systems. | Mijung Kim, Jake Cobb, Mary Jean Harrold, Tahsin M. Kur, Alessandro Orso, Joel H. Saltz, Andrew R. Post, Kunal Malhotra, Shamkant B. Navathe |
| 2011 | CIKM | Approximate tensor decomposition within a tensor-relational algebraic framework. | Mijung Kim, Kasim Seluk Candan |
| 2010 | ICST | Automated Bug Neighborhood Analysis for Identifying Incomplete Bug Fixes. | Mijung Kim, Saurabh Sinha, Carsten Grg, Hina Shah, Mary Jean Harrold, Mangala Gowri Nanda |
| 2009 | ISSTA | Fault localization and repair for Java runtime exceptions. | Saurabh Sinha, Hina Shah, Carsten Grg, Shujuan Jiang, Mijung Kim, Mary Jean Harrold |