Write a Blog >>
VMCAI 2017
Sun 15 - Tue 17 January 2017
co-located with POPL 2017
POPL 2017 (series) / VMCAI 2017 (series) / Paris Jussieu /

Room information: Salle 109, Barre 44-54

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

09:15 - 10:00
Session ISCM at Salle 109, Barre 44-54
09:15
45m
Talk
What is Secure Compilation? Part I
SCM
Marco Patrignani MPI-SWS, Germany
Link to publication
10:30 - 12:00
Session IISCM at Salle 109, Barre 44-54
10:30
10m
Talk
What is Secure Compilation? Part II (Short talk)
SCM
Cătălin Hriţcu Inria Paris
Link to publication
10:40
10m
Talk
Can relational logic facilitate secure compilation? (Short talk)
SCM
David Naumann Stevens Institute of Technology
File Attached
10:50
10m
Talk
Full Abstraction for Language Design (Short talk)
SCM
Gabriel Scherer Northeastern University
File Attached
11:00
10m
Talk
Cogent: Where we Stand and What Comes Next (Short talk)
SCM
Christine Rizkallah University of Pennsylvania, USA
File Attached
11:15
45m
Talk
Enforcing Well-Bracketed Control Flow on a Capability Machine using Local Capabilities
SCM
Lau Skorstengaard
File Attached
14:00 - 15:30
Session IIISCM at Salle 109, Barre 44-54
14:00
45m
Talk
Linking Types: Secure compilation of multi-language programs
SCM
Daniel Patterson Northeastern University
File Attached
14:45
45m
Talk
Fully-Abstract Compilation of Parametric Polymorphism into Dynamic Sealing
SCM
Dominique Devriese iMinds - Distrinet, KU Leuven
File Attached
16:00 - 17:30
Session IVSCM at Salle 109, Barre 44-54
16:00
45m
Talk
Software Fault Isolation avec CompCert
SCM
Frédéric Besson
File Attached
16:45
45m
Talk
Security preserving compilation of low-level programs embedded in F*
SCM
Jonathan Protzenko Microsoft Research
File Attached

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
Robert Glück
10:30 - 12:00
TypesPEPM at Salle 109, Barre 44-54
Chair(s): Robert Glück
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
Gilles Duboscq
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

09:00 - 10:00
Session OneOff the Beaten Track at Salle 109, Barre 44-54
09:00
60m
Talk
Keynote talk: Reasoning about Functional Programs: Exploring, Testing and Inductive Proofs.
Off the Beaten Track
Moa Johansson Chalmers University of Technology
10:30 - 12:10
Session TwoOff the Beaten Track at Salle 109, Barre 44-54
10:30
25m
Talk
Can we machine-learn programming language semantics?
Off the Beaten Track
Dan Ghica University of Birmingham, Khulood Alyahya , Victor Patentasu
File Attached
10:55
25m
Talk
How Far Apart Should Those Programs Be?
Off the Beaten Track
Ugo Dal Lago University of Bologna, France
File Attached
11:20
25m
Talk
Programming Quantum Annealers
Off the Beaten Track
George Stelle , Scott Pakin
File Attached
11:45
25m
Talk
Understanding the POSIX Shell as a Programming Language
Off the Beaten Track
Michael Greenberg Pomona College
File Attached
14:00 - 15:25
Session ThreeOff the Beaten Track at Salle 109, Barre 44-54
14:00
60m
Talk
Keynote talk: Varieties of Programming Experience
Off the Beaten Track
Alan Blackwell University of Cambridge
15:00
25m
Talk
Bootstrapping the next generation of mathematical social machines
Off the Beaten Track
Ursula Martin , Alison Pease , Joe Corneli
File Attached
16:00 - 18:05
Session FourOff the Beaten Track at Salle 109, Barre 44-54
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
Jose Calderon Galois, Inc., Stephen Magill
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

SCM

Session I

SCM

Session II

SCM

Session III

SCM

Session IV

Mon 16 Jan

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

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

PEPM

Keynote

PEPM

Programming languages

PEPM

Tutorial (Idris, Inside-Out) and Poster Session

PEPM

Transformation (part I)

Tue 17 Jan

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

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

PEPM

Tutorial: reversible computing

PEPM

Types

PEPM

Tutorial: Partial Evaluation for Language Implementation

PEPM

Transformation (part II)

Sat 21 Jan

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

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

Off the Beaten Track

Session One

Off the Beaten Track

Session Two

Off the Beaten Track

Session Three

Off the Beaten Track

Session Four

Sun 15 Jan

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Salle 109, Barre 44-54
SCM
What is Secure Compilation? Part I
09:15 - 10:00
SCM
What is Secure Compilation? Part II (Short talk)
10:30 - 10:40
SCM
Can relational logic facilitate secure compilation? (Short talk)
10:40 - 10:50
SCM
Full Abstraction for Language Design (Short talk)
10:50 - 11:00
SCM
Cogent: Where we Stand and What Comes Next (Short talk)
11:00 - 11:10
SCM
Enforcing Well-Bracketed Control Flow on a Capability Machine using Loc ...
11:15 - 12:00
SCM
Linking Types: Secure compilation of multi-language programs
14:00 - 14:45
SCM
Fully-Abstract Compilation of Parametric Polymorphism into Dynamic Sealing
14:45 - 15:30
SCM
Software Fault Isolation avec CompCert
16:00 - 16:45
SCM
Security preserving compilation of low-level programs embedded in F*
16:45 - 17:30

Mon 16 Jan

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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

Sat 21 Jan

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Salle 109, Barre 44-54
Off the Beaten Track
Keynote talk: Reasoning about Functional Programs: Exploring, Testing a ...
09:00 - 10:00
Off the Beaten Track
Can we machine-learn programming language semantics?
10:30 - 10:55
Off the Beaten Track
How Far Apart Should Those Programs Be?
10:55 - 11:20
Off the Beaten Track
Programming Quantum Annealers
11:20 - 11:45
Off the Beaten Track
Understanding the POSIX Shell as a Programming Language
11:45 - 12:10
Off the Beaten Track
Keynote talk: Varieties of Programming Experience
14:00 - 15:00
Off the Beaten Track
Bootstrapping the next generation of mathematical social machines
15:00 - 15:25
Off the Beaten Track
Designing extensible, domain-specific languages for mathematical diagrams
16:00 - 16:25
Off the Beaten Track
Laziness Boxes You In
16:25 - 16:50
Off the Beaten Track
Programming with Epistemic Logic
16:50 - 17:15
Off the Beaten Track
Preventing False Discoveries in Adaptive Data Analysis: a Programming L ...
17:15 - 17:40
Off the Beaten Track
Running Incomplete Programs
17:40 - 18:05