VMCAI 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
co-located with POPL 2019
VenueHotel Cascais Miragem
Room nameSala X
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 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
5m
Day 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
55m
Talk
Applying Futamura Projections to Compose Languages and Tools in GraalVM (Invited Talk)
PEPM
Christian Humer Oracle Labs, Switzerland
File Attached
12:00
30m
Talk
A Simpler Lambda Calculus
PEPM
Barry Jay University of Technology Sydney
DOI
14:00 - 15:30
Session 2PEPM at Sala X
Chair(s): Thomas P. Jensen INRIA Rennes
14:00
30m
Talk
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
30m
Talk
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
30m
Talk
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
Session 3PEPM at Sala X
Chair(s): Atsushi Igarashi Kyoto University, Japan
16:00
60m
Talk
What Is the Type of a Partial Evaluator? (Invited Talk)
PEPM
Jens Palsberg University of California, Los Angeles (UCLA)
File Attached
17:00
30m
Talk
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 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
60m
Talk
Making Proofs Easy: Horn Clause Transformations to the Aid of Program Verification (Invited Talk)
PEPM
File Attached
12:00
30m
Talk
Control Flow Obfuscation via CPS Transformation
PEPM
Kenny Zhuo Ming Lu Nanyang Polytechnic, Singapore
DOI
14:00 - 15:30
Session 5PEPM at Sala X
Chair(s): Alberto Pettorossi University of Rome Tor Vergata, Italy
14:00
30m
Talk
Extracting a Call-by-Name Partial Evaluator from a Proof of Termination
PEPM
Kenichi Asai Ochanomizu University
DOI File Attached
14:30
30m
Talk
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
28m
Talk
Generating Mutually Recursive Definitions
PEPM
Jeremy Yallop University of Cambridge, UK, Oleg Kiselyov
DOI Pre-print
15:28
2m
Poster
Advanced Futures and Promises in C++ (poster)
PEPM
Tamino Dauth Karlsruhe University of Applied Sciences, Germany, Martin Sulzmann Karlsruhe University of Applied Sciences, Germany

Mon 14 Jan

Displayed time zone: Belfast change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Sala X

Tue 15 Jan

Displayed time zone: Belfast change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Sala X