Extensible Testing for Infrastructure as Code (SPLASH 2023 - Posters)

Who

David Spielmann, Daniel Sokolowski, Guido Salvaneschi

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

Save

When

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

David Spielmann

University of St. Gallen

Daniel Sokolowski

University of St. Gallen

Switzerland

Guido Salvaneschi

University of St. Gallen

Switzerland

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

Display full programSpecify a time band

Save

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