SPLASH 2023
2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH 2023)
Powered by
Conference Publishing Consulting

2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH 2023), October 22–27, 2023, Cascais, Portugal

SPLASH 2023 – Author Index

Contents - Abstracts - Authors

B C D F G H I J K L N P R S W Y Z

Barash, Mikhail SPLASH '23-POSTERS: "Towards Reusable GUI Structures ..." SPLASH '23-POSTERS: "Involving Users in Design ..."
Blackshear, Sam SPLASH '23-POSTERS: "Sui Move: Modern Blockchain ..."
Carvalho, Luís SPLASH '23-DOC: "Semantic Versioning for Python ..."
Considine, Breandan SPLASH '23-DOC: "A Pragmatic Approach to Syntax ..."
Davila Mateu, Marta SPLASH '23-SRC: "Synthesizing Recursive Programs ..."
Freeman, Julia SPLASH '23-SRC: "Historiographer: Strongly-Consistent ..."
Glomsrud, Rolf Martin SPLASH '23-POSTERS: "Involving Users in Design ..."
Gomes, Luís SPLASH '23-DOC: "Transforming Ideas into Code: ..."
Hoobergs, Jesse SPLASH '23-SRC: "Modular Educational Languages ..."
Irie, Hidetsugu SPLASH '23-POSTERS: "A Functional Reactive Programming ..."
Izawa, Yusuke SPLASH '23-POSTERS: "A Functional Reactive Programming ..."
Jain, Rijul SPLASH '23-POSTERS: "Generating Domain-Specific ..."
Järvi, Jaakko SPLASH '23-POSTERS: "Towards Reusable GUI Structures ..."
Ji, Ruyi SPLASH '23-DOC: "Scaling up Program Synthesis ..."
Kadomoto, Junichiro SPLASH '23-POSTERS: "A Functional Reactive Programming ..."
Köhler, Mirko SPLASH '23-POSTERS: "Safe Combination of Data-Centric ..."
Larose, Octave SPLASH '23-POSTERS: "Dynamic Library Compartmentalization ..."
Lorenz, David H. SPLASH '23-POSTERS: "ReactCOP: Modular and Scalable ..."
Ni, Wode SPLASH '23-POSTERS: "Generating Domain-Specific ..."
Nosáľ, Milan SPLASH '23-POSTERS: "JaMaBuild: Mass Building of ..."
Pečimúth, Andrej SPLASH '23-DOC: "Remote Just-in-Time Compilation ..."
Phipathananunth, Siraphob SPLASH '23-SRC: "Towards the Formal Verification ..."
Ribeiro, Francisco SPLASH '23-DOC: "Large Language Models for ..."
Roth, Tobias SPLASH '23-DOC: "Reusing Single-Language Analyses ..."
Rothkopf, Raven SPLASH '23-SRC: "Rose: Extensible Autodiff ..."
Sakai, Shuichi SPLASH '23-POSTERS: "A Functional Reactive Programming ..."
Salvaneschi, Guido SPLASH '23-POSTERS: "Safe Combination of Data-Centric ..." SPLASH '23-POSTERS: "Extensible Testing for Infrastructure ..."
Shi, Zhan SPLASH '23-SRC: "Partial Gradual Dependent ..."
Shmuel, Ofir SPLASH '23-POSTERS: "ReactCOP: Modular and Scalable ..."
Sokolowski, Daniel SPLASH '23-POSTERS: "Extensible Testing for Infrastructure ..."
Spielmann, David SPLASH '23-POSTERS: "Extensible Testing for Infrastructure ..."
Startsev, Yulia SPLASH '23-POSTERS: "Involving Users in Design ..."
Stokke, Knut Anders SPLASH '23-POSTERS: "Towards Reusable GUI Structures ..."
Sulír, Matúš SPLASH '23-POSTERS: "JaMaBuild: Mass Building of ..."
Sunshine, Joshua SPLASH '23-POSTERS: "Generating Domain-Specific ..."
Welc, Adam SPLASH '23-POSTERS: "Sui Move: Modern Blockchain ..."
Wilson, Katrina SPLASH '23-SRC: "Clearing the Trail: Motivations ..."
Ye, Haolin SPLASH '23-SRC: "An Optimal Structure-Aware ..."
Zegarelli, Antonio SPLASH '23-SRC: "Design and Implementation ..."
Zhou, Timothy SPLASH '23-SRC: "Historiographer: Strongly-Consistent ..."

40 authors

proc time: 13.25