GPCE 2024
Sun 20 - Fri 25 October 2024 Pasadena, California, United States
co-located with SPLASH 2024
VenueHilton Pasadena
Room namePacific B
Room InformationNo extra information available
Program

This program is tentative and subject to change.

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
KeynoteHATRA 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 1HATRA 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 2HATRA at Pacific B
14:00
45m
Talk
Surveying the Rust Verification Landscape
HATRA
Alex Le Blanc University of Waterloo, Patrick Lam University of Waterloo
Pre-print
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
DiscussionHATRA 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 OneLIVE 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
16:00 - 17:30
Afternoon TwoLIVE 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

11:00 - 12:30
Session 2PAINT 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 3PAINT 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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Pacific B

Mon 21 Oct

Displayed time zone: Pacific Time (US & Canada) change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Pacific B

Tue 22 Oct

Displayed time zone: Pacific Time (US & Canada) change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Pacific B