Program - PEPM 2017

Write a Blog >>

Mon 16 - Tue 17 January 2017

co-located with POPL 2017

Filter

Mon 16 Jan

09:00 - 10:00: PEPM 2017 - Keynote at Salle 109, Barre 44-54
Chair(s): Ulrik Schultz

09:00 - 10:00
Talk

Compiling Untyped Lambda Calculus to Lower-Level Code by Game Semantics and Partial Evaluation (Invited Talk)

Daniil Berezun, Neil D. Jones

10:30 - 12:00: PEPM 2017 - Programming languages at Salle 109, Barre 44-54
Chair(s): Andrew Farmer

10:30 - 11:00
Talk

Lightweight Soundness for Towers of Language Extensions

Alejandro Serrano, Jurriaan Hage

11:00 - 11:30
Talk

Detecting code clones with gaps by function applications

Tsubasa Matsushita, Isao Sasano

11:30 - 12:00
Talk

PEG Parsing in Less Space Using Progressive Tabling and Dynamic Analysis

Fritz Henglein, Ulrik Terp Rasmussen

14:00 - 15:30: PEPM 2017 - Tutorial (Idris, Inside-Out) and Poster Session at Salle 109, Barre 44-54
Chair(s): Ulrik Schultz, Jeremy Yallop

14:00 - 15:00
Talk

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

David Christiansen

15:00 - 15:30
Talk

Invited posters

Nada Amin, Tiark Rompf, Oleg Kiselyov, Aggelos Biboudis, Nick Palladinos, Yannis Smaragdakis

15:00 - 15:30
Talk

Language-integrated Query with Ordering, Grouping and Outer Joins (poster)

Tatsuya Katsushima, Oleg Kiselyov

16:00 - 17:00: PEPM 2017 - Transformation (part I) at Salle 109, Barre 44-54
Chair(s): Chung-chieh Shan

16:00 - 16:30
Talk

Verification of Code Generators via Higher-Order Model Checking

Takashi Suwa, Takeshi Tsukada, Naoki Kobayashi, Atsushi Igarashi

16:30 - 17:00
Talk

Interactive data representation migration: Exploiting program dependence to aid program transformation

Krishna Narasimhan, Julia Lawall, Christoph Reichenbach

Tue 17 Jan

09:00 - 10:00: PEPM 2017 - Tutorial: reversible computing at Salle 109, Barre 44-54
Chair(s): Ulrik Schultz

09:00 - 10:00
Talk

Reversible computing from a programming language perspective

10:30 - 12:00: PEPM 2017 - Types at Salle 109, Barre 44-54
Chair(s): Robert Glück

10:30 - 11:00
Talk

Cost versus Precision for Approximate Typing for Python

Levin Fritz, Jurriaan Hage

11:00 - 11:30
Talk

Refining types using type guards in TypeScript

Ivo Gabe de Wolff, Jurriaan Hage

11:30 - 12:00
Talk

Predicting Resource Consumption of Higher-Order Workflows

Markus Klinik, Jurriaan Hage, Jan Martin Jansen, Rinus Plasmeijer

14:00 - 15:30: PEPM 2017 - Tutorial: Partial Evaluation for Language Implementation at Salle 109, Barre 44-54
Chair(s): Jeremy Yallop

14:00 - 15:30
Talk

Practical Partial Evaluation for Language Implementation with Graal & Truffle

16:00 - 17:00: PEPM 2017 - Transformation (part II) at Salle 109, Barre 44-54
Chair(s): Jurriaan Hage

16:00 - 16:30
Talk

Functional Parallels of Sequential Imperatives

Tiark Rompf, Kevin J. Brown

16:30 - 17:00
Talk

A Functional Reformulation of UnCAL Graph-Transformations: Or, Graph Transformation as Graph Reduction

Kazutaka Matsuda, Kazuyuki Asada

Mon 16 Jan 2017


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Salle 109, Barre 44-54	PEPM 2017 Keynote 09:00 - 10:00																		PEPM 2017 Programming languages 10:30 - 12:00																																										PEPM 2017 Tutorial (Idris, Inside-Out) and Poster Session 14:00 - 15:30																								PEPM 2017 Transformation (part I) 16:00 - 17:00

Tue 17 Jan 2017


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Salle 109, Barre 44-54	PEPM 2017 Tutorial: reversible computing 09:00 - 10:00																		PEPM 2017 Types 10:30 - 12:00																																										PEPM 2017 Tutorial: Partial Evaluation for Language Implementation 14:00 - 15:30																								PEPM 2017 Transformation (part II) 16:00 - 17:00

Mon 16 Jan 2017


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Salle 109, Barre 44-54	PEPM 2017 Compiling Untyped Lambda Calculus to Lower-Level Code by Game Semantics ... 09:00 - 10:00																		PEPM 2017 Lightweight Soundness for Towers of Language Extensions 10:30 - 11:00						PEPM 2017 Detecting code clones with gaps by function applications 11:00 - 11:30						PEPM 2017 PEG Parsing in Less Space Using Progressive Tabling and Dynamic Analysis 11:30 - 12:00																														PEPM 2017 Idris, Inside-Out: A Tutorial on Extending Idris in Idris 14:00 - 15:00												PEPM 2017 Invited posters 15:00 - 15:30						PEPM 2017 Language-integrated Query with Ordering, Grouping and Outer Joins (poster) 15:00 - 15:30												PEPM 2017 Verification of Code Generators via Higher-Order Model Checking 16:00 - 16:30						PEPM 2017 Interactive data representation migration: Exploiting program dependenc ... 16:30 - 17:00

Tue 17 Jan 2017


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Salle 109, Barre 44-54	PEPM 2017 Reversible computing from a programming language perspective 09:00 - 10:00																		PEPM 2017 Cost versus Precision for Approximate Typing for Python 10:30 - 11:00						PEPM 2017 Refining types using type guards in TypeScript 11:00 - 11:30						PEPM 2017 Predicting Resource Consumption of Higher-Order Workflows 11:30 - 12:00																														PEPM 2017 Practical Partial Evaluation for Language Implementation with Graal & ... 14:00 - 15:30																								PEPM 2017 Functional Parallels of Sequential Imperatives 16:00 - 16:30						PEPM 2017 A Functional Reformulation of UnCAL Graph-Transformations: Or, Graph Tr ... 16:30 - 17:00

iCalendar subscription service for your personal schedule

You first need to have starred events () in order to use the iCalendar subscription service.

Currently Viewed Program

Downloads the currently viewed program (with filters applied) in iCal format