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 – Preliminary Table of Contents

Contents - Abstracts - Authors

Frontmatter

Title Page
Message from the Chairs

Posters

Provably Correct Smart Contracts: An Approach using DeepSEA
Daniel Britten, Vilhelm Sjöberg, and Steve Reeves
(University of Waikato, New Zealand; CertiK, n.n.)
Publisher's Version Article Search 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 Article Search
Explicit Code Reuse Recommendation
Dov Fraivert ORCID logo and David H. Lorenz ORCID logo
(Open University of Israel, Israel)
Publisher's Version Article Search
Composing Linear Types and Separation Logic Proofs of Memory Safety
Pilar Selene Linares Arevalo ORCID logo
(University of Melbourne, Australia)
Publisher's Version Article Search

Doctoral Symposium

Papers

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

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 Article Search
LoRe: Local-First Reactive Programming with Verified Safety Guarantees
Julian Haas
(TU Darmstadt, Germany)
Publisher's Version Article Search
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 Article Search
CodeSpider: Automatic Code Querying with Multi-modal Conjunctive Query Synthesis
Chengpeng WangORCID logo
(Hong Kong University of Science and Technology, China)
Publisher's Version Article Search
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 Article Search
Foundationally Sound Annotation Verifier via Control Flow Splitting
Litao Zhou ORCID logo
(Shanghai Jiao Tong University, China)
Publisher's Version Article Search
A Study of the Impact of Callbacks in Staged Static+Dynamic Partial Analysis
Aditya AnandORCID logo
(IIT Mandi, India)
Publisher's Version Article Search

Undergraduate Papers

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

proc time: 3.63