SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand

0 results

People (2 results)
Isil Dillig

Isil Dillig

… …

Shriram Krishnamurthi

Shriram Krishnamurthi

… …

Events (9 results)

Language-parametric static semantic code completion

OOPSLA People: Daniel A. A. Pelsmaeker, Hendrik van Antwerpen, Casper Bach Poulsen, Eelco Visser

… . It should be complete, such that it proposes all valid fragments so that code completion can be used to construct all programs. To realize soundness and completeness …

Synthesizing fine-grained synchronization protocols for implicit monitors

OOPSLA People: Kostas Ferles, Benjamin Sepanski, Rahul Krishnan, James Bornholt, Isil Dillig

… A monitor is a widely-used concurrent programming abstraction that encapsulates all shared state between threads. Monitors can be classified as being either … monitors from an implicit specification, but prior work does not exploit all

Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back

OOPSLA People: Jonathan Immanuel Brachthäuser, Philipp Schuster, Edward Lee, Aleksander Boruch-Gruszecki

… that capabilities and effects can be reconciled harmoniously. By assuming that all functions …

Proof transfer for fast certification of multiple approximate neural networks

OOPSLA People: Shubham Ugare, Gagandeep Singh, Sasa Misailovic

… for the robustness verification of neural networks, a major limitation of almost all state …, and the robustness of all the networks needs to be verified efficiently.

We present FANC …

Attending Information (2 results)

Code of Conduct

… for registration and all conference activities. Special circumstances may …/policy-against-discrimination-and-harassment). We expect all the participants … or opportunity for participation at the conference and all associated events …

Sponsoring

… , and Applications: Software for Humanity. SPLASH embraces all aspects of software … and to people from all origins, everyone is encouraged to join and benefit from … mirroring to make SPLASH 2020 inclusive of all persons regardless of geographic …

Tracks (22 results)

Dynamic Languages Symposium

… for researchers and practitioners to share research and experience on all … and experience on all aspects of dynamic languages.

DLS 2022 invites high …/Author/), sigplan sub-format, 10 point font. All submissions should be in PDF …

SLE (Software Language Engineering) 2022

… by the whole SLE community at large. All our heartfelt condolences go out …: its scope extends to the engineering of languages for all and everything.

Like … their identities in implicit ways.

All submissions must be in PDF format. The submission …

General (8 results)

DLS 2022 Homepage

… DLS 2022 Welcome to the website of the DLS 2022 conference. We are working hard to fill the website with all related information. Please check back soon! …

SLE 2022 Homepage

… 03d03e27-7d37-450f-8474-295f67004ee8 SLE 2022 Welcome to the website of the SLE 2022 conference. We are working hard to fill the website with all related information. Please check back soon! …

Unsound 2022 Homepage

… Unsound 2022 Welcome to the website of the Unsound 2022 conference. We are working hard to fill the website with all related information. Please check back soon! 867f6ee0-951c-4cf9-8e3c-cd460306dba9 …