default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 29 matches
- 2022
- Aditya Anand:
A Study of the Impact of Callbacks in Staged Static+Dynamic Partial Analysis. SPLASH Companion 2022: 72-74 - Pilar Selene Linares-Arévalo:
Composing Linear Types and Separation Logic Proofs of Memory Safety. SPLASH Companion 2022: 11-12 - Daniel Britten, Vilhelm Sjöberg, Steve Reeves:
Provably Correct Smart Contracts: An Approach using DeepSEA. SPLASH Companion 2022: 5-6 - Zhuo Chen:
Towards a Verified Cost Model for Call-by-Push-Value. SPLASH Companion 2022: 47-49 - Andong Fan:
Simple Extensible Programming through Precisely-Typed Open Recursion. SPLASH Companion 2022: 54-56 - Dov Fraivert, David H. Lorenz:
Explicit Code Reuse Recommendation. SPLASH Companion 2022: 9-10 - Raphael Douglas Giles:
Termination of Recursive Functions by Lexicographic Orders of Linear Combinations. SPLASH Companion 2022: 75-77 - Julian Haas:
Programming Support for Local-First Software: Enabling the Design of Privacy-Preserving Distributed Software without Relying on the Cloud. SPLASH Companion 2022: 21-24 - Julian Haas:
LoRe: Local-First Reactive Programming with Verified Safety Guarantees. SPLASH Companion 2022: 57-59 - Takashi Iba:
Improving the Quality of Creative Practices with Pattern Languages (Keynote). SPLASH Companion 2022: 4 - Atsushi Igarashi:
(I Can't Get No) Verification (Keynote). SPLASH Companion 2022: 1 - Dhanushka Jayasuriya:
Towards Automated Updates of Software Dependencies. SPLASH Companion 2022: 29-33 - Pankaj Kumar Kalita:
Program Synthesis for Artifacts beyond Programs. SPLASH Companion 2022: 13-16 - Sumit Lahiri:
Verification of Programs with Concealed Components. SPLASH Companion 2022: 43-46 - Sujit Kumar Muduli:
Verification of Hardware and Software with Fuzzing and Proofs. SPLASH Companion 2022: 34-37 - Tomoki Nakamaru, Shigeyuki Sato:
Multiverse Notebook: A Notebook Environment for Safe and Efficient Exploration. SPLASH Companion 2022: 7-8 - Robert O'Callahan:
The State of Debugging in 2022 (Keynote). SPLASH Companion 2022: 2 - Abhinandan Pal, Anubhab Ghosh:
Qiwi: A Beginner Friendly Quantum Language. SPLASH Companion 2022: 78-80 - Judith Perera:
Modelling the Quantification of Technical Debt. SPLASH Companion 2022: 50-53 - Siraphob Phipathananunth:
Using Mutations to Analyze Formal Specifications. SPLASH Companion 2022: 81-83 - Neea Rusch:
Formally Verified Resource Bounds through Implicit Computational Complexity. SPLASH Companion 2022: 17-20 - Michael Schröder:
Grammar Inference for Ad Hoc Parsers. SPLASH Companion 2022: 38-42 - Mary Shaw:
Myths and Mythconceptions: What Does It Mean to Be a Programming Language, Anyhow? (Keynote). SPLASH Companion 2022: 3 - Yahui Song, Wei-Ngan Chin:
Automated Verification for Real-Time Systems using Implicit Clocks and an Extended Antimirov Algorithm. SPLASH Companion 2022: 60-62 - Chengpeng Wang:
CodeSpider: Automatic Code Querying with Multi-modal Conjunctive Query Synthesis. SPLASH Companion 2022: 63-65 - Pengbo Yan:
Proving Obliviousness of Probabilistic Algorithms with Formal Verification. SPLASH Companion 2022: 25-28 - Yuyi Zhong, Quang-Trung Ta, Siau-Cheng Khoo:
ARENA: Enhancing Abstract Refinement for Neural Network Verification. SPLASH Companion 2022: 66-68 - Litao Zhou:
Foundationally Sound Annotation Verifier via Control Flow Splitting. SPLASH Companion 2022: 69-71 - 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 [contents]
loading more results
failed to load more results, please try again later
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-10-03 16:48 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint