Seungjoon Park

22 papers A* 3A 1B 3C 1Misc 1Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2024 J jnl
TWLV-I: Analysis and Insights from Holistic Evaluation on Video Foundation Models.
CoRR
Hyeongmin Lee, Jin-Young Kim, Kyungjune Baek, Jihwan Kim, Hyojun Go, Seongsu Ha, Seokjin Han, Jiho Jang, Raehyuk Jung, Daewoo Kim, GeunOh Kim, Jongmok Kim, Jongseok Kim, Junwan Kim, Soonwoo Kwon, Jangwon Lee, Seungjoon Park, Minjoon Seo, Jay Suh, Jaehyuk Yi, Aiden Seung Joon Lee
2023 — conf
NASH: A Simple Unified Framework of Structured Pruning for Accelerating Encoder-Decoder Language Models.
EMNLP (Findings)
Jongwoo Ko, Seungjoon Park, Yujin Kim, Sumyeong Ahn, Du-Seong Chang, Euijai Ahn, Se-Young Yun
2023 J jnl
NASH: A Simple Unified Framework of Structured Pruning for Accelerating Encoder-Decoder Language Models.
CoRR
Jongwoo Ko, Seungjoon Park, Yujin Kim, Sumyeong Ahn, Du-Seong Chang, Euijai Ahn, Se-Young Yun
2023 — conf
Revisiting Intermediate Layer Distillation for Compressing Language Models: An Overfitting Perspective.
EACL (Findings)
Jongwoo Ko, Seungjoon Park, Minchan Jeong, Sukjin Hong, Euijai Ahn, Du-Seong Chang, Se-Young Yun
2023 J jnl
Revisiting Intermediate Layer Distillation for Compressing Language Models: An Overfitting Perspective.
CoRR
Jongwoo Ko, Seungjoon Park, Minchan Jeong, Sukjin Hong, Euijai Ahn, Du-Seong Chang, Se-Young Yun
2010 A conf
FPGA-based prototyping of a 2D MESH / TORUS on-chip interconnect (abstract only).
FPGA
Donglai Dai, Aniruddha S. Vaidya, Roy Saharoy, Seungjoon Park, Dongkook Park, Hariharan L. Thantry, Ralf Plate, Elmar Maas, Akhilesh Kumar, Mani Azimi
2005 J jnl
Verifying Time Partitioning in the DEOS Scheduling Kernel.
Formal Methods Syst. Des.
John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger
2004 B conf
A Simple Method for Parameterized Verification of Cache Coherence Protocols.
FMCAD
Ching-Tsun Chou, Phanindra K. Mannava, Seungjoon Park
2003 — conf
Bounded Fairness.
Verification: Theory and Practice
Nachum Dershowitz, Doddaballapur Narasimha-Murthy Jayasimha, Seungjoon Park
2003 J jnl
Experience with Applying Formal Methods to Protocol Specification and System Architecture.
Formal Methods Syst. Des.
Mani Azimi, Ching-Tsun Chou, Akhilesh Kumar, Victor W. Lee, Phanindra K. Mannava, Seungjoon Park
2003 J jnl
Model Checking Programs.
Autom. Softw. Eng.
Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda
2000 J jnl
Automatic checking of aggregation abstractions through stateenumeration.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Seungjoon Park, Satyaki Das, David L. Dill
2000 A* conf
Model Checking Programs.
ASE
Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park
2000 — conf
Using predicate abstraction to reduce object-oriented programs for model checking.
FMSP
Willem Visser, Seungjoon Park, John Penix
1999 J jnl
An Executable Specification and Verifier for Relaxed Memory Order.
IEEE Trans. Computers
Seungjoon Park, David L. Dill
1999 A* conf
Experience with Predicate Abstraction.
CAV
Satyaki Das, David L. Dill, Seungjoon Park
1998 Misc conf
Performance analysis of queueing strategies with multiple priorities in multimedia PCS.
CATA
Dong Chun Lee, Seungjoon Park, JooSeok Song
1998 J jnl
Verification of Cache Coherence Protocols by Aggregation of Distributed Transactions.
Theory Comput. Syst.
Seungjoon Park, David L. Dill
1997 C conf
Automatic Checking of Aggregation Abstractions Through State Enumeration.
FORTE
Seungjoon Park, Satyaki Das, David L. Dill
1996 A* conf
Protocol Verification by Aggregation of Distributed Transactions.
CAV
Seungjoon Park, David L. Dill
1996 B conf
Verification of FLASH Cache Coherence Protocol by Aggregation of Distributed Transactions.
SPAA
Seungjoon Park, David L. Dill
1995 B conf
An Executable Specification, Analyzer and Verifier for RMO (Relaxed Memory Order).
SPAA
Seungjoon Park, David L. Dill