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

0 results

People (7 results)
small-avatar

Ana María Díaz Castillo

… …

Marcel Moosbrugger

Marcel Moosbrugger

… …

Işil Dillig

Işil Dillig

… …

Events (60 results)

Proving False in Object Oriented Verification Programs by Exploiting Non-Termination

Sources of Unsoundness in Verification When: Tue 6 Dec 2022 13:50 - 14:10 People: Jaymon Furniss

… We looked at three different verifiers for object-oriented program veri fication, Gobra, KeY, and Dafny. We show that all three can be made to prove false … much difficulty and that this is possibly common throughout all OO verifiers. …

Applicative Intersection Types

APLAS When: Mon 5 Dec 2022 16:00 - 16:30 People: Xu Xue, Bruno C. d. S. Oliveira, Ningning Xie

… }. Nevertheless no previous calculus supports all those features at once. In this paper … all the features, and is proven to be type sound. However, the semantics … of overloading are forbidden, but all other features are supported. The main challenge …

Formal Probabilistic Risk Assessment of a Nuclear Power Plant

Formal Techniques for Safety-Critical Systems When: Wed 7 Dec 2022 16:00 - 16:30 People: Mohamed Abdelghany, Sofiene Tahar

… ) dependability modeling techniques are typically used to associate all possible … formally determine all possible classes of accident events that can occur …

Interleaved 2D Notation for Concatenative Programming

Programming Abstractions and Interactive Notations, Tools, and Environments When: Mon 5 Dec 2022 11:45 - 12:00 People: Michael Homer

… to identify where values are produced and consumed. All of this difficulty can …

Attending Information (12 results)

University of Auckland

… with all the small rooms. *Anyone with special dietary requirements will go …

COVID

… We can confirm now that:

  • Masks will be required at all times when indoors (University of Auckland venue policy - likely to stay)
  • All food will be served in such a way as to allow it to be eaten outside as both catering spaces …

Keynotes 4 Industry

… /grafton.html) AMRF Auditorium for all 4 keynotes and Seminar Room G100 (signage will be provided) for the Friday Panel.

They keynotes are all *in person speakers …).

All we ask, is as unregistered attendees, you please let our badge wearing …

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 …

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

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 … encourage all authors to include provide a working installation of their artifact …

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