Research interests

• Program Verification with Separation Logic
• Automated Theorem Prover for Separation Logic

Reading list

Publication

• Parallel skyline computation on multicore architectures.Sungwoo Park, Taekyung Kim, Jonghyun Park, Jinha Kim, and Hyeonseung Im.

Course

Fall 2010

• Probabilisitc Theory for C. S. E

Spring 2010

• EECE524 Probabilistic Graphical Models
• EECE701C Approximation Algorithms

Fall 2009

• CSED433 Logic in Compute Science
• EECE700J GPU-based Graphics

Summer 2009

• EECE802 IT Scientific Writing

Spring 2009

• EECE507 Software Engineering

Winter 2008

• Technical Communications

Fall 2008

• EECE701A Computational Geometry
• MEIE661 Advanced Linear Programming

Bookmark

Conferences

• ASPLOS: [2010] [2009]
• ESOP: [2010] [2009]
• ETAPS: [2010] [2009]
• POPL: [2010] [2009]
• TLDI: [2010] [2009]
• PLDI: [2010] [2009]
• ICFP: [2010] [2009]
• APLAS: [2009]
• LICS: [2010] [2009]
• CAV: [2010] [2009]
• VMCAI: [2010] [2009]
• PSPL: [2010]

Journals

• [TOPLAS]
• [JFP]

Issues

• Communications of the ACM
• LtU
• MSR

Theorem Provers

• Coq: [Coq official website] [Coq tutorial materials in POPL 2008]
• Courses: [Automated Theorem Proving]

Program Verificaion Tools

• Frama-C: [Frama-C]
• Seplog(Separation Logic Implementation in Coq): [Seplog]
• Introduction to the Logic of Bunched Implications: [Intro]

Programming Languages

• Haskell: [Offcial] [Real World Haskell]
• Objective CAML: [Official] [Developing Application With Objective Caml] [GODI]
• Clean: [Official]
• SML/NJ: [Official]
• MLton: [Official]
• MLkit: [Official]
• SML#: [Official]
• Manticore: [Official]
• Fleix: [Official]

English

• Grammar: [영문법 학습 사전] [기본동사활용200] [Common Errors in English]

People

• PL lab: [Lab webpage] [Sungwoo Park] [Hyeonseung Im] [Jonghyun Park] Taekyung Kim [Minyoung Son] [Jin-ha Kim]
• IDS lab: [Gaewon You] [Jongwuk Lee] [Hyoun-taek Yong] [Mu-Woong Lee] [Chul-kyoon Kim]
• Others: [Ki-Yung Ahn]
• Sepration Logic: [Hongseok Yang] [Dino Distefano] [David J. Pym] [Peter O'hearn] [Didier Galmiche] [James Brotherston]
• Why: [Jean-Christophe Filliâtre]
• Program Verication [Josh Berdine]

Jonghyun Park

Department of Computer Science and Engineering

Pohang University of Science and Technology

San 31 Hyoja-dong, Nam-gu, Pohang, Gyeongbuk, 790-784

Republic of Korea

Office: POSTECH Information Research Laboratory building, 353
Phone: +82-54-279-5878
Email: parjong at postech dot ac dot kr