| 2026 | AAAI | Timestep-Compressed Attack on Spiking Neural Networks Through Timestep-Level Backpropagation. | Donghwa Kang, Doohyun Kim, Sang-Ki Ko, Jinkyu Lee, Hyeongboo Baek, Brent ByungHoon Kang |
| 2026 | ACL | ContractEval: A Benchmark for Evaluating Contract-Satisfying Assertions in Code Generation. | Soohan Lim, Joonghyuk Hahn, Hyunwoo Park, Sang-Ki Ko, Yo-Sub Han |
| 2025 | CIKM | Imputing Multi-Agent Trajectories from Event and Snapshot Data in Soccer. | Geonhee Jo, Miru Hong, Han-Jun Choi, Minho Lee, Pascal Bauer, Sang-Ki Ko |
| 2025 | EMNLP | CodeComplex: Dataset for Worst-Case Time Complexity Prediction. | Seung-Yeop Baik, Joonghyuk Hahn, Jungin Kim, Aditi, Mingi Jeon, Yo-Sub Han, Sang-Ki Ko |
| 2025 | IJCAI | LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming. | Sicheol Sung, Aditi, Dogyu Kim, Yo-Sub Han, Sang-Ki Ko |
| 2023 | DLT | On the Simon's Congruence Neighborhood of Languages. | Sungmin Kim, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa |
| 2023 | EMNLP | GDA: Grammar-based Data Augmentation for Text Classification using Slot Information. | Joonghyuk Hahn, Hyunjoon Cheon, Elizabeth Orwig, Su-Hyeon Kim, Sang-Ki Ko, Yo-Sub Han |
| 2023 | ESOP | Automated Grading of Regular Expressions. | Su-Hyeon Kim, Youngwook Kim, Yo-Sub Han, Hyeonseung Im, Sang-Ki Ko |
| 2023 | KDD | Ball Trajectory Inference from Multi-Agent Sports Contexts Using Set Transformer and Hierarchical Bi-LSTM. | Hyunsung Kim, Han-Jun Choi, Changjo Kim, Jinsung Yoon, Sang-Ki Ko |
| 2022 | ISAAC | Simon's Congruence Pattern Matching. | Sungmin Kim, Sang-Ki Ko, Yo-Sub Han |
| 2022 | KDD | SoccerCPD: Formation and Role Change-Point Detection in Soccer Matches Using Spatiotemporal Tracking Data. | Hyunsung Kim, Bit Kim, Dongwook Chung, Jinsung Yoon, Sang-Ki Ko |
| 2022 | SAC | RepCoder: an automated program repair framework for probability-based program synthesis. | Suhwan Ji, Sang-Min Choi, Sang-Ki Ko, Dohyung Kim, Hyeonseung Im |
| 2021 | AAAI | SALNet: Semi-supervised Few-Shot Text Classification with Attention-based Lexicon Construction. | Ju Hyoung Lee, Sang-Ki Ko, Yo-Sub Han |
| 2021 | COCOON | Most Pseudo-copy Languages Are Not Context-Free. | Hyunjoon Cheon, Joonghyuk Hahn, Yo-Sub Han, Sang-Ki Ko |
| 2021 | EMNLP | MultiFix: Learning to Repair Multiple Errors by Optimal Alignment Learning. | HyeonTae Seo, Yo-Sub Han, Sang-Ki Ko |
| 2019 | DLT | The Relative Edit-Distance Between Two Input-Driven Languages. | Hyunjoon Cheon, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa |
| 2019 | EMNLP | SoftRegex: Generating Regex from Natural Language Descriptions using Softened Regex Equivalence. | Jun-U. Park, Sang-Ki Ko, Marco Cognetta, Yo-Sub Han |
| 2018 | DLT | Closest Substring Problems for Regular Languages. | Yo-Sub Han, Sang-Ki Ko, Timothy Ng, Kai Salomaa |
| 2018 | DLT | Reachability Problems in Nondeterministic Polynomial Maps on the Integers. | Sang-Ki Ko, Reino Niskanen, Igor Potapov |
| 2018 | ICALP | On the Identity Problem for the Special Linear Group and the Heisenberg Group. | Sang-Ki Ko, Reino Niskanen, Igor Potapov |
| 2017 | LATA | Consensus String Problem for Multiple Regular Languages. | Yo-Sub Han, Sang-Ki Ko, Timothy Ng, Kai Salomaa |
| 2017 | SOFSEM | Edit-Distance Between Visibly Pushdown Languages. | Yo-Sub Han, Sang-Ki Ko |
| 2017 | SOFSEM | Matrix Semigroup Freeness Problems in SL (2, \mathbb Z). | Sang-Ki Ko, Igor Potapov |
| 2017 | TAMC | Vector Ambiguity and Freeness Problems in SL (2, ℤ). | Sang-Ki Ko, Igor Potapov |
| 2016 | LATA | Inferring a Relax NG Schema from XML Documents. | Guen-Hae Kim, Sang-Ki Ko, Yo-Sub Han |
| 2015 | DLT | Generalizations of Code Languages with Marginal Errors. | Yo-Sub Han, Sang-Ki Ko, Kai Salomaa |
| 2014 | DLT | State Complexity of Deletion. | Yo-Sub Han, Sang-Ki Ko, Kai Salomaa |
| 2014 | LATA | Top-Down Tree Edit-Distance of Regular Tree Languages. | Sang-Ki Ko, Yo-Sub Han, Kai Salomaa |
| 2014 | UC | Pseudo-inversion on Formal Languages. | Da-Jung Cho, Yo-Sub Han, Shin-Dong Kang, Hwee Kim, Sang-Ki Ko, Kai Salomaa |
| 2012 | DLT | Computing the Edit-Distance between a Regular Language and a Context-Free Language. | Yo-Sub Han, Sang-Ki Ko, Kai Salomaa |
| 2011 | HCI | A Smart Movie Recommendation System. | Sang-Ki Ko, Sang-Min Choi, Hae-Sung Eom, Jeong-Won Cha, Hyunchul Cho, Laehyun Kim, Yo-Sub Han |