Program - PEPM 2017

14:00 - 15:30: PEPM 2017 - Tutorial (Idris, Inside-Out) and Poster Session at Salle 109, Barre 44-54
Chair(s): Ulrik SchultzUniversity of Southern Denmark, Jeremy YallopUniversity of Cambridge, UK

14:00 - 15:00
Talk

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

David Thrane ChristiansenIndiana University

15:00 - 15:30
Talk

Invited posters

Nada AminEPFL, Tiark RompfPurdue University, Oleg Kiselyov, Aggelos BiboudisUniversity of Athens, Nick PalladinosNessos Information Technologies, SA, Yannis SmaragdakisUniversity of Athens

15:00 - 15:30
Talk

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

Tatsuya KatsushimaTohoku University, Japan, Oleg Kiselyov

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

16:00 - 16:30
Talk

Verification of Code Generators via Higher-Order Model Checking

Takashi SuwaUniversity of Tokyo, Japan, Takeshi TsukadaUniversity of Tokyo, Japan, Naoki KobayashiUniversity of Tokyo, Japan, Atsushi IgarashiKyoto University

16:30 - 17:00
Talk

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

Krishna NarasimhanGoethe University, Julia LawallInria/LIP6, Christoph ReichenbachGoethe University

Tue 17 Jan

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

09:00 - 10:00
Talk

Reversible computing from a programming language perspective

Robert Glück

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 FritzUtrecht University, Jurriaan HageUtrecht University

11:00 - 11:30
Talk

Refining types using type guards in TypeScript

Ivo Gabe de WolffUtrecht University, Jurriaan HageUtrecht University

11:30 - 12:00
Talk

Predicting Resource Consumption of Higher-Order Workflows

Markus KlinikRadboud University Nijmegen, Jurriaan HageUtrecht University, Jan Martin JansenNetherlands Defence Academy, Rinus PlasmeijerRadboud University Nijmegen

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

14:00 - 15:30
Talk

Practical Partial Evaluation for Language Implementation with Graal & Truffle

Gilles Duboscq

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

16:00 - 16:30
Talk

Functional Parallels of Sequential Imperatives

Tiark RompfPurdue University, Kevin J. BrownStanford University

16:30 - 17:00
Talk

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

Kazutaka Matsuda, Kazuyuki AsadaUniversity of Tokyo

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 Keynote 09:00 - 10:00																		PEPM Programming languages 10:30 - 12:00																																										PEPM Tutorial (Idris, Inside-Out) and Poster Session 14:00 - 15:30																								PEPM 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 Tutorial: reversible computing 09:00 - 10:00																		PEPM Types 10:30 - 12:00																																										PEPM Tutorial: Partial Evaluation for Language Implementation 14:00 - 15:30																								PEPM 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 Compiling Untyped Lambda Calculus to Lower-Level Code by Game Semantics ... 09:00 - 10:00																		PEPM Lightweight Soundness for Towers of Language Extensions 10:30 - 11:00						PEPM Detecting code clones with gaps by function applications 11:00 - 11:30						PEPMBest Paper PEG Parsing in Less Space Using Progressive Tabling and Dynamic Analysis 11:30 - 12:00																														PEPM Idris, Inside-Out: A Tutorial on Extending Idris in Idris 14:00 - 15:00												PEPM Invited posters 15:00 - 15:30						PEPM Language-integrated Query with Ordering, Grouping and Outer Joins (poster) 15:00 - 15:30												PEPM Verification of Code Generators via Higher-Order Model Checking 16:00 - 16:30						PEPM 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 Reversible computing from a programming language perspective 09:00 - 10:00																		PEPM Cost versus Precision for Approximate Typing for Python 10:30 - 11:00						PEPM Refining types using type guards in TypeScript 11:00 - 11:30						PEPM Predicting Resource Consumption of Higher-Order Workflows 11:30 - 12:00																														PEPM Practical Partial Evaluation for Language Implementation with Graal & ... 14:00 - 15:30																								PEPM Functional Parallels of Sequential Imperatives 16:00 - 16:30						PEPM 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

PEPM 2017 Program

Mon 16 Jan

Tue 17 Jan

Mon 16 Jan 2017

PEPM

PEPM

PEPM

PEPM

Tue 17 Jan 2017

PEPM

PEPM

PEPM

PEPM

Mon 16 Jan 2017

Tue 17 Jan 2017

Tracks