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
The sessions are non-overlapping, so participants will have the opportunity to attend all lectures. Each lecture is 80 minutes, including time for questions.
|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§|
|MON 7/16||Harper||Pingali||Arvind||Hands-On Session|
|TUE 7/17||Harper||Pingali||Arvind||Hands-On Session||Participant Talks|
|THR 7/19||Harper||Bauer||Balzer||Ghica||Participant Talks|
|FRI 7/20||Ghica||Balzer||Bauer||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.
† 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.
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.
|TUE 7/10||8:00PM||Hendrik Maarand
Tallinn University of Technology
|A Generalization of Brzozowski's Derivative|
||A message-based programming language for secure distributed systems|
Community College of Philadelphia
|Insufficient resources, general intelligence & reasoning without axioms|
|Generalizing spreadsheet with generally accepted programming language design principles ... for fun and (maybe) profit|
|THR 7/12||8:00PM||William DeMeo||Computational Universal Algebra|
|Rust and Formal Verification|
|9:00PM||Michael Roberts||A Super-Brief Introduction to Kleene Algebra with Applications|
|TUE 7/17||8:00PM||Diane Hosfelt
|Concurrency in Rust (and whatever else you're curious about)|
|Dict Typing - Solving the Haskell record problem with Data.Constraint.Dict and implicit parameters|
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
|Capabilities for Fully Abstract Compilation of Separation-logic-verified Code|
|Program Analysis with Vector Addition Systems|
|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.