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 – Companion Proceedings

Contents - Abstracts - Authors

Frontmatter

Title Page
Welcome from the General Chair
SPLASH 2022 Organization

Keynotes

(I Can’t Get No) Verification (Keynote)
Atsushi IgarashiORCID logo
(Kyoto University, Japan)
Publisher's Version
The State of Debugging in 2022 (Keynote)
Robert O’Callahan ORCID logo
(Google Research, New Zealand)
Publisher's Version
Myths and Mythconceptions: What Does It Mean to Be a Programming Language, Anyhow? (Keynote)
Mary Shaw ORCID logo
(Carnegie Mellon University, USA)
Publisher's Version
Improving the Quality of Creative Practices with Pattern Languages (Keynote)
Takashi Iba ORCID logo
(Keio University, Japan)
Publisher's Version

Posters

Provably Correct Smart Contracts: An Approach using DeepSEA
Daniel Britten ORCID logo, Vilhelm Sjöberg, and Steve Reeves ORCID logo
(University of Waikato, New Zealand; CertiK, USA)
Publisher's Version Info
Multiverse Notebook: A Notebook Environment for Safe and Efficient Exploration
Tomoki NakamaruORCID logo and Shigeyuki SatoORCID logo
(University of Tokyo, Japan)
Publisher's Version
Explicit Code Reuse Recommendation
Dov Fraivert ORCID logo and David H. Lorenz ORCID logo
(Open University of Israel, Israel)
Publisher's Version
Composing Linear Types and Separation Logic Proofs of Memory Safety
Pilar Selene Linares Arévalo ORCID logo
(University of Melbourne, Australia)
Publisher's Version

Doctoral Symposium

Program Synthesis for Artifacts beyond Programs
Pankaj Kumar Kalita ORCID logo
(IIT Kanpur, India)
Publisher's Version
Formally Verified Resource Bounds through Implicit Computational Complexity
Neea Rusch ORCID logo
(Augusta University, USA)
Publisher's Version
Programming Support for Local-First Software: Enabling the Design of Privacy-Preserving Distributed Software without Relying on the Cloud
Julian Haas ORCID logo
(TU Darmstadt, Germany)
Publisher's Version
Proving Obliviousness of Probabilistic Algorithms with Formal Verification
Pengbo Yan ORCID logo
(University of Melbourne, Australia)
Publisher's Version
Towards Automated Updates of Software Dependencies
Dhanushka Jayasuriya ORCID logo
(University of Auckland, New Zealand)
Publisher's Version
Verification of Hardware and Software with Fuzzing and Proofs
Sujit Kumar MuduliORCID logo
(IIT Kanpur, India)
Publisher's Version
Grammar Inference for Ad Hoc Parsers
Michael SchröderORCID logo
(TU Wien, Austria)
Publisher's Version
Verification of Programs with Concealed Components
Sumit LahiriORCID logo
(IIT Kanpur, India)
Publisher's Version
Towards a Verified Cost Model for Call-by-Push-Value
Zhuo Chen ORCID logo
(University of Melbourne, Australia)
Publisher's Version
Modelling the Quantification of Technical Debt
Judith Perera ORCID logo
(University of Auckland, New Zealand)
Publisher's Version

Student Research Competition

Graduate Papers

Simple Extensible Programming through Precisely-Typed Open Recursion
Andong FanORCID logo
(Hong Kong University of Science and Technology, China)
Publisher's Version
LoRe: Local-First Reactive Programming with Verified Safety Guarantees
Julian Haas ORCID logo
(TU Darmstadt, Germany)
Publisher's Version
Automated Verification for Real-Time Systems using Implicit Clocks and an Extended Antimirov Algorithm
Yahui SongORCID logo and Wei-Ngan ChinORCID logo
(National University of Singapore, Singapore)
Publisher's Version
CodeSpider: Automatic Code Querying with Multi-modal Conjunctive Query Synthesis
Chengpeng WangORCID logo
(Hong Kong University of Science and Technology, China)
Publisher's Version
ARENA: Enhancing Abstract Refinement for Neural Network Verification
Yuyi Zhong ORCID logo, Quang-Trung Ta, and Siau-Cheng Khoo
(National University of Singapore, Singapore)
Publisher's Version
Foundationally Sound Annotation Verifier via Control Flow Splitting
Litao Zhou ORCID logo
(Shanghai Jiao Tong University, China)
Publisher's Version
A Study of the Impact of Callbacks in Staged Static+Dynamic Partial Analysis
Aditya AnandORCID logo
(IIT Mandi, India)
Publisher's Version

Undergraduate Papers

Termination of Recursive Functions by Lexicographic Orders of Linear Combinations
Raphael Douglas Giles ORCID logo
(UNSW, Australia)
Publisher's Version
Qiwi: A Beginner Friendly Quantum Language
Abhinandan Pal ORCID logo and Anubhab Ghosh ORCID logo
(IIIT Kalyani, India)
Publisher's Version
Using Mutations to Analyze Formal Specifications
Siraphob PhipathananunthORCID logo
(Vanderbilt University, USA)
Publisher's Version

proc time: 5.53