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 Igarashi
(Kyoto University, Japan)
Publisher's Version
The State of Debugging in 2022 (Keynote)
Robert O’Callahan
(Google Research, New Zealand)
Publisher's Version
Myths and Mythconceptions: What Does It Mean to Be a Programming Language, Anyhow? (Keynote)
Mary Shaw
(Carnegie Mellon University, USA)
Publisher's Version
Improving the Quality of Creative Practices with Pattern Languages (Keynote)
Takashi Iba
(Keio University, Japan)
Publisher's Version

Posters

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

Doctoral Symposium

Program Synthesis for Artifacts beyond Programs
Pankaj Kumar Kalita
(IIT Kanpur, India)
Publisher's Version
Formally Verified Resource Bounds through Implicit Computational Complexity
Neea Rusch
(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
(TU Darmstadt, Germany)
Publisher's Version
Proving Obliviousness of Probabilistic Algorithms with Formal Verification
Pengbo Yan
(University of Melbourne, Australia)
Publisher's Version
Towards Automated Updates of Software Dependencies
Dhanushka Jayasuriya
(University of Auckland, New Zealand)
Publisher's Version
Verification of Hardware and Software with Fuzzing and Proofs
Sujit Kumar Muduli
(IIT Kanpur, India)
Publisher's Version
Grammar Inference for Ad Hoc Parsers
Michael Schröder
(TU Wien, Austria)
Publisher's Version
Verification of Programs with Concealed Components
Sumit Lahiri
(IIT Kanpur, India)
Publisher's Version
Towards a Verified Cost Model for Call-by-Push-Value
Zhuo Chen
(University of Melbourne, Australia)
Publisher's Version
Modelling the Quantification of Technical Debt
Judith Perera
(University of Auckland, New Zealand)
Publisher's Version

Student Research Competition

Graduate Papers

Simple Extensible Programming through Precisely-Typed Open Recursion
Andong Fan
(Hong Kong University of Science and Technology, China)
Publisher's Version
LoRe: Local-First Reactive Programming with Verified Safety Guarantees
Julian Haas
(TU Darmstadt, Germany)
Publisher's Version
Automated Verification for Real-Time Systems using Implicit Clocks and an Extended Antimirov Algorithm
Yahui Song and Wei-Ngan Chin
(National University of Singapore, Singapore)
Publisher's Version
CodeSpider: Automatic Code Querying with Multi-modal Conjunctive Query Synthesis
Chengpeng Wang
(Hong Kong University of Science and Technology, China)
Publisher's Version
ARENA: Enhancing Abstract Refinement for Neural Network Verification
Yuyi Zhong, 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
(Shanghai Jiao Tong University, China)
Publisher's Version
A Study of the Impact of Callbacks in Staged Static+Dynamic Partial Analysis
Aditya Anand
(IIT Mandi, India)
Publisher's Version

Undergraduate Papers

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

proc time: 7.98