SLE 2024
Sun 20 - Fri 25 October 2024
Pasadena, California, United States
co-located with
SPLASH 2024
Toggle navigation
Attending
Venue: Hilton Pasadena
Program
Complete Program
Your Program
Sun 20 Oct
Mon 21 Oct
Tue 22 Oct
Wed 23 Oct
Thu 24 Oct
Fri 25 Oct
Track/Call
Organization
SLE 2024 Committees
Track Committees
Organizing Committee
Program Committee
Steering Committee
Contributors
People Index
Search
Series
Series
SLE 2024
SLE 2023
SLE 2022
SLE 2021
SLE 2020
SLE 2019
SLE 2018
SLE 2017
SLE 2016
SLE 2015
SLE 2013
Sign in
Sign up
SPLASH 2024
(
series
) /
SLE 2024 (
series
) /
Hilton Pasadena
/
Room information: Pacific B
Venue
Hilton Pasadena
Room name
Pacific B
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-07:00) Pacific Time (US & Canada)
.
Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)
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-05: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-03: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+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
Sun 20 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
09:00 - 10:30
Keynote
HATRA
at
Pacific B
09:00
90m
Keynote
Research Methods for Designing Next-Generation Programming Systems
HATRA
Cyrus Omar
University of Michigan
11:00 - 12:30
Papers 1
HATRA
at
Pacific B
11:00
30m
Talk
Don’t Call Us, We’ll Call You
HATRA
Jan Liam Verter
Faculty of Mathematics and Physics, Charles University
,
Tomas Petricek
Charles University
Link to publication
11:30
30m
Talk
Learner-Centered Design Criteria for Classroom Proof Assistants
HATRA
Matthew Keenan
University of Michigan
,
Cyrus Omar
University of Michigan
Link to publication
12:00
30m
Talk
Leroy: Library Learning for Imperative Programming Languages
HATRA
Abhiram Bellur
University of Colorado Boulder
,
Razan Alghamdi
University of Colorado, Boulder
,
Kidus Workneh
University of Colorado, Boulder
,
Joe Izraelevitz
University of Colorodo Boulder
14:00 - 15:30
Papers 2
HATRA
at
Pacific B
14:00
45m
Talk
Surveying the Rust Verification Landscape
HATRA
Alex Le Blanc
University of Waterloo
,
Patrick Lam
University of Waterloo
Link to publication
14:45
45m
Talk
Toward a Corpus Study of the Dynamic Gradual Type
HATRA
Dibri Nsofor
University of Utah
,
Ben Greenman
University of Utah
Link to publication
16:00 - 17:30
Discussion
HATRA
at
Pacific B
16:00
90m
Meeting
Discussion of ongoing work
HATRA
Mon 21 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
09:00 - 10:30
Morning One
LIVE
at
Pacific B
09:00
30m
Day opening
Welcome & Opening
LIVE
Peter van Hardenberg
Ink & Switch
,
Geoffrey Litt
Ink & Switch
,
Joshua Horowitz
University of Washington
09:30
30m
Keynote
Keynote by Jonathan Edwards
LIVE
Jonathan Edwards
Independent
10:00
30m
Talk
Definitions and Dimensions of Liveness
LIVE
Joshua Horowitz
University of Washington
11:00 - 12:30
Morning Two
LIVE
at
Pacific B
11:00
18m
Talk
Arroost: Unblocking creation with friends
LIVE
Lu Wilson
Tentpole
11:18
18m
Talk
Code flow canvas - a generic visual programming system
LIVE
Maikel van de Lisdonk
None
11:36
18m
Talk
Inkling: Sketching Dynamic Systems
LIVE
Marcel Goethals
Ink&Switch
,
Alessandro Warth
Ink & Switch
,
Ivan Reese
Ink&Switch
11:54
18m
Talk
Snappets: a VR animation system based on Projective Geometric Algebra
LIVE
Hamish Todd
Girih games
12:12
18m
Talk
Subsequently: Telling stories with pictures makes programs
LIVE
Marcel Goethals
Ink&Switch
14:00 - 15:30
Afternoon One
LIVE
at
Pacific B
14:00
18m
Talk
DocuApps: Ampleforth Documents as Applications
LIVE
Gilad Bracha
F5
14:18
18m
Talk
EYG a predictable, and useful, programming language
LIVE
Peter Saxton
Unaffiliated
14:36
18m
Talk
Manifold: Throwing Together Software Systems
LIVE
Jeff Lindsay
None
14:54
18m
Talk
Scoped Propagators
LIVE
Orion Reed
Unaffiliated
15:12
18m
Talk
ScrapSheets: Async Programs in a Reactive 2D Environment
LIVE
Taylor Troesh
Unaffiliated
16:00 - 17:30
Afternoon Two
LIVE
at
Pacific B
16:00
15m
Talk
Diff-based interactive compiler debugging and testing
LIVE
Luyu Cheng
Hong Kong University of Science and Technology
,
Lionel Parreaux
HKUST (The Hong Kong University of Science and Technology)
Link to publication
16:15
15m
Talk
Example-driven development: bridging tests and documentation
LIVE
Oscar Nierstrasz
feenk.com
,
Andrei Chiş
feenk.com
,
Tudor Gîrba
feenk.com
Link to publication
DOI
16:30
15m
Talk
Live Programming a Live Programming Environment: An Experience Report
LIVE
Elliot Evans
Polytope
,
Philippa Markovics
Nextjournal
,
Martin Kavalar
Nextjournal
,
Andrea Amantini
Nextjournal
,
Jack Rusher
Nextjournal
16:45
15m
Talk
Run, Build and Grow Small Systems Without Leaving Your Text Editor
LIVE
Albert Zak
UAS Technikum Wien (2020-2024), Independent (2024-)
,
Karl M. Göschka
UAS Technikum Wien
17:00
15m
Talk
TAPE: From direct to programmatic and back
LIVE
Ian Clester
Georgia Institute of Technology
17:15
15m
Day closing
Closing & Farewell
LIVE
Peter van Hardenberg
Ink & Switch
,
Geoffrey Litt
Ink & Switch
,
Joshua Horowitz
University of Washington
Tue 22 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
09:00 - 10:30
Session 1
PAINT
at
Pacific B
09:00
45m
Keynote
Invited Talk 1
PAINT
09:45
45m
Talk
Advanced Game Engine Wizardry for Visual Programming Environments
PAINT
Elisabeth Kletsko
University of Amsterdam
,
Riemer van Rozen
CWI
DOI
Pre-print
11:00 - 12:30
Session 2
PAINT
at
Pacific B
11:00
45m
Talk
Block-based Platform for Defining Adaptation Rules for Automotive Systems
PAINT
Luigi Altamirano
Eindhoven University of Technology
,
Mauricio Verano Merino
Vrije Universiteit Amsterdam
,
Ion Barosan
TU Eindhoven
11:45
45m
Talk
Supporting Construction of Domain-Specific Representations in Textual Source Code
PAINT
Tom Beckmann
Hasso Plattner Institute
,
Jan Reppien
Hasso Plattner Institute, University of Potsdam
,
Jens Lincke
Hasso Plattner Institute; University of Potsdam
,
Robert Hirschfeld
Hasso Plattner Institute; University of Potsdam
DOI
Pre-print
14:00 - 15:30
Session 3
PAINT
at
Pacific B
14:00
45m
Keynote
Invited Talk 2
PAINT
14:45
45m
Talk
Bridging Incremental Programming and Complex Software Development Environments
PAINT
Max Boksem
University of Amsterdam
,
L. Thomas van Binsbergen
University of Amsterdam
DOI
Pre-print
Sun 20 Oct
Displayed time zone:
Pacific Time (US & Canada)
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
Pacific B
HATRA
Keynote
HATRA
Papers 1
HATRA
Papers 2
HATRA
Discussion
Mon 21 Oct
Displayed time zone:
Pacific Time (US & Canada)
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
Pacific B
LIVE
Morning One
LIVE
Morning Two
LIVE
Afternoon One
LIVE
Afternoon Two
Tue 22 Oct
Displayed time zone:
Pacific Time (US & Canada)
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
Pacific B
PAINT
Session 1
PAINT
Session 2
PAINT
Session 3
PAINT
Sun 20 Oct
Displayed time zone:
Pacific Time (US & Canada)
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
Pacific B
HATRA
Research Methods for Designing Next-Generation Programming Systems
09:00 - 10:30
HATRA
Don’t Call Us, We’ll Call You
11:00 - 11:30
HATRA
Learner-Centered Design Criteria for Classroom Proof Assistants
11:30 - 12:00
HATRA
Leroy: Library Learning for Imperative Programming Languages
12:00 - 12:30
HATRA
Surveying the Rust Verification Landscape
14:00 - 14:45
HATRA
Toward a Corpus Study of the Dynamic Gradual Type
14:45 - 15:30
HATRA
Discussion of ongoing work
16:00 - 17:30
Mon 21 Oct
Displayed time zone:
Pacific Time (US & Canada)
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
Pacific B
LIVE
Welcome & Opening
09:00 - 09:30
LIVE
Keynote by Jonathan Edwards
09:30 - 10:00
LIVE
Definitions and Dimensions of Liveness
10:00 - 10:30
LIVE
Arroost: Unblocking creation with friends
11:00 - 11:18
LIVE
Code flow canvas - a generic visual programming system
11:18 - 11:36
LIVE
Inkling: Sketching Dynamic Systems
11:36 - 11:54
LIVE
Snappets: a VR animation system based on Projective Geometric Algebra
11:54 - 12:12
LIVE
Subsequently: Telling stories with pictures makes programs
12:12 - 12:30
LIVE
DocuApps: Ampleforth Documents as Applications
14:00 - 14:18
LIVE
EYG a predictable, and useful, programming language
14:18 - 14:36
LIVE
Manifold: Throwing Together Software Systems
14:36 - 14:54
LIVE
Scoped Propagators
14:54 - 15:12
LIVE
ScrapSheets: Async Programs in a Reactive 2D Environment
15:12 - 15:30
LIVE
Diff-based interactive compiler debugging and testing
16:00 - 16:15
LIVE
Example-driven development: bridging tests and documentation
16:15 - 16:30
LIVE
Live Programming a Live Programming Environment: An Experience Report
16:30 - 16:45
LIVE
Run, Build and Grow Small Systems Without Leaving Your Text Editor
16:45 - 17:00
LIVE
TAPE: From direct to programmatic and back
17:00 - 17:15
LIVE
Closing & Farewell
17:15 - 17:30
Tue 22 Oct
Displayed time zone:
Pacific Time (US & Canada)
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
Pacific B
PAINT
Invited Talk 1
09:00 - 09:45
PAINT
Advanced Game Engine Wizardry for Visual Programming Environments
09:45 - 10:30
PAINT
Block-based Platform for Defining Adaptation Rules for Automotive Systems
11:00 - 11:45
PAINT
Supporting Construction of Domain-Specific Representations in Textual S ...
11:45 - 12:30
PAINT
Invited Talk 2
14:00 - 14:45
PAINT
Bridging Incremental Programming and Complex Software Development Envir ...
14:45 - 15:30
x
Sun 6 Oct 09:58