Mon 5 - Sat 10 December 2022 Auckland, New Zealand

0 results

People (2 results)
Isil Dillig

Isil Dillig

… …

Shriram Krishnamurthi

Shriram Krishnamurthi

… …

Events (10 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 (6 results)


… policies.

We can confirm now that:

  • Masks will be required at all times when indoors (University of Auckland venue policy - likely to stay)
  • All food …

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 …


… 2022 (last day of SPLASH 2022) and the hotels are likely to be all booked out …

Tracks (24 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 …

APLAS Research Artifacts

… for minor issues, not research related at all, such as a "wrong library version …. All are welcome! Formation of the AEC is through an open call that supports … little system-specific configuration. 

We encourage all authors to include …

General (10 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 …