Off the Beaten Track 2017
Wed 18 - Fri 20 January 2017
co-located with POPL 2017
POPL 2017 (series) / Off the Beaten Track 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 OneOBT at Salle 109, Barre 44-54
09:00
60m
Talk
Keynote talk: Reasoning about Functional Programs: Exploring, Testing and Inductive Proofs.
OBT
Moa Johansson Chalmers University of Technology
10:30 - 12:10
Session TwoOBT at Salle 109, Barre 44-54
10:30
25m
Talk
Can we machine-learn programming language semantics?
OBT
Dan Ghica University of Birmingham, Khulood Alyahya , Victor Patentasu
File Attached
10:55
25m
Talk
How Far Apart Should Those Programs Be?
OBT
Ugo Dal Lago University of Bologna, France
File Attached
11:20
25m
Talk
Programming Quantum Annealers
OBT
George Stelle , Scott Pakin
File Attached
11:45
25m
Talk
Understanding the POSIX Shell as a Programming Language
OBT
Michael Greenberg Pomona College
File Attached
14:00 - 15:25
Session ThreeOBT at Salle 109, Barre 44-54
14:00
60m
Talk
Keynote talk: Varieties of Programming Experience
OBT
Alan Blackwell University of Cambridge
15:00
25m
Talk
Bootstrapping the next generation of mathematical social machines
OBT
Ursula Martin , Alison Pease , Joe Corneli
File Attached
16:00 - 18:05
Session FourOBT at Salle 109, Barre 44-54
16:00
25m
Talk
Designing extensible, domain-specific languages for mathematical diagrams
OBT
Katherine Ye , Keenan Crane , Jonathan Aldrich Carnegie Mellon University, Joshua Sunshine Carnegie Mellon University
File Attached
16:25
25m
Talk
Laziness Boxes You In
OBT
Jose Calderon Galois, Inc., Stephen Magill
File Attached
16:50
25m
Talk
Programming with Epistemic Logic
OBT
Markus Eger , Chris Martens Carnegie Mellon University
File Attached
17:15
25m
Talk
Preventing False Discoveries in Adaptive Data Analysis: a Programming Language approach
OBT
Marco Gaboardi SUNY Buffalo, USA
File Attached
17:40
25m
Talk
Running Incomplete Programs
OBT
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

OBT

Session One

OBT

Session Two

OBT

Session Three

OBT

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