OPCT 2019
Sun 13 - Sat 19 January 2019
Cascais, Portugal
co-located with
POPL 2019
Toggle navigation
Attending
Venue: Hotel Cascais Miragem
Program
OPCT Program
Your Program
Filter by Day
Sun 13 Jan
Mon 14 Jan
Tue 15 Jan
Wed 16 Jan
Thu 17 Jan
Fri 18 Jan
Sat 19 Jan
Track/Call
Organization
OPCT 2019 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Sign in
Sign up
POPL 2019
(
series
) /
OPCT 2019 (
series
) /
Hotel Cascais Miragem
/
Room information: Sala X
Venue
Hotel Cascais Miragem
Room name
Sala X
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT) Belfast
.
Use conference time zone: (GMT) Belfast
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-07:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-03:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-02:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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 1
PEPM
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 2
PEPM
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 3
PEPM
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 4
PEPM
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
Maurizio Proietti
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 5
PEPM
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
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Sala X
PEPM
PEPM
Session 1
PEPM
Session 2
PEPM
Session 3
Tue 15 Jan
Displayed time zone:
Belfast
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Sala X
PEPM
PEPM
Session 4
PEPM
Session 5
PEPM
Mon 14 Jan
Displayed time zone:
Belfast
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Sala X
PEPM
Welcome to PEPM19
11:00 - 11:05
PEPM
Applying Futamura Projections to Compose Languages and Tools in GraalVM ...
11:05 - 12:00
PEPM
A Simpler Lambda Calculus
12:00 - 12:30
PEPM
Method Name Suggestion with Hierarchical Attention Networks
14:00 - 14:30
PEPM
Reduction from Branching-Time Property Verification of Higher-Order Pro ...
14:30 - 15:00
PEPM
Typed Parsing and Unparsing for Untyped Regular Expression Engines
15:00 - 15:30
PEPM
What Is the Type of a Partial Evaluator? (Invited Talk)
16:00 - 17:00
PEPM
Combining Higher-Order Model Checking with Refinement Type Inference
17:00 - 17:30
Tue 15 Jan
Displayed time zone:
Belfast
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
Sala X
PEPM
Making Proofs Easy: Horn Clause Transformations to the Aid of Program V ...
11:00 - 12:00
PEPM
Control Flow Obfuscation via CPS Transformation
12:00 - 12:30
PEPM
Extracting a Call-by-Name Partial Evaluator from a Proof of Termination
14:00 - 14:30
PEPM
Futures and Promises in Haskell and Scala
14:30 - 15:00
PEPM
Generating Mutually Recursive Definitions
15:00 - 15:28
PEPM
Advanced Futures and Promises in C++ (poster)
15:28 - 15:30
x
Sun 22 Dec 04:04