Sparse 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
Sparse 2024 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
Sparse 2024
CTSTA 2023
Sign in
Sign up
PLDI 2024
(
series
) /
Sparse 2024 (
series
) /
Radisson Blu Scandinavia, Copenhagen
/
Room information: Norway / Finland
Venue
Radisson Blu Scandinavia, Copenhagen
Room name
Norway / Finland
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
Wed 26 Jun
Displayed time zone:
Windhoek
change
09:00 - 10:10
Keynote
PLDI Research Papers
at
Norway / Finland
10:40 - 12:20
Session 1A
PLDI Research Papers
at
Norway / Finland
10:40
20m
Talk
Bit Blasting Probabilistic Programs
PLDI Research Papers
Poorva Garg
University of California, Los Angeles
,
Steven Holtzen
Northeastern University
,
Guy Van den Broeck
University of California at Los Angeles
,
Todd Millstein
University of California at Los Angeles
DOI
11:00
20m
Talk
Compiling Probabilistic Programs for Variable Elimination with Information Flow
PLDI Research Papers
Jianlin Li
University of Waterloo
,
Eric Wang
University of Waterloo
,
Yizhou Zhang
University of Waterloo
DOI
11:20
20m
Talk
Equivalence and Similarity Refutation for Probabilistic Programs
PLDI Research Papers
Krishnendu Chatterjee
IST Austria
,
Ehsan Kafshdar Goharshady
IST Austria
,
Petr Novotný
Masaryk University
,
Đorđe Žikelić
Singapore Management University, Singapore
DOI
11:40
20m
Talk
GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables
PLDI Research Papers
Mathieu Huot
MIT
,
Matin Ghavami
Massachusetts Institute of Technology
,
Alexander K. Lew
Massachusetts Institute of Technology
,
Ulrich Schaechtle
Digital Garage
,
Cameron Freer
Massachusetts Institute of Technology
,
Zane Shelby
Digital Garage
,
Martin Rinard
MIT
,
Feras Saad
Carnegie Mellon University
,
Vikash K. Mansinghka
Massachusetts Institute of Technology
DOI
12:00
20m
Talk
Probabilistic Programming with Programmable Variational Inference
PLDI Research Papers
McCoy Reynolds Becker
MIT
,
Alexander K. Lew
Massachusetts Institute of Technology
,
Xiaoyan Wang
Massachusetts Institute of Technology
,
Matin Ghavami
Massachusetts Institute of Technology
,
Mathieu Huot
MIT
,
Martin Rinard
MIT
,
Vikash K. Mansinghka
Massachusetts Institute of Technology
DOI
13:40 - 15:20
Session 2A
PLDI Research Papers
at
Norway / Finland
16:00 - 17:20
Session 3A
PLDI Research Papers
at
Norway / Finland
Thu 27 Jun
Displayed time zone:
Windhoek
change
09:00 - 10:10
Keynote
PLDI Research Papers
at
Norway / Finland
10:40 - 12:20
Session 4A
PLDI Research Papers
at
Norway / Finland
13:40 - 14:40
Session 5A
PLDI Research Papers
at
Norway / Finland
15:20 - 17:00
Finals
PLDI SRC
at
Norway / Finland
Fri 28 Jun
Displayed time zone:
Windhoek
change
09:00 - 10:10
Keynote
PLDI Research Papers
at
Norway / Finland
10:40 - 12:20
Session 6A
PLDI Research Papers
at
Norway / Finland
13:40 - 15:20
Session 7A
PLDI Research Papers
at
Norway / Finland
Wed 26 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
Norway / Finland
PLDI Research Papers
Keynote
PLDI Research Papers
Session 1A
PLDI Research Papers
Session 2A
PLDI Research Papers
Session 3A
Thu 27 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
Norway / Finland
PLDI Research Papers
Keynote
PLDI Research Papers
Session 4A
PLDI Research Papers
Session 5A
PLDI SRC
Finals
Fri 28 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
Norway / Finland
PLDI Research Papers
Keynote
PLDI Research Papers
Session 6A
PLDI Research Papers
Session 7A
Wed 26 Jun
Displayed time zone:
Windhoek
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
Norway / Finland
PLDI Research Papers
Bit Blasting Probabilistic Programs
10:40 - 11:00
PLDI Research Papers
Compiling Probabilistic Programs for Variable Elimination with Informat ...
11:00 - 11:20
PLDI Research Papers
Equivalence and Similarity Refutation for Probabilistic Programs
11:20 - 11:40
PLDI Research Papers
GenSQL: A Probabilistic Programming System for Querying Generative Mode ...
11:40 - 12:00
PLDI Research Papers
Probabilistic Programming with Programmable Variational Inference
12:00 - 12:20
x
Sun 19 May 14:23