Seungjoon Park

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 4

Top Topics

Document Retrieval

Unified Framework

Wyner Ziv Video Coding

Top Venues

EMNLP (Findings)

EACL (Findings)

Publications

Jongwoo Ko, Seungjoon Park, Minchan Jeong, Sukjin Hong, Euijai Ahn, Du-Seong Chang, Se-Young Yun
Revisiting Intermediate Layer Distillation for Compressing Language Models: An Overfitting Perspective. CoRR (2023)
Jongwoo Ko, Seungjoon Park, Yujin Kim, Sumyeong Ahn, Du-Seong Chang, Euijai Ahn, Se-Young Yun
NASH: A Simple Unified Framework of Structured Pruning for Accelerating Encoder-Decoder Language Models. CoRR (2023)
Jongwoo Ko, Seungjoon Park, Yujin Kim, Sumyeong Ahn, Du-Seong Chang, Euijai Ahn, Se-Young Yun
NASH: A Simple Unified Framework of Structured Pruning for Accelerating Encoder-Decoder Language Models. EMNLP (Findings) (2023)
Jongwoo Ko, Seungjoon Park, Minchan Jeong, Sukjin Hong, Euijai Ahn, Du-Seong Chang, Se-Young Yun
Revisiting Intermediate Layer Distillation for Compressing Language Models: An Overfitting Perspective. EACL (Findings) (2023)
Donglai Dai, Aniruddha S. Vaidya, Roy Saharoy, Seungjoon Park, Dongkook Park, Hariharan L. Thantry, Ralf Plate, Elmar Maas, Akhilesh Kumar, Mani Azimi
FPGA-based prototyping of a 2D MESH / TORUS on-chip interconnect (abstract only). FPGA (2010)
John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger
Verifying Time Partitioning in the DEOS Scheduling Kernel. Formal Methods Syst. Des. 26 (2) (2005)
Ching-Tsun Chou, Phanindra K. Mannava, Seungjoon Park
A Simple Method for Parameterized Verification of Cache Coherence Protocols. FMCAD (2004)
Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda
Model Checking Programs. Autom. Softw. Eng. 10 (2) (2003)
Nachum Dershowitz, D. N. Jayasimha, Seungjoon Park
Bounded Fairness. Verification: Theory and Practice (2003)
Mani Azimi, Ching-Tsun Chou, Akhilesh Kumar, Victor W. Lee, Phanindra K. Mannava, Seungjoon Park
Experience with Applying Formal Methods to Protocol Specification and System Architecture. Formal Methods Syst. Des. 22 (2) (2003)
Seungjoon Park, Satyaki Das, David L. Dill
Automatic checking of aggregation abstractions through stateenumeration. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 19 (10) (2000)
Willem Visser, Seungjoon Park, John Penix
Using predicate abstraction to reduce object-oriented programs for model checking. FMSP (2000)
Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park
Model Checking Programs. ASE (2000)
Satyaki Das, David L. Dill, Seungjoon Park
Experience with Predicate Abstraction. CAV (1999)
Seungjoon Park, David L. Dill
An Executable Specification and Verifier for Relaxed Memory Order. IEEE Trans. Computers 48 (2) (1999)
Seungjoon Park, David L. Dill
Verification of Cache Coherence Protocols by Aggregation of Distributed Transactions. Theory Comput. Syst. 31 (4) (1998)
Seungjoon Park, Satyaki Das, David L. Dill
Automatic Checking of Aggregation Abstractions Through State Enumeration. FORTE (1997)
Seungjoon Park, David L. Dill
Verification of FLASH Cache Coherence Protocol by Aggregation of Distributed Transactions. SPAA (1996)
Seungjoon Park, David L. Dill
Protocol Verification by Aggregation of Distributed Transactions. CAV (1996)
Seungjoon Park, David L. Dill
An Executable Specification, Analyzer and Verifier for RMO (Relaxed Memory Order). SPAA (1995)