[Announcement] Paper presentation

[Hhro]

#Here is the result of the paper assignment, grading criteria, and the schedule.

Paper Assignment

We assign the paper for each student using the DragonBall Z3. Those who didn't submit their preferences have been assigned to a randomly selected paper.

Here is the result:

• Seungwan Kwon: Alive2: bounded translation validation for LLVM, PLDI'21
• Younghun Kim: VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts, SNP'20
• Sujin Jang: Verifying Correct Usage of Context-Free API Protocols, POPL'19
• Joonyoung Park: Towards a Verified Range Analysis for JavaScript JITs, PLDI'20
• Kangwook Lee: Combinatorial sketching for finite programs, ASPLOS'06
• Jonas Brager Jacobsen: Synthesis of Data Completion Scripts using Finite Tree Automata, OOPSLA'17
• Haechan An: Reluplex: An efficient SMT solver for verifying deep neural networks, CAV'17
• Sihoon Lee: Syntia: Synthesizing the Semantics of Obfuscated Code, USENIXSEC'17
• Haein Lee: Verifying Constant-Time Implementations, USENIXSEC'16
• Jongchan Park: Verified Three-Way Program Merge, OOPSLA'18
• Taeeun Kim: Synthesizing Highly Expressive SQL Queries from Input-Output Examples, PLDI'17
• Wonyoung Jung: Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting, PLDI'20
• Jaeho Choi: Data-Driven Synthesis of Provably Sound Side Channel Analyses, ICSE'21
• Minwoo Baek: An Inductive Synthesis Framework for Verifiable Reinforcement Learning, PLDI'19

Schedule

Each student will present and answer the questions for 15 minutes.
The schedule is as follows (updated):

• 5.19 (Thr): Seungwan Kwon, Sujin Jang, Sihoon Lee, Younghun Kim
• 5.24 (Tue): Taeeun Kim, Jaeho Choi, Haein Lee, Jongchan Park, Minwoo Baek
• 5.26 (Thr): Joonyoung Park, Kangwook Lee, Haechan An, Wonyoung Jung, Jonas Brager Jacobsen

Criteria

The grading criteria for presentations are as follow:

1. Understanding of the paper (내용에 대한 이해)
2. Presentation Delivery (발표 전달력)
3. Critical Thinking (비판적 사고)
4. QnA (질의 응답)

We will grade each item from zero to five (0-5).