09:00
–
10:45
Workshop
所有时间都在 EDT (UTC -4)
Monday, June 21, 2021
-
-
10:45 – 11:45 Workshop
PLMW: Grad School: A Survival Guide
-
13:30 – 14:30 Talk session
Generating Bug-Fixes Using Pretrained Transformers
-
13:30 – 14:45 Workshop
PLMW: Panel on Grad School
-
15:15 – 16:15 Workshop
PLMW: Reasoning Under Uncertainty in SMT Solving, Research, and Life
-
18:00 – 19:45 Workshop
PLMW: An Overview of the Stoke Project
-
19:45 – 21:00 Workshop
PLMW: Social Hangout 1
Tuesday, June 22, 2021
-
09:00 – 10:45 Workshop
PLMW: Social Hangout 2
-
10:45 – 11:45 Workshop
PLMW: How to give talks that people can follow
-
13:30 – 15:15 Workshop
PLMW: Panel on Advising and Research
-
13:55 – 14:20 Talk session
PerfLens: A Data-Driven Performance Bug Detection and Fix Platform
-
15:15 – 16:15 Workshop
PLMW: Tips on Writing a Research Paper
-
16:45 – 17:45 Talk session
The Early History of F#
-
18:00 – 19:45 Workshop
PLMW: Panel on Career Paths
-
19:45 – 21:00 Workshop
PLMW: Small-group Mentoring Meetings 2
Wednesday, June 23, 2021
-
09:20 – 09:25 Talk session
Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints
Talk session repeated at 21:20
-
09:35 – 10:30 Poster session
Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints
Poster session repeated at 21:35
-
21:20 – 21:25 Talk session
Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints
Repeat of 09:20 talk session
-
21:35 – 22:30 Poster session
Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints
Repeat of 09:35 poster session
Thursday, June 24, 2021
-
01:00 – 01:30 Live Q&A
Ask Me Anything with Sriram Rajamani
-
09:15 – 09:20 Talk session
Perceus: Garbage Free Reference Counting with Reuse
Talk session repeated at 21:15
-
09:40 – 10:30 Poster session
Perceus: Garbage Free Reference Counting with Reuse
Poster session repeated at 21:15
-
13:45 – 13:50 Talk session
Alive2: Bounded Translation Validation for LLVM
Talk session repeated at 01:45 June 25
-
14:05 – 15:00 Poster session
Alive2: Bounded Translation Validation for LLVM
Poster session repeated at 02:05 June 25
-
21:15 – 21:20 Talk session
Perceus: Garbage Free Reference Counting with Reuse
Repeat of 09:15 talk session
-
21:40 – 22:30 Poster session
Perceus: Garbage Free Reference Counting with Reuse
Repeat of 09:40 poster session
Friday, June 25, 2021
-
01:45 – 01:50 Talk session
Alive2: Bounded Translation Validation for LLVM
Repeat of 13:45 June 24 talk session
-
02:05 – 03:00 Poster session
Alive2: Bounded Translation Validation for LLVM
Repeat of 14:05 June 24 poster session
-
12:30 – 12:50 Live Q&A
Ask Me Anything with Madan Musuvathi
-
13:30 – 13:35 Talk session
Hashing Modulo Alpha-Equivalence
Talk session repeated at 01:35 June 26
-
14:05 – 15:00 Poster session
Hashing Modulo Alpha-Equivalence
Poster session repeated at 02:05 June 26
Saturday, June 26, 2021
-
01:35 – 01:40 Talk session
Hashing Modulo Alpha-Equivalence
Repeat of 13:30 June 25 talk session
-
02:05 – 03:00 Poster session
Hashing Modulo Alpha-Equivalence
Repeat of 14:05 June 25 poster session