VenueOrlando World Center Marriott
Room nameMagnolia 9
Room InformationNo extra information available
Program

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

Sat 17 Jun

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

09:00 - 11:00
(Tutorial) DistAlgoTutorials at Magnolia 9
09:00
2h
High-Level Executable Specification and Reasoning for Improving Distributed Algorithms
Tutorials
Y. Annie Liu Stony Brook University, Scott Stoller Stony Brook University
11:20 - 12:30
(Tutorial) DistAlgoTutorials at Magnolia 9
11:20
70m
High-Level Executable Specification and Reasoning for Improving Distributed Algorithms
Tutorials
Y. Annie Liu Stony Brook University, Scott Stoller Stony Brook University
14:00 - 15:30
(Tutorial) DafnyTutorials at Magnolia 9
14:00
90m
Tutorial
What’s new in Dafny, and what is Dafny anyway?
Tutorials
16:00 - 17:50
(Tutorial) DafnyTutorials at Magnolia 9
16:00
1h50m
Tutorial
What’s new in Dafny, and what is Dafny anyway?
Tutorials

Sun 18 Jun

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

09:00 - 11:00
(Tutorial) CalyxTutorials at Magnolia 9
09:00
2h
DSL-based Hardware Generation
Tutorials
Rachit Nigam Cornell University, Adrian Sampson Cornell University, Anshuman Mohan Cornell University, Griffin Berlstein Cornell University, Priya Srikumar Cornell University, Susan Garry
11:20 - 12:30
(Tutorial) CalyxTutorials at Magnolia 9
11:20
70m
DSL-based Hardware Generation
Tutorials
Rachit Nigam Cornell University, Adrian Sampson Cornell University, Anshuman Mohan Cornell University, Griffin Berlstein Cornell University, Priya Srikumar Cornell University, Susan Garry
14:00 - 15:30
(Tutorial) WALATutorials at Magnolia 9
14:00
90m
Tutorial
Towards Supporting Universal Static Analysis using WALA
Tutorials
Rahul Krishna IBM Research, Raju Pavuluri IBM T.J. Watson Research Center, Saurabh Sinha IBM Research, Divya Sankar IBM Research, Julian Dolby IBM Research, Rangeet Pan IBM Research
16:00 - 17:50
(Tutorial) WALATutorials at Magnolia 9
16:00
1h50m
Tutorial
Towards Supporting Universal Static Analysis using WALA
Tutorials
Rahul Krishna IBM Research, Raju Pavuluri IBM T.J. Watson Research Center, Saurabh Sinha IBM Research, Divya Sankar IBM Research, Julian Dolby IBM Research, Rangeet Pan IBM Research

Sat 17 Jun

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

Sun 18 Jun

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

Sun 18 Jun

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