Dates
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) Checked C Part ITutorials at Rousseau Center +12h
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 Rousseau West +12h
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
09:00 - 10:00
(Tutorial) Egg Part ITutorials at Toucan +12h
09:00
60m
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 Rousseau Center +12h
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 Rousseau West +12h
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
10:30 - 12:00
(Tutorial) Egg Part IITutorials at Toucan +12h
10:30
90m
Tutorial
Build your own optimizer with egg!
Tutorials
Max Willsey University of Washington, Zachary Tatlock University of Washington
13:30 - 15:00
(Tutorial) Alive2 Part ITutorials at Rousseau Center +12h
13:30
90m
Tutorial
Reasoning About and Discovering LLVM Optimizations
Tutorials
John Regehr University of Utah, Nuno P. Lopes Universidade de Lisboa
13:30 - 15:00
(Tutorial) JISET Part ITutorials at Rousseau West +12h
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
15:30 - 16:30
(Tutorial) Alive2 Part IITutorials at Rousseau Center +12h
15:30
60m
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 Rousseau West +12h
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
21:00 - 22:00
(Tutorial) Checked C Part ITutorials at Rousseau Center
21: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
21:00 - 22:00
(Tutorial) Discover[i] Part ITutorials at Rousseau West
21: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
21:00 - 22:00
(Tutorial) Egg Part ITutorials at Toucan
21:00
60m
Tutorial
Build your own optimizer with egg!
Tutorials
Max Willsey University of Washington, Zachary Tatlock University of Washington
22:30 - 00:00
(Tutorial) Checked C Part IITutorials at Rousseau Center
22: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
22:30 - 00:00
(Tutorial) Discover[i] Part IITutorials at Rousseau West
22: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
22:30 - 00:00
(Tutorial) Egg Part IITutorials at Toucan
22:30
90m
Tutorial
Build your own optimizer with egg!
Tutorials
Max Willsey University of Washington, Zachary Tatlock University of Washington

Tue 14 Jun

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

01:30 - 03:00
(Tutorial) Alive2 Part ITutorials at Rousseau Center
01:30
90m
Tutorial
Reasoning About and Discovering LLVM Optimizations
Tutorials
John Regehr University of Utah, Nuno P. Lopes Universidade de Lisboa
01:30 - 03:00
(Tutorial) JISET Part ITutorials at Rousseau West
01: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
03:30 - 04:30
(Tutorial) Alive2 Part IITutorials at Rousseau Center
03:30
60m
Tutorial
Reasoning About and Discovering LLVM Optimizations
Tutorials
John Regehr University of Utah, Nuno P. Lopes Universidade de Lisboa
03:30 - 04:30
(Tutorial) JISET Part IITutorials at Rousseau West
03: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