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

2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Companion 2022), December 5–10, 2022, Auckland, New Zealand

SPLASH Companion 2022 – Author Index

Contents - Abstracts - Authors

A B C F G H J K L M N P R S T W Y Z

Anand, Aditya SPLASH Companion '22-SRC: "A Study of the Impact of Callbacks ..."
Britten, Daniel SPLASH Companion '22-POSTERS: "Provably Correct Smart Contracts: ..."
Chen, Zhuo SPLASH Companion '22-DOC: "Towards a Verified Cost Model ..."
Chin, Wei-Ngan SPLASH Companion '22-SRC: "Automated Verification for ..."
Fan, Andong SPLASH Companion '22-SRC: "Simple Extensible Programming ..."
Fraivert, Dov SPLASH Companion '22-POSTERS: "Explicit Code Reuse Recommendation ..."
Ghosh, Anubhab SPLASH Companion '22-SRC: "Qiwi: A Beginner Friendly ..."
Giles, Raphael Douglas SPLASH Companion '22-SRC: "Termination of Recursive Functions ..."
Haas, Julian SPLASH Companion '22-DOC: "Programming Support for Local-First ..." SPLASH Companion '22-SRC: "LoRe: Local-First Reactive ..."
Jayasuriya, Dhanushka SPLASH Companion '22-DOC: "Towards Automated Updates ..."
Kalita, Pankaj Kumar SPLASH Companion '22-DOC: "Program Synthesis for Artifacts ..."
Khoo, Siau-Cheng SPLASH Companion '22-SRC: "ARENA: Enhancing Abstract ..."
Lahiri, Sumit SPLASH Companion '22-DOC: "Verification of Programs with ..."
Linares Arevalo, Pilar Selene SPLASH Companion '22-POSTERS: "Composing Linear Types and ..."
Lorenz, David H. SPLASH Companion '22-POSTERS: "Explicit Code Reuse Recommendation ..."
Muduli, Sujit Kumar SPLASH Companion '22-DOC: "Verification of Hardware and ..."
Nakamaru, Tomoki SPLASH Companion '22-POSTERS: "Multiverse Notebook: A Notebook ..."
Pal, Abhinandan SPLASH Companion '22-SRC: "Qiwi: A Beginner Friendly ..."
Perera, Judith SPLASH Companion '22-DOC: "Modelling the Quantification ..."
Phipathananunth, Siraphob SPLASH Companion '22-SRC: "Using Mutations to Analyze ..."
Reeves, Steve SPLASH Companion '22-POSTERS: "Provably Correct Smart Contracts: ..."
Rusch, Neea SPLASH Companion '22-DOC: "Formally Verified Resource ..."
Sato, Shigeyuki SPLASH Companion '22-POSTERS: "Multiverse Notebook: A Notebook ..."
Schröder, Michael SPLASH Companion '22-DOC: "Grammar Inference for Ad Hoc ..."
Sjöberg, Vilhelm SPLASH Companion '22-POSTERS: "Provably Correct Smart Contracts: ..."
Song, Yahui SPLASH Companion '22-SRC: "Automated Verification for ..."
Ta, Quang-Trung SPLASH Companion '22-SRC: "ARENA: Enhancing Abstract ..."
Wang, Chengpeng SPLASH Companion '22-SRC: "CodeSpider: Automatic Code ..."
Yan, Pengbo SPLASH Companion '22-DOC: "Proving Obliviousness of Probabilistic ..."
Zhong, Yuyi SPLASH Companion '22-SRC: "ARENA: Enhancing Abstract ..."
Zhou, Litao SPLASH Companion '22-SRC: "Foundationally Sound Annotation ..."

31 authors

proc time: 2.85