default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSPLASH Companion 2022: Auckland, New Zealand
- Alex Potanin:
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, ISBN 978-1-4503-9901-2 - Atsushi Igarashi
:
(I Can't Get No) Verification (Keynote). 1 - Robert O'Callahan:
The State of Debugging in 2022 (Keynote). 2 - Mary Shaw:
Myths and Mythconceptions: What Does It Mean to Be a Programming Language, Anyhow? (Keynote). 3 - Takashi Iba:
Improving the Quality of Creative Practices with Pattern Languages (Keynote). 4 - Daniel Britten, Vilhelm Sjöberg, Steve Reeves:
Provably Correct Smart Contracts: An Approach using DeepSEA. 5-6 - Tomoki Nakamaru, Shigeyuki Sato:
Multiverse Notebook: A Notebook Environment for Safe and Efficient Exploration. 7-8 - Dov Fraivert, David H. Lorenz:
Explicit Code Reuse Recommendation. 9-10 - Pilar Selene Linares-Arévalo:
Composing Linear Types and Separation Logic Proofs of Memory Safety. 11-12 - Pankaj Kumar Kalita:
Program Synthesis for Artifacts beyond Programs. 13-16 - Neea Rusch:
Formally Verified Resource Bounds through Implicit Computational Complexity. 17-20 - Julian Haas:
Programming Support for Local-First Software: Enabling the Design of Privacy-Preserving Distributed Software without Relying on the Cloud. 21-24 - Pengbo Yan:
Proving Obliviousness of Probabilistic Algorithms with Formal Verification. 25-28 - Dhanushka Jayasuriya:
Towards Automated Updates of Software Dependencies. 29-33 - Sujit Kumar Muduli:
Verification of Hardware and Software with Fuzzing and Proofs. 34-37 - Michael Schröder:
Grammar Inference for Ad Hoc Parsers. 38-42 - Sumit Lahiri:
Verification of Programs with Concealed Components. 43-46 - Zhuo Chen:
Towards a Verified Cost Model for Call-by-Push-Value. 47-49 - Judith Perera:
Modelling the Quantification of Technical Debt. 50-53 - Andong Fan:
Simple Extensible Programming through Precisely-Typed Open Recursion. 54-56 - Julian Haas:
LoRe: Local-First Reactive Programming with Verified Safety Guarantees. 57-59 - Yahui Song, Wei-Ngan Chin:
Automated Verification for Real-Time Systems using Implicit Clocks and an Extended Antimirov Algorithm. 60-62 - Chengpeng Wang:
CodeSpider: Automatic Code Querying with Multi-modal Conjunctive Query Synthesis. 63-65 - Yuyi Zhong, Quang-Trung Ta, Siau-Cheng Khoo:
ARENA: Enhancing Abstract Refinement for Neural Network Verification. 66-68 - Litao Zhou:
Foundationally Sound Annotation Verifier via Control Flow Splitting. 69-71 - Aditya Anand:
A Study of the Impact of Callbacks in Staged Static+Dynamic Partial Analysis. 72-74 - Raphael Douglas Giles:
Termination of Recursive Functions by Lexicographic Orders of Linear Combinations. 75-77 - Abhinandan Pal, Anubhab Ghosh:
Qiwi: A Beginner Friendly Quantum Language. 78-80 - Siraphob Phipathananunth:
Using Mutations to Analyze Formal Specifications. 81-83
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-03-12 22:27 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
