APLAS 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
co-located with SPLASH 2022

0 results

People (7 results)

Ana María Díaz Castillo

Teach for All

… …

Marcel Moosbrugger

Marcel Moosbrugger

TU Wien

… are all around us and influence our daily lives. Using formal methods can not only …

Işil Dillig

Işil Dillig

University of Texas at Austin

all her degrees (BS, MS, and PhD) from Stanford University. …

Events (5 results)

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 …

RHLE: Modular Deductive Verification of Relational ∀∃ Properties

APLAS When: Mon 5 Dec 2022 13:30 - 14:00 People: Robert Dickerson, Qianchuan Ye, Michael K. Zhang, Benjamin Delaware

… that \emph{all} runs of a collection of programs do not violate a specified …

Characterizing functions mappable over GADTs

APLAS When: Mon 5 Dec 2022 15:30 - 16:00 People: Patricia Johann, Pierre Cagne

… It is well-known that GADTs do not admit standard map functions of the kind supported by ADTs and nested types. In addition, standard map functions are insufficient to distribute their data-changing argument functions over all

Evaluating the Quality of Student-Written Software Tests with Curated Mutation Analysis

SPLASH-E When: Mon 5 Dec 2022 16:00 - 16:30 People: Braxton Hall, Elisa Baniassad

… ' suites over all generated clones.

We employed Mutation Analysis to assess …

Attending Information (11 results)


… 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 (1 results)

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 …