From: Jeremy Yallop <yallop@gmail.com>
To: Caml List <caml-list@inria.fr>
Cc: Ulrik Pagh Schultz <ups@mmmi.sdu.dk>
Subject: [Caml-list] Partial Evaluation & Program Manipulation (PEPM'17): Call for Participation
Date: Fri, 9 Dec 2016 17:31:30 +0000 [thread overview]
Message-ID: <CAAxsn=Hv6VOv02veaziH2g_E4nqXzfKQg8Tvtf6yvX17FNcr2g@mail.gmail.com> (raw)
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
reply other threads:[~2016-12-09 17:31 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='CAAxsn=Hv6VOv02veaziH2g_E4nqXzfKQg8Tvtf6yvX17FNcr2g@mail.gmail.com' \
--to=yallop@gmail.com \
--cc=caml-list@inria.fr \
--cc=ups@mmmi.sdu.dk \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).