University of Oregon University of Oregon

Parallelism and Concurrency

OPLSS 2018 — July 9-21, 2018
Optional Review — July 3-8, 2018

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 Excursion
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.