[Agda] Partial Evaluation & Program Manipulation (PEPM'17): Call for Participation

[Jeremy Yallop]

[Readers of this list may find David Christiansen's tutorial on
extending Idris in Idris particularly interesting.]

CALL FOR PARTICIPATION
Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM 2017)

http://conf.researchr.org/home/PEPM-2017

Paris, France, January 16th - 17th, 2017
(co-located with POPL 2017)

Registration
------------

http://popl17.sigplan.org/attending/registration

Early registration deadline: Saturday 17th Dec 2016

Programme
---------

Monday 16th January

09:00-10:00: Keynote

   Compiling Untyped Lambda Calculus to Lower-Level Code by Game
Semantics and Partial Evaluation
     Neil D. Jones (with Daniil Berezun)

10:30-12:00: Programming languages

   Lightweight Soundness for Towers of Language Extensions
     Alejandro Serrano, Jurriaan Hage

   Detecting code clones with gaps by function applications
     Tsubasa Matsushita, Isao Sasano

   PEG Parsing in Less Space Using Progressive Tabling and Dynamic Analysis
     Fritz Henglein, Ulrik Terp Rasmussen

14:00-15:30: Tutorial and Poster Session

   Idris, Inside-Out: A Tutorial on Extending Idris in Idris
      David Christiansen

   Language-integrated Query with Ordering, Grouping and Outer Joins (poster)
      Tatsuya Katsushima, Oleg Kiselyov

16:00-17:00: Transformation (part I)

   Verification of Code Generators via Higher-Order Model Checking
      Takashi Suwa, Takeshi Tsukada, Naoki Kobayashi, Atsushi Igarashi

   Interactive data representation migration: Exploiting program
dependence to aid program transformation
      Krishna Narasimhan, Julia Lawall, Christoph Reichenbach

Tue 17th January

09:00-10:00: Tutorial

   Reversible computing from a programming language perspective
      Robert Glück

10:30-12:00: Types

   Cost versus Precision for Approximate Typing for Python
      Levin Fritz, Jurriaan Hage

   Refining types using type guards in TypeScript
      Ivo Gabe de Wolff, Jurriaan Hage

   Predicting Resource Consumption of Higher-Order Workflows
      Markus Klinik, Jurriaan Hage, Jan Martin Jansen, Rinus Plasmeijer

14:00-15:30: Tutorial

   Practical Partial Evaluation for Language Implementation with Graal & Truffle
      Gilles Duboscq

16:00-17:00: Transformation (part II)

   Functional Parallels of Sequential Imperatives
      Tiark Rompf, Kevin J. Brown

   A Functional Reformulation of UnCAL Graph-Transformations: Or,
Graph Transformation as Graph Reduction
      Kazutaka Matsuda, Kazuyuki Asada