University of Oregon University of Oregon

A Spectrum of Types

June 26-July 8, 2017

Review

Each lecture is 80 minutes, including time for questions.

Morning Afternoon
Date Session 1 Session 2 Session 1 Session 2
FRI 6/23 Lambda Calculus Lambda Calculus Products and Sums Operational Semantics
SAT 6/24 Proof of Progress Proof of Preservation Recursive Types Polymorphism
SUN 6/25 Encodings Parametricity Normalization

Lectures are held in 110 Knight Law Center. Morning sessions begin at 9:00 AM and run until noon. Afternoon sessions begin at 2:00 PM and run until 5:00 PM.

Technical Lectures

The sessions are non-overlapping, so participants will have the opportunity to attend all lectures. Each lecture is 80 minutes, including time for questions.

Morning Afternoon
Date Session 1 Session 2 Session 1 Session 2
MON 6/26 Harper Pfenning Licata Hands-On Session
TUE 6/27 Harper Licata Pfenning Hands-On Session
WED 6/28 Pfenning Harper Licata Hands-On Session
THR 6/29 Licata Pfenning Harper Hands-On Session
FRI 6/30 Brady Van Horn Tobin-Hochstadt Pfenning
SAT 7/1 Tobin-Hochstadt Brady Van Horn Emacs Tutorial/Hands-on Session 5:00PM
Industry Experiences Board
SUN 7/2 Excursion
MON 7/3 Van Horn Tobin-Hochstadt Brady Parametricity/Hands-On Session
TUE 7/4 Tobin-Hochstadt Van Horn Brady Hands-On Session
WED 7/5 Garcia Ahmed Krishnaswami Hands-On Session
THR 7/6 Ahmed Krishnaswami Garcia Hands-On Session
FRI 7/7 Ahmed Garcia Krishnaswami Hands-On Session
SAT 7/8 Garcia Krishnaswami Ahmed Hands-On Session

Lectures are held in 110 Knight Law Center. Morning sessions begin at 9:00 AM and run until noon. Afternoon sessions begin at 2:00 PM and run until 5:00 PM.

Participant Talks

Participants are encouraged to share their current research. Participant talks should be organized as a 15 minute presentation, followed by 10 minutes of question and answer. The point of Participant Talks is to create interest around your research. Talks about unfinished research or future directions are encouraged.

Date Time Presentor Title
TUE 6/27 8:00PM Pedro Abreu Mechanizing Feature Featherweight Java with Coq
8:30PM Virgil Griffith Creating a DSL for Deontic Logic
9:00PM Charlie Murphy On Improving Performance of Proof Spaces for Unbounded Parallelism
9:30PM Virgil Griffith Ethereum smart contract langugages
THR 6/29 8:00PM Max Willsey Programming Fluidic Devices
8:30PM Mark Lemay Buggy Implementation of Dependent Types in Python
9:00PM Kyle Headley Performance and abstraction techniques for Incremental Computation
9:30PM Nico Naus Hint generation for multi-user workflow systems
10:00PM Mathias Petersen Timing-Sensitive Garbage Collection

Talks are held in 220 Deschutes, the Computer Science Colloquim room, beginning at 8PM. The building is locked at night, so please be prompt or you will not be able to enter the building. The building is secure on purpose. Proping open the doors, or other measures to circumvent building security will result in cancellation of building privledges. To schedule a talk, email Jim.