Dates

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) KTutorials at Magnolia 17
09:00
2h
From Zero to Proving: Building Your First Language with the K Framework
Tutorials
Bruce Collie Runtime Verification, Inc.
09:00 - 11:00
(Tutorial) LLVMTutorials at Magnolia 22
09:00
2h
Building Programming Language Infrastructure With LLVM Components
Tutorials
Sunho Kim De Anza College, Vassil Vassilev Princeton University, Lang Hames , Vassil Vassilev Princeton University
09:00 - 11:00
(Tutorial) ScallopTutorials at Magnolia 7-8
09:00
2h
Neurosymbolic Programming in Scallop
Tutorials
Ziyang Li UPenn, Jiani Huang UPenn, Mayur Naik University of Pennsylvania
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) KTutorials at Magnolia 17
11:20
70m
From Zero to Proving: Building Your First Language with the K Framework
Tutorials
Bruce Collie Runtime Verification, Inc.
11:20 - 12:30
(Tutorial) LLVMTutorials at Magnolia 22
11:20
70m
Building Programming Language Infrastructure With LLVM Components
Tutorials
Sunho Kim De Anza College, Vassil Vassilev Princeton University, Lang Hames , Vassil Vassilev Princeton University
11:20 - 12:30
(Tutorial) ScallopTutorials at Magnolia 7-8
11:20
70m
Neurosymbolic Programming in Scallop
Tutorials
Ziyang Li UPenn, Jiani Huang UPenn, Mayur Naik University of Pennsylvania
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) CompilersTutorials at Magnolia 17
14:00
90m
Teaching and Learning Compilers Incrementally
Tutorials
Jeremy G. Siek Indiana University, USA
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) CompilersTutorials at Magnolia 17
16:00
1h50m
Teaching and Learning Compilers Incrementally
Tutorials
Jeremy G. Siek Indiana University, USA
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