This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 13 Jun

Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:00
(Tutorial) Egg Part ITutorials at Tutorials 1
09:00
60m
Tutorial
Build your own optimizer with egg!
Tutorials
Max Willsey University of Washington, Zachary Tatlock University of Washington
09:00 - 10:00
(Tutorial) Checked C Part ITutorials at Tutorials 2
09:00
60m
Tutorial
Making C Programs Safer with Checked C
Tutorials
Jie Zhou University of Rochester, Yudi Yang University of Rochester, USA, Michael Hicks University of Maryland at College Park, John Criswell University of Rochester, USA
09:00 - 10:00
(Tutorial) Discover[i] Part ITutorials at Tutorials 3
09:00
60m
Tutorial
Discover[i]: Taming Unbounded Distributed Systems with Modular, Bounded Reasoning
Tutorials
Roopsha Samanta Purdue University, Nouraldin Jaber Purdue University, Christopher Wagner Purdue University
10:30 - 12:00
(Tutorial) Egg Part IITutorials at Tutorials 1
10:30
90m
Tutorial
Build your own optimizer with egg!
Tutorials
Max Willsey University of Washington, Zachary Tatlock University of Washington
10:30 - 12:00
(Tutorial) Checked C Part IITutorials at Tutorials 2
10:30
90m
Tutorial
Making C Programs Safer with Checked C
Tutorials
Jie Zhou University of Rochester, Yudi Yang University of Rochester, USA, Michael Hicks University of Maryland at College Park, John Criswell University of Rochester, USA
10:30 - 12:00
(Tutorial) Discover[i] Part IITutorials at Tutorials 3
10:30
90m
Tutorial
Discover[i]: Taming Unbounded Distributed Systems with Modular, Bounded Reasoning
Tutorials
Roopsha Samanta Purdue University, Nouraldin Jaber Purdue University, Christopher Wagner Purdue University
13:30 - 15:00
(Tutorial) JISET Part ITutorials at Tutorials 1
13:30
90m
Tutorial
Filling the gap between the JavaScript language specification and tools using the JISET family
Tutorials
Sukyoung Ryu KAIST, Jihyeok Park Oracle Labs, Australia, Seungmin An KAIST
13:30 - 15:00
(Tutorial) Alive2 Part ITutorials at Tutorials 2
13:30
90m
Tutorial
Reasoning About and Discovering LLVM Optimizations
Tutorials
John Regehr University of Utah, Nuno P. Lopes Universidade de Lisboa
15:30 - 16:30
(Tutorial) JISET Part IITutorials at Tutorials 1
15:30
60m
Tutorial
Filling the gap between the JavaScript language specification and tools using the JISET family
Tutorials
Sukyoung Ryu KAIST, Jihyeok Park Oracle Labs, Australia, Seungmin An KAIST
15:30 - 16:30
(Tutorial) Alive2 Part IITutorials at Tutorials 2
15:30
60m
Tutorial
Reasoning About and Discovering LLVM Optimizations
Tutorials
John Regehr University of Utah, Nuno P. Lopes Universidade de Lisboa