POPL 2018
Sun 7 - Sat 13 January 2018 Los Angeles, California, United States
POPL 2018 (series) / Omni Hotel /

Room information: Crocker

VenueOmni Hotel
Room nameCrocker
Floor0
Room InformationNo extra information available
Program

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

Mon 8 Jan

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
Session 1-1PEPM at Crocker
Chair(s): Hsiang-Shang ‘Josh’ Ko National Institute of Informatics, Japan
10:30
60m
Talk
Developments in Property-Based Testing (Invited Talk)
PEPM
Jan Midtgaard University of Southern Denmark
DOI
11:30
30m
Talk
Selective CPS Transformation for Shift and Reset
PEPM
Kenichi Asai Ochanomizu University, Chihiro Uehara Ochanomizu University
DOI
14:00 - 15:30
Session 1-2PEPM at Crocker
Chair(s): Kenichi Asai Ochanomizu University
14:00
30m
Talk
A Guess-and-Assume Approach to Loop Fusion for Program Verification
PEPM
Akifumi Imanishi Kyoto University, Kohei Suenaga Graduate School of Informatics, Kyoto University, Atsushi Igarashi Kyoto University, Japan
DOI
14:30
30m
Talk
Gradually Typed Symbolic Expressions
PEPM
David Broman KTH Royal Institute of Technology, Jeremy G. Siek Indiana University, USA
DOI
15:00
30m
Talk
On the Cost of Type-Tag Soundness
PEPM
Ben Greenman Northeastern University, Zeina Migeed University of California, Los Angeles
DOI
16:00 - 17:30
Session 1-3PEPM at Crocker
Chair(s): Frank Pfenning Carnegie Mellon University, USA
16:00
60m
Talk
The Simple Essence of Automatic Differentiation (Invited Talk)
PEPM
Conal Elliott Target, USA
Pre-print

Tue 9 Jan

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
Session 2-1PEPM at Crocker
Chair(s): Fritz Henglein DIKU, Denmark
10:30
60m
Talk
Challenges in the Design and Compilation of Programming Languages for Exascale Machines (Invited Talk)
PEPM
Alex Aiken Stanford University
11:30
30m
Talk
Checking Cryptographic API Usage with Composable Annotations (Short Paper)
PEPM
Duncan Mitchell Royal Holloway, University of London, L. Thomas van Binsbergen Royal Holloway University of London, Blake Loring , Johannes Kinder Royal Holloway, University of London
DOI
14:00 - 15:30
Session 2-2PEPM at Crocker
Chair(s): Kohei Suenaga Graduate School of Informatics, Kyoto University
14:00
30m
Talk
Partially Static Data as Free Extension of Algebras (Short Paper)
PEPM
Jeremy Yallop University of Cambridge, UK, Tamara von Glehn University of Cambridge, Ohad Kammar University of Oxford
Pre-print
14:30
30m
Talk
Program Generation for ML Modules (Short Paper)
PEPM
Takahisa Watanabe University of Tsukuba, Japan, Yukiyoshi Kameyama University of Tsukuba, Japan
DOI
15:00
30m
Talk
Recursive Programs in Normal Form (Short Paper)
PEPM
Barry Jay University of Technology Sydney
DOI
16:00 - 17:30
Session 2-3PEPM at Crocker
Chair(s): Barry Jay University of Technology Sydney
16:00
10m
Talk
Towards Language-independent Code Synthesis (Poster/Demo Talk)
PEPM
Jan Bessai Technical University Dortmund, Boris Düdder University of Copenhagen, George Heineman Worcester Polytechnic Institute, Jakob Rehof Technical University Dortmund
File Attached
16:10
10m
Talk
Dataflow Metaprogramming (Poster/Demo Talk)
PEPM
Dominic Duggan , Jianhua Yao Stevens Institute of Technology
16:20
10m
Talk
An Approach to Generating Text-Based IDEs with Syntax Completion (Poster/Demo Talk)
PEPM
Isao Sasano Shibaura Institute of Technology
16:30
10m
Talk
Modular Macros (Poster/Demo Talk)
PEPM
Olivier Nicole , Leo White Jane Street, Jeremy Yallop University of Cambridge, UK
File Attached
16:40
10m
Talk
Equations: From Clauses to Splittings to Functions (Poster/Demo Talk)
PEPM
Cyprien Mangin , Matthieu Sozeau Inria
File Attached
16:50
40m
Other
Posters/Demos
PEPM

Mon 8 Jan

Displayed time zone: Tijuana, Baja California change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Crocker

PEPM

PEPM

Session 1-1

PEPM

Session 1-2

PEPM

Session 1-3

Tue 9 Jan

Displayed time zone: Tijuana, Baja California change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Crocker

PEPM

PEPM

Session 2-1

PEPM

Session 2-2

PEPM

Session 2-3

Mon 8 Jan

Displayed time zone: Tijuana, Baja California change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Crocker
PEPM
Developments in Property-Based Testing (Invited Talk)
10:30 - 11:30
PEPM
Selective CPS Transformation for Shift and Reset
11:30 - 12:00
PEPM
A Guess-and-Assume Approach to Loop Fusion for Program Verification
14:00 - 14:30
PEPM
Gradually Typed Symbolic Expressions
14:30 - 15:00
PEPM
On the Cost of Type-Tag Soundness
15:00 - 15:30
PEPM
The Simple Essence of Automatic Differentiation (Invited Talk)
16:00 - 17:00

Tue 9 Jan

Displayed time zone: Tijuana, Baja California change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Crocker
PEPM
Challenges in the Design and Compilation of Programming Languages for E ...
10:30 - 11:30
PEPM
Checking Cryptographic API Usage with Composable Annotations (Short Paper)
11:30 - 12:00
PEPM
Partially Static Data as Free Extension of Algebras (Short Paper)
14:00 - 14:30
PEPM
Program Generation for ML Modules (Short Paper)
14:30 - 15:00
PEPM
Recursive Programs in Normal Form (Short Paper)
15:00 - 15:30
PEPM
Towards Language-independent Code Synthesis (Poster/Demo Talk)
16:00 - 16:10
PEPM
Dataflow Metaprogramming (Poster/Demo Talk)
16:10 - 16:20
PEPM
An Approach to Generating Text-Based IDEs with Syntax Completion (Poste ...
16:20 - 16:30
PEPM
Modular Macros (Poster/Demo Talk)
16:30 - 16:40
PEPM
Equations: From Clauses to Splittings to Functions (Poster/Demo Talk)
16:40 - 16:50
PEPM
Posters/Demos
16:50 - 17:30