Write a Blog >>
VMCAI 2017
Sun 15 - Tue 17 January 2017
co-located with POPL 2017
VenueParis Jussieu
Room nameSalle 109, Barre 44-54
Floor2
Room number109
Capacity80
Room Information

This room is located in barre 44-54.

Program

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

Sun 15 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 16 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00
KeynotePEPM at Salle 109, Barre 44-54
Chair(s): Ulrik Pagh Schultz University of Southern Denmark
09:00
60m
Talk
Compiling Untyped Lambda Calculus to Lower-Level Code by Game Semantics and Partial Evaluation (Invited Talk)
PEPM
Daniil Berezun JetBrains, Russia, Neil D. Jones University of Copenhagen, Danmark
DOI
10:30 - 12:00
Programming languagesPEPM at Salle 109, Barre 44-54
Chair(s): Andrew Farmer Facebook
10:30
30m
Talk
Lightweight Soundness for Towers of Language Extensions
PEPM
Alejandro Serrano Utrecht University, Jurriaan Hage Utrecht University
11:00
30m
Talk
Detecting code clones with gaps by function applications
PEPM
Tsubasa Matsushita Shibaura Institute of Technology, Isao Sasano Shibaura Institute of Technology
11:30
30m
Talk
PEG Parsing in Less Space Using Progressive Tabling and Dynamic AnalysisBest Paper
PEPM
Fritz Henglein DIKU, Denmark, Ulrik Terp Rasmussen DIKU, University of Copenhagen
14:00 - 15:30
Tutorial (Idris, Inside-Out) and Poster SessionPEPM at Salle 109, Barre 44-54
Chair(s): Ulrik Pagh Schultz University of Southern Denmark, Jeremy Yallop University of Cambridge, UK
14:00
60m
Talk
Idris, Inside-Out: A Tutorial on Extending Idris in Idris
PEPM
David Thrane Christiansen Indiana University
15:00
30m
Talk
Invited posters
PEPM
Nada Amin EPFL, Tiark Rompf Purdue University, Oleg Kiselyov , Aggelos Biboudis University of Athens, Nick Palladinos Nessos Information Technologies, SA, Yannis Smaragdakis University of Athens
15:00
30m
Talk
Language-integrated Query with Ordering, Grouping and Outer Joins (poster)
PEPM
Tatsuya Katsushima Tohoku University, Japan, Oleg Kiselyov
16:00 - 17:00
Transformation (part I)PEPM at Salle 109, Barre 44-54
Chair(s): Chung-chieh Shan Indiana University, USA
16:00
30m
Talk
Verification of Code Generators via Higher-Order Model Checking
PEPM
Takashi Suwa University of Tokyo, Japan, Takeshi Tsukada University of Tokyo, Japan, Naoki Kobayashi University of Tokyo, Japan, Atsushi Igarashi Kyoto University
16:30
30m
Talk
Interactive data representation migration: Exploiting program dependence to aid program transformation
PEPM
Krishna Narasimhan Goethe University, Julia Lawall Inria/LIP6, Christoph Reichenbach Goethe University

Tue 17 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00
Tutorial: reversible computingPEPM at Salle 109, Barre 44-54
Chair(s): Ulrik Pagh Schultz University of Southern Denmark
09:00
60m
Talk
Reversible computing from a programming language perspective
PEPM
10:30 - 12:00
10:30
30m
Talk
Cost versus Precision for Approximate Typing for Python
PEPM
Levin Fritz Utrecht University, Jurriaan Hage Utrecht University
11:00
30m
Talk
Refining types using type guards in TypeScript
PEPM
Ivo Gabe de Wolff Utrecht University, Jurriaan Hage Utrecht University
11:30
30m
Talk
Predicting Resource Consumption of Higher-Order Workflows
PEPM
Markus Klinik Radboud University Nijmegen, Jurriaan Hage Utrecht University, Jan Martin Jansen Netherlands Defence Academy, Rinus Plasmeijer Radboud University Nijmegen
14:00 - 15:30
Tutorial: Partial Evaluation for Language ImplementationPEPM at Salle 109, Barre 44-54
Chair(s): Jeremy Yallop University of Cambridge, UK
14:00
90m
Talk
Practical Partial Evaluation for Language Implementation with Graal & Truffle
PEPM
16:00 - 17:00
Transformation (part II)PEPM at Salle 109, Barre 44-54
Chair(s): Jurriaan Hage Utrecht University
16:00
30m
Talk
Functional Parallels of Sequential Imperatives
PEPM
Tiark Rompf Purdue University, Kevin J. Brown Stanford University
16:30
30m
Talk
A Functional Reformulation of UnCAL Graph-Transformations: Or, Graph Transformation as Graph Reduction
PEPM
Kazutaka Matsuda , Kazuyuki Asada University of Tokyo

Sat 21 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 18:05
16:00
25m
Talk
Designing extensible, domain-specific languages for mathematical diagrams
Off the Beaten Track
Katherine Ye , Keenan Crane , Jonathan Aldrich Carnegie Mellon University, Joshua Sunshine Carnegie Mellon University
File Attached
16:25
25m
Talk
Laziness Boxes You In
Off the Beaten Track
File Attached
16:50
25m
Talk
Programming with Epistemic Logic
Off the Beaten Track
Markus Eger , Chris Martens Carnegie Mellon University
File Attached
17:15
25m
Talk
Preventing False Discoveries in Adaptive Data Analysis: a Programming Language approach
Off the Beaten Track
Marco Gaboardi SUNY Buffalo, USA
File Attached
17:40
25m
Talk
Running Incomplete Programs
Off the Beaten Track
Ian Voysey Carnegie Mellon University, Cyrus Omar Carnegie Mellon University, Matthew Hammer University of Colorado, Boulder
File Attached

Sun 15 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Salle 109, Barre 44-54

Mon 16 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sat 21 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change