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

Call for Papers

We solicit submissions in the form of regular research papers describing original scientific research results, including system development and case studies. Among others, solicited topics include:

  • programming paradigms and styles: functional programming; object-oriented programming; probabilistic programming; logic programming; constraint programming; extensible programming languages; programming languages for systems code; novel programming paradigms;
  • methods and tools to specify and reason about programs and languages: programming techniques; meta-programming; domain-specific languages; proof assistants; type systems; dependent types; program logics, static and dynamic program analysis; language-based security; model checking; testing;
  • programming language foundations: formal semantics; type theory; logical foundations; category theory; automata; effects; monads and comonads; recursion and corecursion; continuations and effect handlers; program verification; memory models; abstract interpretation;
  • methods and tools for implementation: compilers; program transformations; rewriting systems; partial evaluation; virtual machines; refactoring; intermediate languages; run-time environments; garbage collection and memory management; tracing; profiling; build systems; program synthesis;
  • concurrency and distribution: process algebras; concurrency theory; session types; parallel programming; service-oriented computing; distributed and mobile computing; actor-based languages; verification and testing of concurrent and distributed systems;
  • applications and emerging topics: programming languages and PL methods in education, security, privacy, database systems, computational biology, signal processing, graphics, human-computer interaction, computer-aided design, artificial intelligence and machine learning; case studies in program analysis and verification.

General Information

Submissions should not exceed 17 pages, excluding bibliography in the Springer LNCS format (LaTeX template is available at this page under “Templates, sample files & useful links”). The accepted papers will be allowed to use one extra page for the content to accommodate feedback from the reviews in the final paper versions.

The review process of APLAS 2022 is double-anonymous, with a rebuttal phase. In your submission, please, omit your names and institutions; refer to your prior work in the third person, just as you refer to prior work by others; do not include acknowledgements that might identify you.

Additional material intended for reviewers but not for publication in the final version - for example, details of proofs - may be placed in a clearly marked appendix that is not included in the page limit. Reviewers are at liberty to ignore appendices and papers must be understandable without them.

Artefact Evaluation

APLAS 2022 will have post-paper-acceptance voluntary artefact evaluation (new in 2022!). Authors of accepted will be welcome to submit artefacts for evaluation after paper notification. The outcome will not alter the paper acceptance decision. Details of the Artefact Evaluation will be made available later.