ISMM 2024
Tue 25 Jun 2024
Copenhagen, Denmark
co-located with
PLDI 2024
Toggle navigation
Attending
Venue: Radisson Blu Scandinavia, Copenhagen
PLDI 2024
Sponsorship
Registration
Visa
Live Streams
Presenter Instructions
Program
ISMM Program
Your Program
Tue 25 Jun
Track/Call
Organization
ISMM 2024 Committees
Track Committees
Organizing Committee
Program Committee
Steering Committee
Contributors
People Index
Search
Series
Series
ISMM 2025
ISMM 2024
ISMM 2023
ISMM 2022
ISMM 2021
ISMM 2020
ISMM 2019
ISMM 2018
ISMM 2017
ISMM 2016
ISMM 2015
Sign in
Sign up
PLDI 2024
(
series
) /
ISMM 2024 (
series
) /
Radisson Blu Scandinavia, Copenhagen
/
Room information: Capital Ballroom
Venue
Radisson Blu Scandinavia, Copenhagen
Room name
Capital Ballroom
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+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
Wed 26 Jun
Displayed time zone:
Windhoek
change
12:20 - 13:40
Lunch
PLDI Catering
at
Capital Ballroom
12:20
80m
Lunch
Lunch
PLDI Catering
12:20 - 13:40
SIGPLAN Mentoring
PLDI Catering
/
PLDI Diversity, Equity and Inclusion
/
PLDI Events
at
Capital Ballroom
12:20
80m
Lunch
SIGPLAN-M Lunch
PLDI Events
Nadia Polikarpova
University of California at San Diego
18:00 - 20:00
Reception and Poster Session
PLDI SRC
at
Capital Ballroom
18:00
7m
Poster
Am I sweeping right?
PLDI SRC
Pedro Barroso
NOVA LINCS & Nova School of Sciences and Tecnhology
18:07
7m
Poster
A Never-Ending Trace: Catching Goto and Recursive Divergence
PLDI SRC
Caroline Cronjäger
Vrije Universiteit Amsterdam
18:15
7m
Poster
AutoSpec: Automating the Refinement of Reinforcement Learning Specifications
PLDI SRC
Tanmay Ambadkar
The Pennsylvania State University, University Park, USA
File Attached
18:22
7m
Poster
Coping with shared mutable state in a typestate-oriented concurrent language
PLDI SRC
João Mota
NOVA School of Science and Technology
18:30
7m
Poster
Evaluating PBT Frameworks in OCaml
PLDI SRC
Nikhil Kamath
University of Maryland
18:37
7m
Poster
Exceptions in a Message Passing Interpretation of Substructural Logic
PLDI SRC
Shengchao Yang
Carnegie Mellon University, USA
18:45
7m
Poster
Formally Verified Low-Level C Implementation of Crit-Bit Trees in a Live Verification Tool
PLDI SRC
Viktor Fukala
Massachusetts Institute of Technology
18:52
7m
Poster
GRust: A Programming Language for Automotive Engineering
PLDI SRC
Émilie Thomé
LIP6, Ampere, ISAE SUPAERO
File Attached
19:00
7m
Poster
Mechanized semantics for ECMAScript regexes
PLDI SRC
Noé De Santo
EPFL
Link to publication
File Attached
19:07
7m
Poster
Monitoring Linearizability in Polynomial Time
PLDI SRC
Zheng Han Lee
National University of Singapore, Singapore
19:15
7m
Poster
Neural Abstract Interpretation
PLDI SRC
Shaurya Gomber
University of Illinois Urbana-Champaign
File Attached
19:22
7m
Poster
Parallelism with Flow Data for Distributed Tensor
PLDI SRC
huang songlin
University of Hong Kong
19:30
7m
Poster
Revealing Optimizations in High-Performance Kernel Libraries: A Program Synthesis Approach to Schedule Reconstruction
PLDI SRC
Hongzheng Chen
Cornell University
19:37
7m
Poster
Synthesising Programming Languages
PLDI SRC
Yuxi Ling
National University of Singapore
19:45
7m
Poster
VOLPIC: Verifying Lifted Pascal in Coq
PLDI SRC
Charles Averill
University of Texas at Dallas
19:52
7m
Poster
Who checks the checkers? Steps towards reliable equivalence checking
PLDI SRC
Michalis Pardalos
Thu 27 Jun
Displayed time zone:
Windhoek
change
12:20 - 13:40
Lunch
PLDI Catering
at
Capital Ballroom
12:20
80m
Lunch
Lunch
PLDI Catering
Fri 28 Jun
Displayed time zone:
Windhoek
change
12:20 - 13:40
Lunch
PLDI Catering
at
Capital Ballroom
12:20
80m
Lunch
Lunch
PLDI Catering
Wed 26 Jun
Displayed time zone:
Windhoek
change
Room
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
Capital Ballroom
PLDI Catering
Lunch
PLDI Catering + PLDI Diversity, Equity and Inclusion + PLDI Events
SIGPLAN Mentoring
12:20 - 13:40
PLDI SRC
Reception and Poster Session
Thu 27 Jun
Displayed time zone:
Windhoek
change
Room
12:00
30
13:00
30
Capital Ballroom
PLDI Catering
Lunch
Fri 28 Jun
Displayed time zone:
Windhoek
change
Room
12:00
30
13:00
30
Capital Ballroom
PLDI Catering
Lunch
Wed 26 Jun
Displayed time zone:
Windhoek
change
Room
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
18:00
15
30
45
19:00
15
30
45
Capital Ballroom
PLDI Catering
Lunch
12:20 - 13:40
PLDI Events
SIGPLAN-M Lunch
12:20 - 13:40
PLDI SRC
Am I sweeping right?
18:00 - 18:07
PLDI SRC
A Never-Ending Trace: Catching Goto and Recursive Divergence
18:07 - 18:15
PLDI SRC
AutoSpec: Automating the Refinement of Reinforcement Learning Specifica ...
18:15 - 18:22
PLDI SRC
Coping with shared mutable state in a typestate-oriented concurrent lan ...
18:22 - 18:30
PLDI SRC
Evaluating PBT Frameworks in OCaml
18:30 - 18:37
PLDI SRC
Exceptions in a Message Passing Interpretation of Substructural Logic
18:37 - 18:45
PLDI SRC
Formally Verified Low-Level C Implementation of Crit-Bit Trees in a Liv ...
18:45 - 18:52
PLDI SRC
GRust: A Programming Language for Automotive Engineering
18:52 - 19:00
PLDI SRC
Mechanized semantics for ECMAScript regexes
19:00 - 19:07
PLDI SRC
Monitoring Linearizability in Polynomial Time
19:07 - 19:15
PLDI SRC
Neural Abstract Interpretation
19:15 - 19:22
PLDI SRC
Parallelism with Flow Data for Distributed Tensor
19:22 - 19:30
PLDI SRC
Revealing Optimizations in High-Performance Kernel Libraries: A Program ...
19:30 - 19:37
PLDI SRC
Synthesising Programming Languages
19:37 - 19:45
PLDI SRC
VOLPIC: Verifying Lifted Pascal in Coq
19:45 - 19:52
PLDI SRC
Who checks the checkers? Steps towards reliable equivalence checking
19:52 - 20:00
Thu 27 Jun
Displayed time zone:
Windhoek
change
Room
12:00
15
30
45
13:00
15
30
45
Capital Ballroom
PLDI Catering
Lunch
12:20 - 13:40
Fri 28 Jun
Displayed time zone:
Windhoek
change
Room
12:00
15
30
45
13:00
15
30
45
Capital Ballroom
PLDI Catering
Lunch
12:20 - 13:40
x
Sat 21 Dec 17:48