POPL 2018 (series) / PEPM 2018 (series) /
PEPM 2018 Program
This is the PEPM 2018 program - see the full program for POPL 2018 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 8 JanDisplayed time zone: Tijuana, Baja California change
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 60mTalk | Developments in Property-Based Testing (Invited Talk) PEPM Jan Midtgaard University of Southern Denmark DOI | ||
11:30 30mTalk | Selective CPS Transformation for Shift and Reset PEPM DOI |
14:00 - 15:30 | |||
14:00 30mTalk | 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 30mTalk | Gradually Typed Symbolic Expressions PEPM DOI | ||
15:00 30mTalk | On the Cost of Type-Tag Soundness PEPM DOI |
16:00 - 17:30 | |||
16:00 60mTalk | The Simple Essence of Automatic Differentiation (Invited Talk) PEPM Conal Elliott Target, USA Pre-print |
Tue 9 JanDisplayed time zone: Tijuana, Baja California change
Tue 9 Jan
Displayed time zone: Tijuana, Baja California change
10:30 - 12:00 | |||
10:30 60mTalk | Challenges in the Design and Compilation of Programming Languages for Exascale Machines (Invited Talk) PEPM Alex Aiken Stanford University | ||
11:30 30mTalk | 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 | |||
14:00 30mTalk | 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 30mTalk | Program Generation for ML Modules (Short Paper) PEPM DOI | ||
15:00 30mTalk | Recursive Programs in Normal Form (Short Paper) PEPM Barry Jay University of Technology Sydney DOI |
16:00 - 17:30 | |||
16:00 10mTalk | 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 10mTalk | Dataflow Metaprogramming (Poster/Demo Talk) PEPM | ||
16:20 10mTalk | An Approach to Generating Text-Based IDEs with Syntax Completion (Poster/Demo Talk) PEPM Isao Sasano Shibaura Institute of Technology | ||
16:30 10mTalk | Modular Macros (Poster/Demo Talk) PEPM File Attached | ||
16:40 10mTalk | Equations: From Clauses to Splittings to Functions (Poster/Demo Talk) PEPM File Attached | ||
16:50 40mOther | Posters/Demos PEPM |