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

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

--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs