PEPM 2020
Sun 19 - Sat 25 January 2020
New Orleans, Louisiana, United States
co-located with
POPL 2020
Toggle navigation
Attending
Venue: JW Marriott New Orleans
Restaurant: Palace Cafe
Program
Complete Program
Your Program
Filter by Day
Sun 19 Jan
Mon 20 Jan
Tue 21 Jan
Wed 22 Jan
Thu 23 Jan
Fri 24 Jan
Sat 25 Jan
Track/Call
Organization
PEPM 2020 Committees
Track Committees
PC Chairs
Program Committee
Contributors
People Index
Search
Series
Series
PEPM 2024
PEPM 2023
PEPM 2022
PEPM 2021
PEPM 2020
PEPM 2019
PEPM 2018
PEPM 2017
PEPM 2016
PEPM 2015
Sign in
Sign up
POPL 2020
(
series
) /
PEPM 2020 (
series
) /
JW Marriott New Orleans
/
Room information: Frontenac
Venue
JW Marriott New Orleans
Room name
Frontenac
Floor
3
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-06:00) Saskatchewan, Central America
.
Use conference time zone: (GMT-06:00) Saskatchewan, Central America
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-04: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-03: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+12: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 20 Jan
Displayed time zone:
Saskatchewan, Central America
change
09:00 - 10:00
Opening & Keynote Talk 1
PEPM 2020
at
Frontenac
Chair(s):
Casper Bach Poulsen
Delft University of Technology
,
Zhenjiang Hu
Peking University
09:00
5m
Day opening
Opening
PEPM 2020
Casper Bach Poulsen
Delft University of Technology
,
Zhenjiang Hu
Peking University
09:05
55m
Talk
Network Verification: Past, Present, and Future
PEPM 2020
Nate Foster
Cornell University
10:30 - 12:30
Sessions 1 & 2
PEPM 2020
at
Frontenac
Chair(s):
Ohad Kammar
University of Edinburgh
,
Walid Taha
10:30
35m
Talk
Dependently-Typed Multi-Stage Programming Revisited (invited talk)
PEPM 2020
Atsushi Igarashi
Kyoto University, Japan
11:05
25m
Research paper
High-Fidelity Metaprogramming with Separator Syntax Trees
PEPM 2020
Rodin Aarssen
CWI, Netherlands
,
Tijs van der Storm
CWI & University of Groningen, Netherlands
DOI
11:30
15m
Break
Mini Break 1
PEPM 2020
11:45
25m
Research paper
Module Generation without Regret
PEPM 2020
Yuhi Sato
University of Tsukuba
,
Yukiyoshi Kameyama
University of Tsukuba, Japan
,
Takahisa Watanabe
University of Tsukuba, Japan
DOI
12:10
20m
Short-paper
GOOL: A Generic Object-Oriented Language
PEPM 2020
Jacques Carette
McMaster University
,
Brooks MacLachlan
McMaster University
,
Spencer Smith
McMaster University, Computing and Software Department
DOI
Pre-print
File Attached
14:00 - 15:05
Keynote Talk 2
PEPM 2020
at
Frontenac
Chair(s):
Casper Bach Poulsen
Delft University of Technology
14:00
60m
Talk
Reasoning about Progress of Concurrent Objects
PEPM 2020
Xinyu Feng
Nanjing University
15:35 - 17:45
Sessions 3 & 4
PEPM 2020
at
Frontenac
Chair(s):
Atsushi Igarashi
Kyoto University, Japan
,
Jeremy Yallop
University of Cambridge, UK
15:35
35m
Talk
Frex: Free extensions for normalisation by evaluation (invited talk)
PEPM 2020
Ohad Kammar
University of Edinburgh
Media Attached
16:10
25m
Research paper
Symbolic Bisimulation for Open and Parameterized System
PEPM 2020
Zechen Hou
East China Normal University
,
Eric Madelaine
INRIA
DOI
File Attached
16:35
15m
Break
Mini Break 2
PEPM 2020
16:50
35m
Talk
Acumen: A Domain-Specific Language for Cyber-Physical Systems (invited talk)
PEPM 2020
Walid Taha
17:25
20m
Short-paper
An approach to generating text-based IDEs with syntax completion from syntax specification
PEPM 2020
Isao Sasano
Shibaura Institute of Technology
DOI
Tue 21 Jan
Displayed time zone:
Saskatchewan, Central America
change
10:30 - 12:30
Ally Skills Session
POPL Ally Skills Session
at
Frontenac
10:30
2h
Other
Ally Skills Session
Mentoring Event
POPL Ally Skills Session
15:35 - 17:45
POPLmark 15 Year Retrospective Panel
POPL mark 15 Year Retrospective Panel
at
Frontenac
15:35
2h
Other
POPLmark 15 Year Retrospective Panel
POPL mark 15 Year Retrospective Panel
Mon 20 Jan
Displayed time zone:
Saskatchewan, Central America
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
Frontenac
PEPM 2020
Opening & Keynote Talk 1
PEPM 2020
Sessions 1 & 2
PEPM 2020
Keynote Talk 2
PEPM 2020
Sessions 3 & 4
Tue 21 Jan
Displayed time zone:
Saskatchewan, Central America
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Frontenac
POPL Ally Skills Session
Ally Skills Session
POPL mark 15 Year Retrospective Panel
POPLmark 15 Year Retrospective Panel
Mon 20 Jan
Displayed time zone:
Saskatchewan, Central America
change
Room
9:00
15
30
45
10:00
15
30
45
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
Frontenac
PEPM
Opening
09:00 - 09:05
PEPM
Network Verification: Past, Present, and Future
09:05 - 10:00
PEPM
Dependently-Typed Multi-Stage Programming Revisited (invited talk)
10:30 - 11:05
PEPM
High-Fidelity Metaprogramming with Separator Syntax Trees
11:05 - 11:30
PEPM
Mini Break 1
11:30 - 11:45
PEPM
Module Generation without Regret
11:45 - 12:10
PEPM
GOOL: A Generic Object-Oriented Language
12:10 - 12:30
PEPM
Reasoning about Progress of Concurrent Objects
14:00 - 15:00
PEPM
Frex: Free extensions for normalisation by evaluation (invited talk)
15:35 - 16:10
PEPM
Symbolic Bisimulation for Open and Parameterized System
16:10 - 16:35
PEPM
Mini Break 2
16:35 - 16:50
PEPM
Acumen: A Domain-Specific Language for Cyber-Physical Systems (invited ...
16:50 - 17:25
PEPM
An approach to generating text-based IDEs with syntax completion from s ...
17:25 - 17:45
Tue 21 Jan
Displayed time zone:
Saskatchewan, Central America
change
Room
10:00
15
30
45
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
Frontenac
POPL Ally Skills Session
Mentoring Event
Ally Skills Session
10:30 - 12:30
POPL mark 15 Year Retrospective Panel
POPLmark 15 Year Retrospective Panel
15:35 - 17:35
x
Wed 8 May 21:48