Pacific - UNSOUND 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! PapersSPLASH Onward! Papers at Pacific

10:40 15m Talk		Onward! introduction SPLASH Onward! Papers C: Jonathan Edwards Independent, C: Marcel Taeumel University of Potsdam; Hasso Plattner Institute File Attached
10:55 25m Talk		Moldable Exceptions SPLASH 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 SPLASH Onward! Papers Michael Homer Victoria University of Wellington DOI
11:55 25m Talk		Beyond Procedure Calls as Component Glue: Connectors Deserve Metaclass Status SPLASH 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! EssaysSPLASH Onward! Essays at Pacific

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

16:00 - 17:00	Onward! PapersSPLASH Onward! 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! SPLASH Onward! Papers Mark Marron University of Kentucky DOI
16:30 25m Talk		The Meerkat Vision: Language Support for Live, Scalable, Reactive Web Apps SPLASH Onward! Papers João Costa Seco NOVA-LINCS; Nova University of Lisbon, Jonathan Aldrich Carnegie Mellon University DOI

17:00 - 17:40	Onward! EssaysSPLASH Onward! 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 SPLASH 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! EssaysSPLASH Onward! 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 SPLASH 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 SPLASH Onward! Essays Stefan Lesser None DOI

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

13:40 40m Talk		Use Site Checking Considered Harmful SPLASH 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 SPLASH Onward! Essays Alex Groce Northern Arizona University DOI

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

16:00 25m Talk		Abstract Debuggers: Exploring Program Behaviors Using Static Analysis Results SPLASH 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 SPLASH 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 SPLASH Onward! Papers Rohan Padhye Carnegie Mellon University DOI Pre-print

17:40 - 19:40	SRC PresentationsSPLASH Student Research Competition at Pacific

17:45 15m Poster		Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities SPLASH 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 SPLASH Student Research Competition Youwei Zhong Shanghai Jiao Tong University
18:15 15m Poster		Design of Fractional Permissions for a Gradual Verifier SPLASH Student Research Competition Craig Liu
18:30 15m Poster		Understanding Program Visualizations in the Wild SPLASH 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 SPLASH Student Research Competition Elias Rojas Collins MIT
19:00 15m Poster		Towards a Formal Approach to the Analysis of Human-Machine Interaction SPLASH 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! EssaysSPLASH Onward! Essays at Pacific

11:00 40m Talk		Redressing the balance: a yin-yang perspective on information technologyRemote SPLASH Onward! Essays Konrad Hinsen CNRS DOI
11:40 40m Talk		Programming Languages for the Future of Design ComputationRemote SPLASH 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! PapersSPLASH Onward! Papers at Pacific

13:50 25m Talk		Talking to Objects in Natural Language: Toward Semantic Tools for Exploratory ProgrammingRemote SPLASH 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 SPLASH 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 SPLASH Onward! Papers Stephen Kell King's College London, J. Ryan Stinnett King's College London DOI

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

16:00 40m Talk		The Linguistics of Programming SPLASH Onward! Essays Colin Gordon Drexel University DOI
16:45 40m Talk		The Hidden Program State Hurts Everyone SPLASH Onward! Essays Sverrir Thorgeirsson ETH Zurich, Oliver Graf ETH Zurich, Zhendong Su ETH Zurich DOI
17:25 15m Talk		Onward! Conclusion SPLASH 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									SPLASH Onward! Papers Onward! Papers																																				SPLASH Onward! Essays Onward! Essays																												SPLASH Onward! Papers Onward! Papers												SPLASH 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									SPLASH Onward! Essays Onward! Essays																																				SPLASH Onward! Essays Onward! Essays																												SPLASH Onward! Papers Onward! Papers																				SPLASH 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	SPLASH Onward! Essays Onward! Essays																																		SPLASH Onward! Papers Onward! Papers																										SPLASH 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

SPLASH Onward! Papers

SPLASH Onward! Essays

SPLASH Onward! Papers

SPLASH Onward! Essays

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

SPLASH Onward! Essays

SPLASH Onward! Essays

SPLASH Onward! Papers

SPLASH Student Research Competition

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

SPLASH Onward! Essays

SPLASH Onward! Papers

SPLASH 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

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

SPLASH Onward! Papers

SPLASH Onward! Essays

SPLASH Onward! Papers

SPLASH Onward! Essays

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

SPLASH Onward! Essays

SPLASH Onward! Essays

SPLASH Onward! Papers

SPLASH Student Research Competition

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

SPLASH Onward! Essays

SPLASH Onward! Papers

SPLASH 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