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