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
Times are displayed in time zone: Tijuana, Baja California change

10:30 - 12:00
Session 1-1PEPM at Crocker
Chair(s): Hsiang-Shang ‘Josh’ KoNational Institute of Informatics, Japan
10:30
60m
Talk
Developments in Property-Based Testing (Invited Talk)
PEPM
Jan MidtgaardUniversity of Southern Denmark
DOI
11:30
30m
Talk
Selective CPS Transformation for Shift and Reset
PEPM
Kenichi AsaiOchanomizu University, Chihiro UeharaOchanomizu University
DOI
14:00 - 15:30
Session 1-2PEPM at Crocker
Chair(s): Kenichi AsaiOchanomizu University
14:00
30m
Talk
A Guess-and-Assume Approach to Loop Fusion for Program Verification
PEPM
Akifumi ImanishiKyoto University, Kohei SuenagaGraduate School of Informatics, Kyoto University, Atsushi IgarashiKyoto University, Japan
DOI
14:30
30m
Talk
Gradually Typed Symbolic Expressions
PEPM
David BromanKTH Royal Institute of Technology, Jeremy G. SiekIndiana University, USA
DOI
15:00
30m
Talk
On the Cost of Type-Tag Soundness
PEPM
Ben GreenmanNortheastern University, Zeina MigeedUniversity of California, Los Angeles
DOI
16:00 - 17:30
Session 1-3PEPM at Crocker
Chair(s): Frank PfenningCarnegie Mellon University, USA
16:00
60m
Talk
The Simple Essence of Automatic Differentiation (Invited Talk)
PEPM
Conal ElliottTarget, USA
Pre-print

Tue 9 Jan
Times are displayed in time zone: Tijuana, Baja California change

10:30 - 12:00
Session 2-1PEPM at Crocker
Chair(s): Fritz HengleinDIKU, Denmark
10:30
60m
Talk
Challenges in the Design and Compilation of Programming Languages for Exascale Machines (Invited Talk)
PEPM
Alex AikenStanford University
11:30
30m
Talk
Checking Cryptographic API Usage with Composable Annotations (Short Paper)
PEPM
Duncan MitchellRoyal Holloway, University of London, L. Thomas van BinsbergenRoyal Holloway University of London, Blake Loring, Johannes KinderRoyal Holloway, University of London
DOI
14:00 - 15:30
Session 2-2PEPM at Crocker
Chair(s): Kohei SuenagaGraduate School of Informatics, Kyoto University
14:00
30m
Talk
Partially Static Data as Free Extension of Algebras (Short Paper)
PEPM
Jeremy YallopUniversity of Cambridge, UK, Tamara von GlehnUniversity of Cambridge, Ohad KammarUniversity of Oxford
Pre-print
14:30
30m
Talk
Program Generation for ML Modules (Short Paper)
PEPM
Takahisa WatanabeUniversity of Tsukuba, Japan, Yukiyoshi KameyamaUniversity of Tsukuba, Japan
DOI
15:00
30m
Talk
Recursive Programs in Normal Form (Short Paper)
PEPM
Barry JayUniversity of Technology Sydney
DOI
16:00 - 17:30
Session 2-3PEPM at Crocker
Chair(s): Barry JayUniversity of Technology Sydney
16:00
10m
Talk
Towards Language-independent Code Synthesis (Poster/Demo Talk)
PEPM
Jan BessaiTechnical University Dortmund, Boris DüdderUniversity of Copenhagen, George HeinemanWorcester Polytechnic Institute, Jakob RehofTechnical University Dortmund
File Attached
16:10
10m
Talk
Dataflow Metaprogramming (Poster/Demo Talk)
PEPM
Dominic Duggan, Jianhua YaoStevens Institute of Technology
16:20
10m
Talk
An Approach to Generating Text-Based IDEs with Syntax Completion (Poster/Demo Talk)
PEPM
Isao SasanoShibaura Institute of Technology
16:30
10m
Talk
Modular Macros (Poster/Demo Talk)
PEPM
Olivier Nicole, Leo WhiteJane Street, Jeremy YallopUniversity of Cambridge, UK
File Attached
16:40
10m
Talk
Equations: From Clauses to Splittings to Functions (Poster/Demo Talk)
PEPM
File Attached
16:50
40m
Other
Posters/Demos
PEPM

Mon 8 Jan
Times are displayed in time zone: Tijuana, Baja California change

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

Tue 9 Jan
Times are displayed in time zone: Tijuana, Baja California change

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

Mon 8 Jan
Times are displayed in time zone: Tijuana, Baja California change