Foundations of Programming Languages
Foundations of Programming Languages will run July 3 - 8, except Wednesday, July 4. Lectures are held in 175 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 | Evening | |||
---|---|---|---|---|---|
Date | Session 1 | Session 2 | Session 1 | Session 2 | |
MON 7/9 | Acar | Blelloch | Saraswat | Hands-On Session | Haskell Work Group † |
TUE 7/10 | Acar | Blelloch | Saraswat | Hands-On Session | Participant Talks |
WED 7/11 | Acar | Blelloch | Saraswat | Hands-On Session | Turon‡ |
THR 7/12 | Acar | Acar | Keller | Hands-On Session | Participant Talks |
FRI 7/13 | Blelloch | Blelloch | Keller | Hands-On Session | |
SAT 7/14 | Keller | Pingali | Arvind | Hands-on Session | Duff§ |
SUN 7/15 | |||||
MON 7/16 | Harper | Pingali | Arvind | Hands-On Session | |
TUE 7/17 | Harper | Pingali | Arvind | Hands-On Session | Participant Talks |
WED 7/18 | Harper | Balzer | Ghica | Bauer | |
THR 7/19 | Harper | Bauer | Balzer | Ghica | Participant Talks |
FRI 7/20 | Ghica | Balzer | Bauer | Hands-On Session | |
SAT 7/21 | Ghica | Bauer | Balzer | Harper |
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.
† On July 9 at 7:30PM, There will be a work group for participants not fully proficiant in Haskell in Deschutes Hall Room 100.
‡ On July 11 at 7:00PM, Aaron Turon will host a talk in 110 Knight Law Center.
§ On July 14 at 7:00PM, Jane Street will host a talk in 110 Knight Law Center, with reception to follow.
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 7/10 | 8:00PM | Hendrik Maarand Tallinn University of Technology |
A Generalization of Brzozowski's Derivative |
8:30PM | Seth Purcell |
A message-based programming language for secure distributed systems | |
9:00PM | Quinn Dougherty Community College of Philadelphia |
Insufficient resources, general intelligence & reasoning without axioms | |
9:30PM | Enzo Alda Lakebolt Research |
Generalizing spreadsheet with generally accepted programming language design principles ... for fun and (maybe) profit | |
THR 7/12 | 8:00PM | William DeMeo | Computational Universal Algebra |
8:30PM | Diane Hosfelt Mozilla Research |
Rust and Formal Verification | |
9:00PM | Michael Roberts | A Super-Brief Introduction to Kleene Algebra with Applications | |
TUE 7/17 | 8:00PM | Diane Hosfelt Mozilla Research |
Concurrency in Rust (and whatever else you're curious about) |
8:30PM | Soares Chen MaybeVoid.com |
Dict Typing - Solving the Haskell record problem with Data.Constraint.Dict and implicit parameters | |
9:00PM | Cyrus Liu Stevens Institute of Technology |
Temporal Logic and Program Analysis | |
THR 7/19 | 8:00PM | Siva Somayyajula Carnegie Mellon University |
A Crash Course on Homotopy Type Theory |
8:30PM | Thomas Van Strydonck KU Leuven |
Capabilities for Fully Abstract Compilation of Separation-logic-verified Code | |
9:00PM | Jake Silverman Princeton University |
Program Analysis with Vector Addition Systems | |
9:30PM | Ju Gonçalves Roskilde University |
Parallelizing effectful artworks |
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. To schedule a talk, email Jim.