Seungjoon Park

According to our database, Seungjoon Park authored at least 19 papers between 1995 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

TWLV-I: Analysis and Insights from Holistic Evaluation on Video Foundation Models.

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

CoRR, 2024

2023

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

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2023, 2023

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

Proceedings of the Findings of the Association for Computational Linguistics: EACL 2023, 2023

2010

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

Proceedings of the ACM/SIGDA 18th International Symposium on Field Programmable Gate Arrays, 2010

2005

Verifying Time Partitioning in the DEOS Scheduling Kernel.

John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger

Formal Methods Syst. Des., 2005

2004

A Simple Method for Parameterized Verification of Cache Coherence Protocols.

Ching-Tsun Chou, Phanindra K. Mannava, Seungjoon Park

Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

2003

Experience with Applying Formal Methods to Protocol Specification and System Architecture.

Mani Azimi, Ching-Tsun Chou, Akhilesh Kumar, Victor W. Lee, Phanindra K. Mannava, Seungjoon Park

Formal Methods Syst. Des., 2003

Model Checking Programs.

Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda

Autom. Softw. Eng., 2003

Bounded Fairness.

Nachum Dershowitz, Doddaballapur Narasimha-Murthy Jayasimha, Seungjoon Park

Proceedings of the Verification: Theory and Practice, 2003

2000

Automatic checking of aggregation abstractions through stateenumeration.

Seungjoon Park, Satyaki Das, David L. Dill

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2000

Model Checking Programs.

Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park

Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

Using predicate abstraction to reduce object-oriented programs for model checking.

Willem Visser, Seungjoon Park, John Penix

Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000

1999

An Executable Specification and Verifier for Relaxed Memory Order.

Seungjoon Park, David L. Dill

IEEE Trans. Computers, 1999

Experience with Predicate Abstraction.

Satyaki Das, David L. Dill, Seungjoon Park

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1998

Verification of Cache Coherence Protocols by Aggregation of Distributed Transactions.

Seungjoon Park, David L. Dill

Theory Comput. Syst., 1998

1997

Automatic Checking of Aggregation Abstractions Through State Enumeration.

Seungjoon Park, Satyaki Das, David L. Dill

Proceedings of the Formal Description Techniques and Protocol Specification, 1997

1996

Verification of FLASH Cache Coherence Protocol by Aggregation of Distributed Transactions.

Seungjoon Park, David L. Dill

Proceedings of the 8th Annual ACM Symposium on Parallel Algorithms and Architectures, 1996

Protocol Verification by Aggregation of Distributed Transactions.

Seungjoon Park, David L. Dill

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

An Executable Specification, Analyzer and Verifier for RMO (Relaxed Memory Order).

Seungjoon Park, David L. Dill

Proceedings of the 7th Annual ACM Symposium on Parallel Algorithms and Architectures, 1995