CP 2024
Mon 24 - Fri 28 June 2024
Copenhagen, Denmark
co-located with
PLDI 2024
Toggle navigation
Attending
Venue: Radisson Blu Scandinavia, Copenhagen
Program
Complete Program
Your Program
Mon 24 Jun
Tue 25 Jun
Wed 26 Jun
Thu 27 Jun
Fri 28 Jun
Track/Call
Organization
CP 2024 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Sign in
Sign up
PLDI 2024
(
series
) /
CP 2024 (
series
) /
Radisson Blu Scandinavia, Copenhagen
/
Room information: Iceland
Venue
Radisson Blu Scandinavia, Copenhagen
Room name
Iceland
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
This program is tentative and subject to change.
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+02:00) Windhoek
.
Use conference time zone: (GMT+02:00) Windhoek
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02: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) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03: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+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) 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+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12: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 24 Jun
Displayed time zone:
Windhoek
change
09:00 - 10:10
LiSA
PLDI Tutorials
at
Iceland
09:00
70m
Tutorial
Quick and dirty development of static analyses with LiSA
PLDI Tutorials
Luca Negrini
Ca’ Foscari University of Venice
,
Pietro Ferrara
Università Ca' Foscari, Venezia, Italy
Link to publication
10:40 - 12:20
LiSA
PLDI Tutorials
at
Iceland
10:40
1h40m
Tutorial
Quick and dirty development of static analyses with LiSA
PLDI Tutorials
Luca Negrini
Ca’ Foscari University of Venice
,
Pietro Ferrara
Università Ca' Foscari, Venezia, Italy
Link to publication
13:40 - 15:20
Session 1
PLMW@PLDI
at
Iceland
Chair(s):
Anitha Gollamudi
University of Massachusetts Lowell
13:40
10m
Day opening
Day opening
PLMW@PLDI
13:50
20m
Social Event
Skill Exchange
PLMW@PLDI
14:15
65m
Social Event
Social Event: PL Cards
PLMW@PLDI
16:00 - 17:40
Session 2
PLMW@PLDI
at
Iceland
Chair(s):
Umang Mathur
National University of Singapore
16:00
90m
Other
Open research group positions
PLMW@PLDI
Tue 25 Jun
Displayed time zone:
Windhoek
change
09:00 - 10:10
Session 1
PLMW@PLDI
at
Iceland
Chair(s):
Anitha Gollamudi
University of Massachusetts Lowell
09:00
10m
Talk
Opening Remarks
PLMW@PLDI
Anitha Gollamudi
University of Massachusetts Lowell
09:10
60m
Talk
Thoughts on the interplay between corporate, government, and university R&D
PLMW@PLDI
Byron Cook
Amazon
10:40 - 12:20
Session 2
PLMW@PLDI
at
Iceland
Chair(s):
Marco Vassena
Utrecht University
10:40
30m
Talk
Letting users do the undecidable: lessons from program synthesis
PLMW@PLDI
Hila Peleg
Technion
11:10
30m
Talk
A Tale of Shared Memory Concurrency in Programming Languages
PLMW@PLDI
Soham Chakraborty
TU Delft
11:40
40m
Talk
How to read a PL-security paper
PLMW@PLDI
Aslan Askarov
Aarhus University
13:40 - 15:30
Session 3
PLMW@PLDI
at
Iceland
Chair(s):
Alexa VanHattum
Wellesley College
13:40
50m
Panel
Panel: PL and Beyond
PLMW@PLDI
Nate Foster
Cornell University and Jane Street
,
Jens Palsberg
University of California, Los Angeles (UCLA)
,
Saman Amarasinghe
Massachusetts Institute of Technology
,
Sukyoung Ryu
KAIST
14:30
30m
Talk
TBD
PLMW@PLDI
Farnaz Behrang
Uber
15:00
30m
Talk
A Tour of Program Optimization
PLMW@PLDI
Max Willsey
UC Berkeley
16:00 - 18:00
Session 4
PLMW@PLDI
at
Iceland
Chair(s):
Umang Mathur
National University of Singapore
16:00
45m
Talk
Uncertainty and my scientific journey
PLMW@PLDI
Aws Albarghouthi
University of Wisconsin-Madison
16:45
60m
Panel
Panel: Career Paths in PL
PLMW@PLDI
Alexa VanHattum
Wellesley College
,
Işıl Dillig
University of Texas at Austin
,
Conrad Watt
Nanyang Technological University
,
Gilles Barthe
MPI-SP; IMDEA Software Institute
,
David Pichardie
Meta
,
Manu Sridharan
University of California at Riverside
17:45
15m
Talk
Conclusion
PLMW@PLDI
Mon 24 Jun
Displayed time zone:
Windhoek
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
Iceland
PLDI Tutorials
LiSA
PLDI Tutorials
LiSA
PLMW@PLDI
Session 1
PLMW@PLDI
Session 2
Tue 25 Jun
Displayed time zone:
Windhoek
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
Iceland
PLMW@PLDI
Session 1
PLMW@PLDI
Session 2
PLMW@PLDI
Session 3
PLMW@PLDI
Session 4
Mon 24 Jun
Displayed time zone:
Windhoek
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
Iceland
PLDI Tutorials
Quick and dirty development of static analyses with LiSA
09:00 - 10:10
PLDI Tutorials
Quick and dirty development of static analyses with LiSA
10:40 - 12:20
PLMW@PLDI
Day opening
13:40 - 13:50
PLMW@PLDI
Skill Exchange
13:50 - 14:10
PLMW@PLDI
Social Event: PL Cards
14:15 - 15:20
PLMW@PLDI
Open research group positions
16:00 - 17:30
Tue 25 Jun
Displayed time zone:
Windhoek
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
Iceland
PLMW@PLDI
Opening Remarks
09:00 - 09:10
PLMW@PLDI
Thoughts on the interplay between corporate, government, and university R&D
09:10 - 10:10
PLMW@PLDI
Letting users do the undecidable: lessons from program synthesis
10:40 - 11:10
PLMW@PLDI
A Tale of Shared Memory Concurrency in Programming Languages
11:10 - 11:40
PLMW@PLDI
How to read a PL-security paper
11:40 - 12:20
PLMW@PLDI
Panel: PL and Beyond
13:40 - 14:30
PLMW@PLDI
TBD
14:30 - 15:00
PLMW@PLDI
A Tour of Program Optimization
15:00 - 15:30
PLMW@PLDI
Uncertainty and my scientific journey
16:00 - 16:45
PLMW@PLDI
Panel: Career Paths in PL
16:45 - 17:45
PLMW@PLDI
Conclusion
17:45 - 18:00
x
Sat 1 Jun 10:27