# Programming Languages Interest Group

The Programming Languages Interest Group meets intermittently to discuss topics in programming languages, including practical aspects such as compilers, tools and optimisation, as well as theoretical foundations, logics and semantics. Meetings are informal and could include reports on work in progress, ideas, papers, systems, or tools of interest.

Announcements of meetings are sent to the mailing list pl-interest@inf.ed.ac.uk, a public, moderated, low-traffic mailing list. Please follow this link to join:

http://lists.inf.ed.ac.uk/mailman/listinfo/pl-interest

There is also a wiki page for collecting suggestions for talks or discussion topics.

We usually meet on Thursdays, 1pm, in IF 3.02. Please refer to this page for the future schedule.

## Upcoming meetings

### Autumn 2018

- September 20: Rudi Horn,
*Incremental Relational Lenses*practice talk - October 4: ICFP Trip Reports (TBC)
- October 11: Wilmer Ricciotti,
*Explicit Auditing*practice talk

## Recent meetings

### Spring 2018

- January 25: POPL Trip Reports
- February 15: Film Club,
*Bringing the web up to speed with WebAssembly* - April 5: Daniel Hillerström,
*Handlers.Js*; and Simon Fowler,*Session Types for Tierless Web Applications*(practice talks) - June 6: Roland Leißa,
*An extensible Compiler IR for multidimensional Arrays* - June 7: James McKinna,
*Deriving a Lazy Abstract Machine*paper discussion - July 5: John Longley,
*Two short theory talks* - July 12: Jan De Muijnck-Hughes,
*Type-Systems for Describing System-on-a-Chip Architectures* - July 18: Daniel Hillerström,
*Count Your Chickens Before They Hatch: Efficient Generic Search with Effect Handlers*

### Fall 2017

- September 14: ICFP trip report
- September 28: Organizational meeting
- October 5: Wilmer Ricciotti, practice talk
- October 19: Phil Wadler,
*A Judgmental Deconstruction of Modal Logic*paper discussion - October 26: Juan Casanova,
*Graff, an experiment in programming language syntax based on graphs* - November 30: Phil Wadler,
*Manifest sharing with session types*paper discussion - December 14: Maria Gorinova, SlicStan: Improving Probabilistic Programming using Information Flow Analysis

## Past meetings

### 2016-2017

- September 29, 1pm, IF 2.33, ICFP trip report and organizational meeting
- October 13, 1pm, IF 2.33, Danel Ahman,
*Recall for free: preorder-preserving state monads in F** - October 27, 1pm, IF 2.33, Philip Ginsbach,
*Uncovering Algorithmic Structures in LLVM IR with Constraint Programming* - November 10, 1pm, IF 2.33, James Cheney,
*Mechanized metatheory model-checking using alphaCheck* - November 24, 1pm, IF 2.33, Tarmo Uustalu,
*Grading monads, comonads and distributive laws* - December 8, 1pm, IF 2.33, Janek Stolarek,
*Injective Type Families* - January 12, 1pm, IF 2.33, Sam Lindley,
*Do be do be do*(practice talk for POPL) - January 26, 1pm, IF 2.33, POPL Trip Report
- February 16, 1pm, IF 2.33, CGO & PPoPP Trip Report
- March 23, 1pm. IF 2.33, Simon Fowler,
*A theory of name resolution*

### 2015-2016

- September 21, 1pm. IF 1.16. ICFP trip report and organizational meeting.
- October 5, 1pm, IF 1.16. Short talks: Simon Fowler,
*Monitoring Erlang/OTP Applications using Multiparty Session Types*, and Stefan Fehrenbach,*Domain-specific optimizations through rewriting C# code in a high-performance streaming engine* - October 19, 1pm, IF 1.16, Toomas Remmelg,
*A Functional Approach to Performance Portable GPU Code Generation: A Case Study on Matrix Multiplication* - November 5, 1pm, IF 2.33, Daniel Hillerström,
*Programming with Effect Handlers in Links* - November 12, 1pm, IF 2.33, Shayan Najd,
*Quotation for All: A Tutorial On DSLs, Quotation, and Quoted DSLs* - November 19, 1pm, IF 2.33, Juan Jose Fumero,
*Enabling distributed data processing in R -- Integrating Oracle's FastR with Apache Flink* - December 3, 12:30pm, IF 2.33, Garrett Morris,
*Absurdity and its Consequents* - December 10, 1pm, IF 2.33, Chris Cummings,
*Functional Programming in modern C++* - January 28, 1pm, IF 2.33, POPL trip report and organizational meeting

- February 18, 1pm, IF 2.33, James McKinna,
*Complements Witness Consistency, or Abstract Realisability for Lenses* - March 3, 1pm, IF 2.33, Jakub Zalewski, discussion of "Abstracting Gradual Typing", by Garcia, Clark and Tanter (POPL 2016)
- March 10, 1pm, IF 2.33, Nicholas Behr,
*Reformulating graph rewriting: the rule algebraic revelations* - March 24, 1pm, IF 2.33, Weili Fu and Paul Anderson, discussion of configuration languages
- April 7, 1pm, IF 2.33, Michel Steuwer, CGO/PPoPP/HPCA trip report
- April 28, 1pm IF 2.33, Shayan Najd,
*Embedding by Normalisation* - May 5, 1pm, IF 2.33, Peter Thanisch,
*Enhanced Type Safety for Data-Oriented Languages* - May 12, 1pm, IF 2.33, John Longley,
*Iterators, recursors and their computational power* - September 1, 1pm. IF 2.33, Stefan Fehrenbach,
*Language-integrated provenance*(practice talk for PPDP 2016) - September 12, Practice talk extravaganza, 12pm, IF 1.16

### 2014-2015

- August 27, 3pm, IF 2.33: Practice talks by Sam Lindley,
*Algebraic Effects and Effect Handlers for Idioms and Arrows*and Garrett Morris,*A Simple Semantics for Haskell Overloading* - September 22, 1pm, IF 1.16: organizational meeting, ICFP and PPDP trip reports
- October 6, 1pm, IF 1.16: Brian Campbell, overview of the Ott and Lem tools
- October 20, 1pm, IF 1.16: Lunch and aimless discussion
- November 3, 1pm, IF 1.16: Shin-Ya Katsumata,
*Parametric effect monads and semantics of effect systems* - November 10, 1pm, IF 1.16: James Cheney,
*Bisimulation and coinduction for dummies* - November 17, 1pm, IF 1.16: Bob Atkey,
*Coherence spaces and session types* - December 1, 1pm, IF 1.16: Ian Stark,
*Full abstraction for local names*(**postponed**) - January 26, 1pm, IF 1.16: Tarmo Uustalu,
*Runners for your computations*

- February 9, 1pm, IF 1.16: POPL trip report, Weili Fu and Stefan Fehrenbach
- February 23, 1pm, IF 1.16: Ian Stark,
*Full abstraction for local names* - March 9, 1pm, IF 1.16: Paper discussion led by James Cheney
- March 16, 1pm, IF 1.16: Ian Mackie,
*Linear numeral systems* - March 23, 1pm, IF 1.16: Garrett Morris,
*Type inference for substructural type systems* - April 6, 1pm, IF 1.16: TBA (this is Easter Monday, so probably any meeting will be later in the week)
- April 27, 1pm, IF 1.16: James McKinna, paper discussion
- July 13, 1pm, IF 1.16, Michael Vollmer,
*Converting Data-Parallelism to Task-Parallelism by Rewrites* - July 27, 1pm, IF 1.16, Roly Perera,
*Proof-relevant pi calculus* - August 10, 1pm, IF 1.16, Garrett Morris,
*Variations on Variants*

### 2013-2014

- October 9, 1pm, IF G.03: organizational meeting
- October 21, 1pm, IF 3.02: Roly Perera, concurrency and slicing
- November 4, 1pm, IF 3.02: Phil Wadler, highlights of ICFP 2013
- November 18, 1pm, IF 3.02: Gordon Plotkin,
*Two linear equational logics: one for trees and one for dags* - December 2, 1pm, IF 1.16: No meeting (Christophe Dubach's talk postponed because several people are away)
- December 16, 1pm, IF 1.16: Garrett Morris

- January 13, 1pm, IF 1.16: Christophe Dubach,
*Pattern Composition and Rewrite Rules for High-Performance Code Generation on Heterogeneous Systems* - January 27, 1pm, IF 1.16: Danel Ahman,
*A propositional refinement type system for algebraic effects* - February 10, 1pm, IF 1.16: James Cheney, POPL 2014 trip report
- February 24, 1pm, IF 1.16: Miles Gould,
*Evaluating the design of the R language*(Morandat et al. ECOOP 2012) - March 12, 1pm, IF 4.31: (Database Group meeting) Marco Gaboardi, Differential privacy
- March 24, 1pm, IF 1.16: Vijay Nagarajan, H
*ardware Support for Shared-memory Concurrency: Reconciling Programmability with Performance* - April 7, 1pm, IF 1.16: No talk, open discussion
- April 22, 12pm, IF 1.16: (note unusual date/time): David Baelde,
*Two approaches to the proof theory of fixed points* - May 5, 1pm, IF 1.16: Paper show-and-tell
- May 26, 1pm, IF 1.16: Discussion of " When Compilers Meet Database Systems " special issue, led by Fabian Nagel. Please read one of the papers.
- June 2, 12pm, IF 1.16: (note unusual date/time):
*Graphical algebraic foundations for monad stacks,*Ohad Kammar