Program - PEPM 2017

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 16 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00	KeynotePEPM 2017 at Salle 109, Barre 44-54 Chair(s): Ulrik Pagh SchultzUniversity of Southern Denmark

09:00 60m Talk		Compiling Untyped Lambda Calculus to Lower-Level Code by Game Semantics and Partial Evaluation (Invited Talk) PEPM 2017 Daniil BerezunJetBrains, Russia, Neil D. JonesUniversity of Copenhagen, Danmark DOI

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

10:30 30m Talk		Lightweight Soundness for Towers of Language Extensions PEPM 2017 Alejandro SerranoUtrecht University, Jurriaan HageUtrecht University
11:00 30m Talk		Detecting code clones with gaps by function applications PEPM 2017 Tsubasa MatsushitaShibaura Institute of Technology, Isao SasanoShibaura Institute of Technology
11:30 30m Talk		PEG Parsing in Less Space Using Progressive Tabling and Dynamic AnalysisBest Paper PEPM 2017 Fritz HengleinDIKU, Denmark, Ulrik Terp RasmussenDIKU, University of Copenhagen

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

14:00 60m Talk		Idris, Inside-Out: A Tutorial on Extending Idris in Idris PEPM 2017 David Thrane ChristiansenIndiana University
15:00 30m Talk		Invited posters PEPM 2017 Nada AminEPFL, Tiark RompfPurdue University, Oleg Kiselyov, Aggelos BiboudisUniversity of Athens, Nick PalladinosNessos Information Technologies, SA, Yannis SmaragdakisUniversity of Athens
15:00 30m Talk		Language-integrated Query with Ordering, Grouping and Outer Joins (poster) PEPM 2017 Tatsuya KatsushimaTohoku University, Japan, Oleg Kiselyov

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

16:00 30m Talk		Verification of Code Generators via Higher-Order Model Checking PEPM 2017 Takashi SuwaUniversity of Tokyo, Japan, Takeshi TsukadaUniversity of Tokyo, Japan, Naoki KobayashiUniversity of Tokyo, Japan, Atsushi IgarashiKyoto University
16:30 30m Talk		Interactive data representation migration: Exploiting program dependence to aid program transformation PEPM 2017 Krishna NarasimhanGoethe University, Julia LawallInria/LIP6, Christoph ReichenbachGoethe University

Tue 17 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

09:00 60m Talk		Reversible computing from a programming language perspective PEPM 2017 Robert Glück

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

10:30 30m Talk		Cost versus Precision for Approximate Typing for Python PEPM 2017 Levin FritzUtrecht University, Jurriaan HageUtrecht University
11:00 30m Talk		Refining types using type guards in TypeScript PEPM 2017 Ivo Gabe de WolffUtrecht University, Jurriaan HageUtrecht University
11:30 30m Talk		Predicting Resource Consumption of Higher-Order Workflows PEPM 2017 Markus KlinikRadboud University Nijmegen, Jurriaan HageUtrecht University, Jan Martin JansenNetherlands Defence Academy, Rinus PlasmeijerRadboud University Nijmegen

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

14:00 90m Talk		Practical Partial Evaluation for Language Implementation with Graal & Truffle PEPM 2017 Gilles Duboscq

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

16:00 30m Talk		Functional Parallels of Sequential Imperatives PEPM 2017 Tiark RompfPurdue University, Kevin J. BrownStanford University
16:30 30m Talk		A Functional Reformulation of UnCAL Graph-Transformations: Or, Graph Transformation as Graph Reduction PEPM 2017 Kazutaka Matsuda, Kazuyuki AsadaUniversity of Tokyo

Mon 16 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


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
Salle 109, Barre 44-54	PEPM 2017 Keynote																		PEPM 2017 Programming languages																																										PEPM 2017 Tutorial (Idris, Inside-Out) and Poster Session																								PEPM 2017 Transformation (part I)

Tue 17 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


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
Salle 109, Barre 44-54	PEPM 2017 Tutorial: reversible computing																		PEPM 2017 Types																																										PEPM 2017 Tutorial: Partial Evaluation for Language Implementation																								PEPM 2017 Transformation (part II)

Mon 16 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


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
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 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
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


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
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

Filter Program

Mon 16 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 16 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

PEPM 2017

PEPM 2017

PEPM 2017

PEPM 2017

Tue 17 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

PEPM 2017

PEPM 2017

PEPM 2017

PEPM 2017

Mon 16 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

PEPM 2017 Program

Filter Program

Program Display Configuration

Mon 16 Jan Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 Jan Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 16 Jan Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

PEPM 2017

PEPM 2017

PEPM 2017

PEPM 2017

Tue 17 Jan Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

PEPM 2017

PEPM 2017

PEPM 2017

PEPM 2017

Mon 16 Jan Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 Jan Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 16 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 16 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 16 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change