POPL 2019 (series) / PEPM 2019 (series) /
PEPM 2019 Program
This is the PEPM 2019 program - see the full program for POPL 2019 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 14 JanDisplayed time zone: Belfast change
Mon 14 Jan
Displayed time zone: Belfast change
11:00 - 12:30 | Session 1PEPM at Sala X Chair(s): Manuel Hermenegildo IMDEA Software Institute and T.U. of Madrid (UPM) | ||
11:00 5mDay opening | Welcome to PEPM19 PEPM C: Atsushi Igarashi Kyoto University, Japan, C: Manuel Hermenegildo IMDEA Software Institute and T.U. of Madrid (UPM) | ||
11:05 55mTalk | Applying Futamura Projections to Compose Languages and Tools in GraalVM (Invited Talk) PEPM Christian Humer Oracle Labs, Switzerland File Attached | ||
12:00 30mTalk | A Simpler Lambda Calculus PEPM Barry Jay University of Technology Sydney DOI |
14:00 - 15:30 | |||
14:00 30mTalk | Method Name Suggestion with Hierarchical Attention Networks PEPM Sihan Xu Nankai University, China, Sen Zhang Nankai University, China, Weijing Wang Nankai University, China, Xinya Cao Nankai University, China, Chenkai Guo Nankai University, China, Jing Xu Nankai University, China DOI | ||
14:30 30mTalk | Reduction from Branching-Time Property Verification of Higher-Order Programs to HFL Validity Checking PEPM Keiichi Watanabe University of Tokyo, Japan, Takeshi Tsukada University of Tokyo, Japan, Hiroki Oshikawa University of Tokyo, Japan, Naoki Kobayashi University of Tokyo, Japan DOI | ||
15:00 30mTalk | Typed Parsing and Unparsing for Untyped Regular Expression Engines PEPM Gabriel Radanne University of Freiburg, Germany DOI Pre-print File Attached |
16:00 - 17:30 | |||
16:00 60mTalk | What Is the Type of a Partial Evaluator? (Invited Talk) PEPM Jens Palsberg University of California, Los Angeles (UCLA) File Attached | ||
17:00 30mTalk | Combining Higher-Order Model Checking with Refinement Type Inference PEPM Ryosuke Sato Kyushu University, Japan, Naoki Iwayama University of Tokyo, Japan, Naoki Kobayashi University of Tokyo, Japan DOI |
Tue 15 JanDisplayed time zone: Belfast change
Tue 15 Jan
Displayed time zone: Belfast change
11:00 - 12:30 | Session 4PEPM at Sala X Chair(s): Roberto Giacobazzi University of Verona and IMDEA Software Institute | ||
11:00 60mTalk | Making Proofs Easy: Horn Clause Transformations to the Aid of Program Verification (Invited Talk) PEPM File Attached | ||
12:00 30mTalk | Control Flow Obfuscation via CPS Transformation PEPM Kenny Zhuo Ming Lu Nanyang Polytechnic, Singapore DOI |
14:00 - 15:30 | |||
14:00 30mTalk | Extracting a Call-by-Name Partial Evaluator from a Proof of Termination PEPM Kenichi Asai Ochanomizu University DOI File Attached | ||
14:30 30mTalk | Futures and Promises in Haskell and Scala PEPM Tamino Dauth Karlsruhe University of Applied Sciences, Germany, Martin Sulzmann Karlsruhe University of Applied Sciences, Germany DOI File Attached | ||
15:00 28mTalk | Generating Mutually Recursive Definitions PEPM DOI Pre-print | ||
15:28 2mPoster | Advanced Futures and Promises in C++ (poster) PEPM Tamino Dauth Karlsruhe University of Applied Sciences, Germany, Martin Sulzmann Karlsruhe University of Applied Sciences, Germany |