Completeness Thresholds for Memory Safety: Unbounded Guarantees Via Bounded Proofs (SPLASH 2023 - Posters) - SPLASH 2023

Sun 22 - Fri 27 October 2023 Cascais, Portugal

Who

Tobias Reinhard, Justus Fasse, Bart Jacobs

Track

SPLASH 2023 Posters

Time Zone

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) LisbonSelect 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

When

Sun 22 Oct 2023 17:30 - 19:30 at Room I - SPLASH Posters Chair(s): Xujie Si
Tue 24 Oct 2023 18:12 - 18:21 at Room I - SPLASH Posters

Tobias Reinhard

KU Leuven

Belgium

Justus Fasse

Université Grenoble-Alpes; KU Leuven

Bart Jacobs

KU Leuven

Belgium

Time Zone

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) LisbonSelect 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

Session Program

Sun 22 Oct
Displayed time zone: Lisbon change

	17:30 - 19:30	SPLASH PostersPosters at Room I Chair(s): Xujie Si University of Toronto

	17:30 2h Poster		Sui Move: Modern Blockchain Programming with Objects Posters Adam Welc Mysten Labs, Sam Blackshear Mysten Labs
	17:30 2h Poster		Safe Combination of Data-centric and Operation-centric Consistency Posters Mirko Köhler TU Darmstadt, Guido Salvaneschi University of St. Gallen
	17:30 2h Poster		Dynamic Library Compartmentalization Posters Octave Larose University of Kent
	17:30 2h Poster		Collabs implements collaborative data structures (CRDTs) with OOP principles Posters Matthew Weidner Carnegie Mellon University
	17:30 2h Poster		Involving Users in Design of a Widely Used Language: A Case of ECMAScript (JavaScript) Standardization Posters Mikhail Barash University of Bergen, Yulia Startsev Mozilla, Rolf Martin Glomsrud University of Bergen (Norway)
	17:30 2h Poster		A Functional Reactive Programming Language for Wirelessly Connected Shape-Changeable Chiplet-Based Computers Posters Yusuke Izawa IBM Research - Tokyo, Junichiro Kadomoto The University of Tokyo, Hidetsugu Irie University of Tokyo, Shuichi Sakai University of Tokyo
	17:30 2h Poster		Kind Inference for the FreeST Programming Language Posters Bernardo Almeida LASIGE, Faculty of Sciences, University of Lisbon, Andreia Mordido LASIGE, University of Lisbon, Vasco T. Vasconcelos LASIGE, University of Lisbon
	17:30 2h Poster		Extensible Testing for Infrastructure as Code Posters David Spielmann University of St. Gallen, Daniel Sokolowski University of St. Gallen, Guido Salvaneschi University of St. Gallen
	17:30 2h Poster		Penrose: Beautiful diagrams from plain text Posters Sam Estep Carnegie Mellon University
	17:30 2h Poster		JaMaBuild: Mass Building of Java Projects Posters Matúš Sulír Technical University of Košice, Milan Nosáľ ValeSoft, s.r.o.
	17:30 2h Poster		Completeness Thresholds for Memory Safety: Unbounded Guarantees Via Bounded Proofs Posters Tobias Reinhard KU Leuven, Justus Fasse Université Grenoble-Alpes; KU Leuven, Bart Jacobs KU Leuven
	17:30 2h Poster		Towards Reusable GUI Structures Posters Knut Anders Stokke University of Bergen, Norway, Mikhail Barash University of Bergen, Jaakko Järvi University of Bergen
	17:30 2h Poster		ReactCOP: Modular and Scalable Web Development with Context-Oriented Programming Posters David H. Lorenz Open University of Israel, Ofir Shmuel Open University of Israel DOI Media Attached
	17:30 2h Poster		Generating Domain-Specific Programs for Diagram Authoring with Large Language Models Posters Rijul Jain Williams College, Wode Ni Columbia University, Joshua Sunshine Carnegie Mellon University

Tue 24 Oct
Displayed time zone: Lisbon change

	17:30 - 19:30	SPLASH PostersPosters at Room I

	17:30 8m Poster		Extensible Testing for Infrastructure as Code Posters David Spielmann University of St. Gallen, Daniel Sokolowski University of St. Gallen, Guido Salvaneschi University of St. Gallen
	17:38 8m Poster		ReactCOP: Modular and Scalable Web Development with Context-Oriented Programming Posters David H. Lorenz Open University of Israel, Ofir Shmuel Open University of Israel DOI Media Attached
	17:47 8m Poster		Involving Users in Design of a Widely Used Language: A Case of ECMAScript (JavaScript) Standardization Posters Mikhail Barash University of Bergen, Yulia Startsev Mozilla, Rolf Martin Glomsrud University of Bergen (Norway)
	17:55 8m Poster		Kind Inference for the FreeST Programming Language Posters Bernardo Almeida LASIGE, Faculty of Sciences, University of Lisbon, Andreia Mordido LASIGE, University of Lisbon, Vasco T. Vasconcelos LASIGE, University of Lisbon
	18:04 8m Poster		Collabs implements collaborative data structures (CRDTs) with OOP principles Posters Matthew Weidner Carnegie Mellon University
	18:12 8m Poster		Completeness Thresholds for Memory Safety: Unbounded Guarantees Via Bounded Proofs Posters Tobias Reinhard KU Leuven, Justus Fasse Université Grenoble-Alpes; KU Leuven, Bart Jacobs KU Leuven
	18:21 8m Poster		Dynamic Library Compartmentalization Posters Octave Larose University of Kent
	18:30 8m Poster		JaMaBuild: Mass Building of Java Projects Posters Matúš Sulír Technical University of Košice, Milan Nosáľ ValeSoft, s.r.o.
	18:38 8m Poster		Sui Move: Modern Blockchain Programming with Objects Posters Adam Welc Mysten Labs, Sam Blackshear Mysten Labs
	18:47 8m Poster		Towards Reusable GUI Structures Posters Knut Anders Stokke University of Bergen, Norway, Mikhail Barash University of Bergen, Jaakko Järvi University of Bergen
	18:55 8m Poster		A Functional Reactive Programming Language for Wirelessly Connected Shape-Changeable Chiplet-Based Computers Posters Yusuke Izawa IBM Research - Tokyo, Junichiro Kadomoto The University of Tokyo, Hidetsugu Irie University of Tokyo, Shuichi Sakai University of Tokyo
	19:04 8m Poster		Generating Domain-Specific Programs for Diagram Authoring with Large Language Models Posters Rijul Jain Williams College, Wode Ni Columbia University, Joshua Sunshine Carnegie Mellon University
	19:12 8m Poster		Safe Combination of Data-centric and Operation-centric Consistency Posters Mirko Köhler TU Darmstadt, Guido Salvaneschi University of St. Gallen
	19:21 8m Poster		Penrose: Beautiful diagrams from plain text Posters Sam Estep Carnegie Mellon University