Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
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

Conference Day
Mon 14 Jan

Displayed time zone: Belfast change

11:00 - 12:30
Session 1PEPM at Sala X
Chair(s): Manuel HermenegildoIMDEA Software Institute and T.U. of Madrid (UPM)
11:00
5m
Day opening
Welcome to PEPM19
PEPM
C: Atsushi IgarashiKyoto University, Japan, C: Manuel HermenegildoIMDEA 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 HumerOracle Labs, Switzerland
File Attached
12:00
30m
Talk
A Simpler Lambda Calculus
PEPM
Barry JayUniversity of Technology Sydney
DOI
14:00 - 15:30
Session 2PEPM at Sala X
Chair(s): Thomas P. JensenINRIA Rennes
14:00
30m
Talk
Method Name Suggestion with Hierarchical Attention Networks
PEPM
Sihan XuNankai University, China, Sen ZhangNankai University, China, Weijing WangNankai University, China, Xinya CaoNankai University, China, Chenkai GuoNankai University, China, Jing XuNankai University, China
DOI
14:30
30m
Talk
Reduction from Branching-Time Property Verification of Higher-Order Programs to HFL Validity Checking
PEPM
Keiichi WatanabeUniversity of Tokyo, Japan, Takeshi TsukadaUniversity of Tokyo, Japan, Hiroki OshikawaUniversity of Tokyo, Japan, Naoki KobayashiUniversity of Tokyo, Japan
DOI
15:00
30m
Talk
Typed Parsing and Unparsing for Untyped Regular Expression Engines
PEPM
Gabriel RadanneUniversity of Freiburg, Germany
DOI Pre-print File Attached
16:00 - 17:30
Session 3PEPM at Sala X
Chair(s): Atsushi IgarashiKyoto University, Japan
16:00
60m
Talk
What Is the Type of a Partial Evaluator? (Invited Talk)
PEPM
Jens PalsbergUniversity of California, Los Angeles (UCLA)
File Attached
17:00
30m
Talk
Combining Higher-Order Model Checking with Refinement Type Inference
PEPM
Ryosuke SatoKyushu University, Japan, Naoki IwayamaUniversity of Tokyo, Japan, Naoki KobayashiUniversity of Tokyo, Japan
DOI

Conference Day
Tue 15 Jan

Displayed time zone: Belfast change

14:00 - 15:30
Session 5PEPM at Sala X
Chair(s): Alberto PettorossiUniversity of Rome Tor Vergata, Italy
14:00
30m
Talk
Extracting a Call-by-Name Partial Evaluator from a Proof of Termination
PEPM
Kenichi AsaiOchanomizu University
DOI File Attached
14:30
30m
Talk
Futures and Promises in Haskell and Scala
PEPM
Tamino DauthKarlsruhe University of Applied Sciences, Germany, Martin SulzmannKarlsruhe University of Applied Sciences, Germany
DOI File Attached
15:00
28m
Talk
Generating Mutually Recursive Definitions
PEPM
Jeremy YallopUniversity of Cambridge, UK, Oleg Kiselyov
DOI Pre-print
15:28
2m
Poster
Advanced Futures and Promises in C++ (poster)
PEPM
Tamino DauthKarlsruhe University of Applied Sciences, Germany, Martin SulzmannKarlsruhe University of Applied Sciences, Germany

Conference Day
Mon 14 Jan

Displayed time zone: Belfast change

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

Conference Day
Tue 15 Jan

Displayed time zone: Belfast change

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