SPLASH Companion 2022 – Companion Proceedings

Frontmatter

Keynotes

(I Can’t Get No) Verification (Keynote)
Atsushi Igarashi
(Kyoto University, Japan)

Publisher's Version Article: splashcomp22key-key1-p doi:10.1145/3563768.3570524

The State of Debugging in 2022 (Keynote)
Robert O’Callahan
(Google Research, New Zealand)

Publisher's Version Article: splashcomp22key-key2-p doi:10.1145/3563768.3570525

Myths and Mythconceptions: What Does It Mean to Be a Programming Language, Anyhow? (Keynote)
Mary Shaw
(Carnegie Mellon University, USA)

Publisher's Version Article: splashcomp22key-key3-p doi:10.1145/3563768.3570526

Improving the Quality of Creative Practices with Pattern Languages (Keynote)
Takashi Iba
(Keio University, Japan)

Publisher's Version Article: splashcomp22key-key4-p doi:10.1145/3563768.3570527

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 Article: splashcomp22posters-p6-p doi:10.1145/3563768.3564116

Multiverse Notebook: A Notebook Environment for Safe and Efficient Exploration
Tomoki Nakamaru and Shigeyuki Sato
(University of Tokyo, Japan)

Publisher's Version Article: splashcomp22posters-p41-p doi:10.1145/3563768.3564117

Explicit Code Reuse Recommendation
Dov Fraivert and David H. Lorenz
(Open University of Israel, Israel)

Publisher's Version Article: splashcomp22posters-p89-p doi:10.1145/3563768.3564118

Composing Linear Types and Separation Logic Proofs of Memory Safety
Pilar Selene Linares Arévalo
(University of Melbourne, Australia)

Publisher's Version Article: splashcomp22posters-p99-p doi:10.1145/3563768.3564119

Doctoral Symposium

Program Synthesis for Artifacts beyond Programs
Pankaj Kumar Kalita
(IIT Kanpur, India)

Publisher's Version Article: splashcomp22doc-p6-p doi:10.1145/3563768.3565544

Formally Verified Resource Bounds through Implicit Computational Complexity
Neea Rusch
(Augusta University, USA)

Publisher's Version Article: splashcomp22doc-p10-p doi:10.1145/3563768.3565545

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: splashcomp22doc-p16-p doi:10.1145/3563768.3565546

Proving Obliviousness of Probabilistic Algorithms with Formal Verification
Pengbo Yan
(University of Melbourne, Australia)

Publisher's Version Article: splashcomp22doc-p17-p doi:10.1145/3563768.3565547

Towards Automated Updates of Software Dependencies
Dhanushka Jayasuriya
(University of Auckland, New Zealand)

Publisher's Version Article: splashcomp22doc-p27-p doi:10.1145/3563768.3565548

Verification of Hardware and Software with Fuzzing and Proofs
Sujit Kumar Muduli
(IIT Kanpur, India)

Publisher's Version Article: splashcomp22doc-p38-p doi:10.1145/3563768.3565549

Grammar Inference for Ad Hoc Parsers
Michael Schröder
(TU Wien, Austria)

Publisher's Version Article: splashcomp22doc-p41-p doi:10.1145/3563768.3565550

Verification of Programs with Concealed Components
Sumit Lahiri
(IIT Kanpur, India)

Publisher's Version Article: splashcomp22doc-p79-p doi:10.1145/3563768.3565551

Towards a Verified Cost Model for Call-by-Push-Value
Zhuo Chen
(University of Melbourne, Australia)

Publisher's Version Article: splashcomp22doc-p81-p doi:10.1145/3563768.3565552

Modelling the Quantification of Technical Debt
Judith Perera
(University of Auckland, New Zealand)

Publisher's Version Article: splashcomp22doc-p94-p doi:10.1145/3563768.3565553

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 Article: splashcomp22src-id2978-p doi:10.1145/3563768.3563951

LoRe: Local-First Reactive Programming with Verified Safety Guarantees
Julian Haas
(TU Darmstadt, Germany)

Publisher's Version Article: splashcomp22src-id1133-p doi:10.1145/3563768.3563952

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 Article: splashcomp22src-id9583-p doi:10.1145/3563768.3563953

CodeSpider: Automatic Code Querying with Multi-modal Conjunctive Query Synthesis
Chengpeng Wang
(Hong Kong University of Science and Technology, China)

Publisher's Version Article: splashcomp22src-id1832-p doi:10.1145/3563768.3563954

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 Article: splashcomp22src-id6999-p doi:10.1145/3563768.3563955

Foundationally Sound Annotation Verifier via Control Flow Splitting
Litao Zhou
(Shanghai Jiao Tong University, China)

Publisher's Version Article: splashcomp22src-id9734-p doi:10.1145/3563768.3563956

A Study of the Impact of Callbacks in Staged Static+Dynamic Partial Analysis
Aditya Anand
(IIT Mandi, India)

Publisher's Version Article: splashcomp22src-id9908-p doi:10.1145/3563768.3563957

Undergraduate Papers

Termination of Recursive Functions by Lexicographic Orders of Linear Combinations
Raphael Douglas Giles
(UNSW, Australia)

Publisher's Version Article: splashcomp22src-id2437-p doi:10.1145/3563768.3563958

Qiwi: A Beginner Friendly Quantum Language
Abhinandan Pal and Anubhab Ghosh
(IIIT Kalyani, India)

Publisher's Version Article: splashcomp22src-id3394-p doi:10.1145/3563768.3563959

Using Mutations to Analyze Formal Specifications
Siraphob Phipathananunth
(Vanderbilt University, USA)

Publisher's Version Article: splashcomp22src-id7593-p doi:10.1145/3563768.3563960

proc time: 0.05