Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
VenueHotel Cascais Miragem
Room nameSala X
Floor0
Additional informationThere is no additional information of this room 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
Times are displayed in time zone: Greenwich Mean Time : 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 - 11:05
Day opening
Welcome to PEPM19
PEPM
C: Atsushi IgarashiKyoto University, Japan, C: Manuel HermenegildoIMDEA Software Institute and T.U. of Madrid (UPM)
11:05 - 12:00
Talk
Applying Futamura Projections to Compose Languages and Tools in GraalVM (Invited Talk)
PEPM
Christian HumerOracle Labs, Switzerland
File Attached
12:00 - 12:30
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 - 14:30
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 - 15:00
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 - 15:30
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 - 17:00
Talk
What Is the Type of a Partial Evaluator? (Invited Talk)
PEPM
Jens PalsbergUniversity of California, Los Angeles (UCLA)
File Attached
17:00 - 17:30
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

Tue 15 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

11:00 - 12:30: Session 4PEPM at Sala X
Chair(s): Roberto GiacobazziUniversity of Verona and IMDEA Software Institute
11:00 - 12:00
Talk
Making Proofs Easy: Horn Clause Transformations to the Aid of Program Verification (Invited Talk)
PEPM
File Attached
12:00 - 12:30
Talk
Control Flow Obfuscation via CPS Transformation
PEPM
Kenny Zhuo Ming LuNanyang Polytechnic, Singapore
DOI
14:00 - 15:30: Session 5PEPM at Sala X
Chair(s): Alberto PettorossiUniversity of Rome Tor Vergata, Italy
14:00 - 14:30
Talk
Extracting a Call-by-Name Partial Evaluator from a Proof of Termination
PEPM
Kenichi AsaiOchanomizu University
DOI File Attached
14:30 - 15:00
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 - 15:28
Talk
Generating Mutually Recursive Definitions
PEPM
Jeremy YallopUniversity of Cambridge, UK, Oleg Kiselyov
DOI Pre-print
15:28 - 15:30
Poster
Advanced Futures and Promises in C++ (poster)
PEPM
Tamino DauthKarlsruhe University of Applied Sciences, Germany, Martin SulzmannKarlsruhe University of Applied Sciences, Germany

Mon 14 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

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

Tue 15 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

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