Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion 2022, Auckland, New Zealand, December 5-10, 2022 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Alex Potanin, editor, Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion 2022, Auckland, New Zealand, December 5-10, 2022. ACM, 2022. [doi]

Conference: SPLASH2022

Abstract is missing.

(I Can't Get No) Verification (Keynote)Atsushi Igarashi. 1 [doi]

The State of Debugging in 2022 (Keynote)Robert O'Callahan. 2 [doi]

Myths and Mythconceptions: What Does It Mean to Be a Programming Language, Anyhow? (Keynote)Mary Shaw. 3 [doi]

Improving the Quality of Creative Practices with Pattern Languages (Keynote)Takashi Iba. 4 [doi]

Provably Correct Smart Contracts: An Approach using DeepSEADaniel Britten, Vilhelm Sjöberg, Steve Reeves. 5-6 [doi]

Multiverse Notebook: A Notebook Environment for Safe and Efficient ExplorationTomoki Nakamaru, Shigeyuki Sato. 7-8 [doi]

Explicit Code Reuse RecommendationDov Fraivert, David H. Lorenz. 9-10 [doi]

Composing Linear Types and Separation Logic Proofs of Memory SafetyPilar Selene Linares Arévalo. 11-12 [doi]

Program Synthesis for Artifacts beyond ProgramsPankaj Kumar Kalita. 13-16 [doi]

Formally Verified Resource Bounds through Implicit Computational ComplexityNeea Rusch. 17-20 [doi]

Programming Support for Local-First Software: Enabling the Design of Privacy-Preserving Distributed Software without Relying on the CloudJulian Haas. 21-24 [doi]

Proving Obliviousness of Probabilistic Algorithms with Formal VerificationPengbo Yan. 25-28 [doi]

Towards Automated Updates of Software DependenciesDhanushka Jayasuriya. 29-33 [doi]

Verification of Hardware and Software with Fuzzing and ProofsSujit Kumar Muduli. 34-37 [doi]

Grammar Inference for Ad Hoc ParsersMichael Schröder. 38-42 [doi]

Verification of Programs with Concealed ComponentsSumit Lahiri. 43-46 [doi]

Towards a Verified Cost Model for Call-by-Push-ValueZhuo Chen. 47-49 [doi]

Modelling the Quantification of Technical DebtJudith Perera. 50-53 [doi]

Simple Extensible Programming through Precisely-Typed Open RecursionAndong Fan. 54-56 [doi]

LoRe: Local-First Reactive Programming with Verified Safety GuaranteesJulian Haas. 57-59 [doi]

Automated Verification for Real-Time Systems using Implicit Clocks and an Extended Antimirov AlgorithmYahui Song, Wei-Ngan Chin. 60-62 [doi]

CodeSpider: Automatic Code Querying with Multi-modal Conjunctive Query SynthesisChengpeng Wang. 63-65 [doi]

ARENA: Enhancing Abstract Refinement for Neural Network VerificationYuyi Zhong, Quang-Trung Ta, Siau-Cheng Khoo. 66-68 [doi]

Foundationally Sound Annotation Verifier via Control Flow SplittingLitao Zhou. 69-71 [doi]

A Study of the Impact of Callbacks in Staged Static+Dynamic Partial AnalysisAditya Anand. 72-74 [doi]

Termination of Recursive Functions by Lexicographic Orders of Linear CombinationsRaphael Douglas Giles. 75-77 [doi]

Qiwi: A Beginner Friendly Quantum LanguageAbhinandan Pal, Anubhab Ghosh. 78-80 [doi]

Using Mutations to Analyze Formal SpecificationsSiraphob Phipathananunth. 81-83 [doi]

runs on WebDSL