| 2023 | EACL | Revisiting Intermediate Layer Distillation for Compressing Language Models: An Overfitting Perspective. | Jongwoo Ko, Seungjoon Park, Minchan Jeong, Sukjin Hong, Euijai Ahn, Du-Seong Chang, Se-Young Yun |
| 2023 | EMNLP | NASH: A Simple Unified Framework of Structured Pruning for Accelerating Encoder-Decoder Language Models. | Jongwoo Ko, Seungjoon Park, Yujin Kim, Sumyeong Ahn, Du-Seong Chang, Euijai Ahn, Se-Young Yun |
| 2010 | FPGA | FPGA-based prototyping of a 2D MESH / TORUS on-chip interconnect (abstract only). | Donglai Dai, Aniruddha S. Vaidya, Roy Saharoy, Seungjoon Park, Dongkook Park, Hariharan L. Thantry, Ralf Plate, Elmar Maas, Akhilesh Kumar, Mani Azimi |
| 2004 | FMCAD | A Simple Method for Parameterized Verification of Cache Coherence Protocols. | Ching-Tsun Chou, Phanindra K. Mannava, Seungjoon Park |
| 1999 | CAV | Experience with Predicate Abstraction. | Satyaki Das, David L. Dill, Seungjoon Park |
| 1997 | FORTE | Automatic Checking of Aggregation Abstractions Through State Enumeration. | Seungjoon Park, Satyaki Das, David L. Dill |
| 1996 | CAV | Protocol Verification by Aggregation of Distributed Transactions. | Seungjoon Park, David L. Dill |
| 1996 | SPAA | Verification of FLASH Cache Coherence Protocol by Aggregation of Distributed Transactions. | Seungjoon Park, David L. Dill |
| 1995 | SPAA | An Executable Specification, Analyzer and Verifier for RMO (Relaxed Memory Order). | Seungjoon Park, David L. Dill |