SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
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

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