Pacific - SPLASH 2024

VenueHilton Pasadena

Room namePacific

Room InformationNo extra information available

Program

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

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 programSpecify 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 23 Oct
Displayed time zone: Pacific Time (US & Canada) change

10:40 - 12:20	Onward! PapersOnward! Papers at Pacific

10:40 15m Talk		Onward! introduction Onward! Papers C: Jonathan Edwards Independent, C: Marcel Taeumel University of Potsdam; Hasso Plattner Institute File Attached
10:55 25m Talk		Moldable Exceptions Onward! Papers Andrei Chiş feenk.com, Tudor Gîrba feenk.com, Oscar Nierstrasz feenk.com DOI Pre-print
11:25 25m Talk		Reclaiming the Unexplored in Hybrid Visual Programming Onward! Papers Michael Homer Victoria University of Wellington DOI
11:55 25m Talk		Beyond Procedure Calls as Component Glue: Connectors Deserve Metaclass Status Onward! Papers Marcel Weiher Hasso Plattner Institute, University of Potsdam, Germany, Marcel Taeumel University of Potsdam; Hasso Plattner Institute, Robert Hirschfeld Hasso Plattner Institute; University of Potsdam DOI Pre-print

13:40 - 15:20	Onward! EssaysOnward! Essays at Pacific

13:40 40m Talk		A Case for Feminism in Programming Language Design Onward! Essays Felienne Hermans Vrije Universiteit Amsterdam, Ari Schlesinger University of Georgia DOI
14:30 40m Talk		Dialogues on Natural Code Onward! Essays Lu Wilson Tentpole, David H. Ackley Living Computation Foundation DOI

16:00 - 17:00	Onward! PapersOnward! Papers at Pacific Chair(s): Stephen Kell King's College London Please stay seated – an Onward! essay session will follow immediately: https://2024.splashcon.org/track/splash-2024-Onward-Essays

16:00 25m Talk		A Programing Language for Data and Configuration! Onward! Papers Mark Marron University of Kentucky DOI
16:30 25m Talk		The Meerkat Vision: Language Support for Live, Scalable, Reactive Web Apps Onward! Papers João Costa Seco NOVA-LINCS; Nova University of Lisbon, Jonathan Aldrich Carnegie Mellon University DOI

17:00 - 17:40	Onward! EssaysOnward! Essays at Pacific Chair(s): Stephen Kell King's College London Please stay seated :) Follows directly after the Onward! Papers session before.

17:00 40m Talk		Discovering Your Software Umwelt Onward! Essays Rebecca Wirfs-Brock Wirfs-Brock Associates, Allen Wirfs-Brock Wirfs-Brock Associates, Jordan Wirfs-Brock Whitman College DOI

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

10:40 - 12:20	Onward! EssaysOnward! Essays at Pacific Chair(s): Allen Wirfs-Brock Wirfs-Brock Associates

10:40 40m Talk		tl;dr: Chill, y’all – AI will not devour SE Onward! Essays Eunsuk Kang Carnegie Mellon University, Mary Shaw Carnegie Mellon University DOI
11:30 40m Talk		A New Cognitive Perspective on Simplicity in System and Product Design Onward! Essays Stefan Lesser None DOI

13:40 - 15:20	Onward! EssaysOnward! Essays at Pacific

13:40 40m Talk		Use Site Checking Considered Harmful Onward! Essays Dimi Racordon EPFL, LAMP, Benjamin Chung University of Washington DOI
14:30 40m Talk		(Programs), Proofs and Refutations (and Tests and Mutants)Remote Onward! Essays Alex Groce Northern Arizona University DOI

16:00 - 17:40	Onward! PapersOnward! Papers at Pacific Chair(s): Oscar Nierstrasz feenk.com

16:00 25m Talk		Abstract Debuggers: Exploring Program Behaviors Using Static Analysis Results Onward! Papers Karoliine Holter University of Tartu, Estonia, Juhan Oskar Hennoste University of Tartu, Patrick Lam University of Waterloo, Simmo Saan University of Tartu, Estonia, Vesal Vojdani University of Tartu DOI
16:30 25m Talk		Scimitar: Functional Programs as Optimization Problems Onward! Papers Nate Bragg Tufts University, Jeffrey S. Foster Tufts University, Philip Zucker Draper DOI
17:00 25m Talk		Software Engineering Methods For AI-Driven Deductive Legal Reasoning Onward! Papers Rohan Padhye Carnegie Mellon University DOI Pre-print

17:40 - 19:40	SRC PresentationsStudent Research Competition at Pacific

17:45 15m Poster		Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities Student Research Competition Zheyuan Wu , Haoyi Zeng , Aaron Bies Saarland University
18:00 15m Poster		A Parameterized Framework for the Formal Verification of Zero-Knowledge Virtual Machines Student Research Competition Youwei Zhong Shanghai Jiao Tong University
18:15 15m Poster		Design of Fractional Permissions for a Gradual Verifier Student Research Competition Craig Liu
18:30 15m Poster		Understanding Program Visualizations in the Wild Student Research Competition Joel Castro University of California, Berkeley, Olohi Goodness John Smith College
18:45 15m Poster		Automatic Local Inverse Calculation for Change of Variables Student Research Competition Elias Rojas Collins MIT
19:00 15m Poster		Towards a Formal Approach to the Analysis of Human-Machine Interaction Student Research Competition Leyi Cui Columbia University, New York

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

11:00 - 12:20	Onward! EssaysOnward! Essays at Pacific

11:00 40m Talk		Redressing the balance: a yin-yang perspective on information technologyRemote Onward! Essays Konrad Hinsen CNRS DOI
11:40 40m Talk		Programming Languages for the Future of Design ComputationRemote Onward! Essays Robert Aish Bartlett School of Architecture, UCL, Al Fisher Buro Happold, Dominic Orchard University of Kent; University of Cambridge, Jay Torry University of Cambridge DOI

13:50 - 15:30	Onward! PapersOnward! Papers at Pacific

13:50 25m Talk		Talking to Objects in Natural Language: Toward Semantic Tools for Exploratory ProgrammingRemote Onward! Papers Christoph Thiede Hasso Plattner Institute, University of Potsdam, Germany, Marcel Taeumel University of Potsdam; Hasso Plattner Institute, Lukas Böhme Hasso Plattner Institute, University of Potsdam, Potsdam, Germany, Robert Hirschfeld Hasso Plattner Institute; University of Potsdam DOI Media Attached File Attached
14:25 25m Talk		Active DSU: Dynamic Software Updates for Active Functions Onward! Papers Filip Strömbäck Linköping University, Daniel Varro Linköping University / McGill University DOI
15:00 25m Talk		Source-level debugging of compiler-optimised code: ill-posed, but not impossible Onward! Papers Stephen Kell King's College London, J. Ryan Stinnett King's College London DOI

16:00 - 17:40	Onward! EssaysOnward! Essays at Pacific

16:00 40m Talk		The Linguistics of Programming Onward! Essays Colin Gordon Drexel University DOI
16:45 40m Talk		The Hidden Program State Hurts Everyone Onward! Essays Sverrir Thorgeirsson ETH Zurich, Oliver Graf ETH Zurich, Zhendong Su ETH Zurich DOI
17:25 15m Talk		Onward! Conclusion Onward! Essays C: Marcel Taeumel University of Potsdam; Hasso Plattner Institute, C: Jonathan Edwards Independent File Attached

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


Room	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									Onward! Papers Onward! Papers																																				Onward! Essays Onward! Essays																												Onward! Papers Onward! Papers												Onward! Essays Onward! Essays

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


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30
Pacific									Onward! Essays Onward! Essays																																				Onward! Essays Onward! Essays																												Onward! Papers Onward! Papers																				Student Research Competition SRC Presentations

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


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Pacific	Onward! Essays Onward! Essays																																		Onward! Papers Onward! Papers																										Onward! Essays Onward! Essays

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


Room	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									SPLASH Onward! Papers Onward! introduction 10:40 - 10:55			SPLASH Onward! Papers Moldable Exceptions 10:55 - 11:20						SPLASH Onward! Papers Reclaiming the Unexplored in Hybrid Visual Programming 11:25 - 11:50						SPLASH Onward! Papers Beyond Procedure Calls as Component Glue: Connectors Deserve Metaclass ... 11:55 - 12:20																					SPLASH Onward! Essays A Case for Feminism in Programming Language Design 13:40 - 14:20										SPLASH Onward! Essays Dialogues on Natural Code 14:30 - 15:10																		SPLASH Onward! Papers A Programing Language for Data and Configuration! 16:00 - 16:25						SPLASH Onward! Papers The Meerkat Vision: Language Support for Live, Scalable, Reactive Web Apps 16:30 - 16:55						SPLASH Onward! Essays Discovering Your Software Umwelt 17:00 - 17:40

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


Room	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			18:00			15			30			45			19:00			15			30			45
Pacific									SPLASH Onward! Essays tl;dr: Chill, y’all – AI will not devour SE 10:40 - 11:20										SPLASH Onward! Essays A New Cognitive Perspective on Simplicity in System and Product Design 11:30 - 12:10																										SPLASH Onward! Essays Use Site Checking Considered Harmful 13:40 - 14:20										SPLASH Onward! EssaysRemote (Programs), Proofs and Refutations (and Tests and Mutants) 14:30 - 15:10																		SPLASH Onward! Papers Abstract Debuggers: Exploring Program Behaviors Using Static Analysis R ... 16:00 - 16:25						SPLASH Onward! Papers Scimitar: Functional Programs as Optimization Problems 16:30 - 16:55						SPLASH Onward! Papers Software Engineering Methods For AI-Driven Deductive Legal Reasoning 17:00 - 17:25									SPLASH Student Research Competition Kawa: An Abstract Language for Scalable and Variable Detection of Spect ... 17:45 - 18:00			SPLASH Student Research Competition A Parameterized Framework for the Formal Verification of Zero-Knowledge ... 18:00 - 18:15			SPLASH Student Research Competition Design of Fractional Permissions for a Gradual Verifier 18:15 - 18:30			SPLASH Student Research Competition Understanding Program Visualizations in the Wild 18:30 - 18:45			SPLASH Student Research Competition Automatic Local Inverse Calculation for Change of Variables 18:45 - 19:00			SPLASH Student Research Competition Towards a Formal Approach to the Analysis of Human-Machine Interaction 19:00 - 19:15

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


Room	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	SPLASH Onward! EssaysRemote Redressing the balance: a yin-yang perspective on information technology 11:00 - 11:40								SPLASH Onward! EssaysRemote Programming Languages for the Future of Design Computation 11:40 - 12:20																										SPLASH Onward! PapersRemote Talking to Objects in Natural Language: Toward Semantic Tools for Explo ... 13:50 - 14:15							SPLASH Onward! Papers Active DSU: Dynamic Software Updates for Active Functions 14:25 - 14:50							SPLASH Onward! Papers Source-level debugging of compiler-optimised code: ill-posed, but not i ... 15:00 - 15:25												SPLASH Onward! Essays The Linguistics of Programming 16:00 - 16:40									SPLASH Onward! Essays The Hidden Program State Hurts Everyone 16:45 - 17:25								SPLASH Onward! Essays Onward! Conclusion 17:25 - 17:40

Room information: Pacific

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

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

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

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

Onward! Papers

Onward! Essays

Onward! Papers

Onward! Essays

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

Onward! Essays

Onward! Essays

Onward! Papers

Student Research Competition

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

Onward! Essays

Onward! Papers

Onward! Essays

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

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

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

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

Room information: Pacific

Program Display Configuration

Wed 23 OctDisplayed time zone: Pacific Time (US & Canada) change

Thu 24 OctDisplayed time zone: Pacific Time (US & Canada) change

Fri 25 OctDisplayed time zone: Pacific Time (US & Canada) change

Wed 23 OctDisplayed time zone: Pacific Time (US & Canada) change

Onward! Papers

Onward! Essays

Onward! Papers

Onward! Essays

Thu 24 OctDisplayed time zone: Pacific Time (US & Canada) change

Onward! Essays

Onward! Essays

Onward! Papers

Student Research Competition

Fri 25 OctDisplayed time zone: Pacific Time (US & Canada) change

Onward! Essays

Onward! Papers

Onward! Essays

Wed 23 OctDisplayed time zone: Pacific Time (US & Canada) change

Thu 24 OctDisplayed time zone: Pacific Time (US & Canada) change

Fri 25 OctDisplayed time zone: Pacific Time (US & Canada) change

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

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

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

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

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

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

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

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

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