We are pleased to announce the program for the 17th annual Oregon Programming Languages Summer School (OPLSS) to be held from July 3rd to July 21th, 2018 at the University of Oregon in Eugene. The first week, from July 3rd to July 7th, will be an introductory session covering the foundations of programming languages (semantics, types, proof techniques, etc.). The introductory session will help attendees who have not taken a course on this material prepare for the rest of the school. Please contact the organizers if you have questions about whether the introduction session will be helpful given your background. The registration deadline is April 2nd, 2018. Registration for the first week is optional. Full information on registration and scholarships can be found here: http://www.cs.uoregon.edu/Activities/summerschool The program is as follows: July 3-7 Foundations of Programming Languages Paul Downen University of Oregon Jan Hoffman Carnegie Mellon University July 9-21 PARALLELISM AND CONCURRENCY Umut Acar - Carnegie Mellon University Parallel Algorithms Arvind - Massachusetts Institute of Technology Dataflow: A retrospective. Atomicity in modular design Stephanie Balzer - Carnegie Mellon University Session-Typed Concurrent Programming Andrej Bauer - University of Ljubljana Algebraic Effects and Handlers Guy Blelloch - Carnegie Mellon University Parallel cost semantics and bounded implementations Dan R. Ghica - University of Birmingham Game Semantics Robert Harper - Carnegie Mellon University Computational Type Theory Gabriele Keller - University of New South Wales Purely Functional Array Programming and its Compilation to High-Performance Architectures Keshav Pingali - University of Texas, Austin Parallel program = Operator + Schedule + Parallel Data Structures Vijay Saraswat - Goldman Sachs Resilient X10 We hope you can join us for this excellent program. Zena Ariola, Guy Blelloch, Paul Downen, and Robert Harper
