SPLASH Workshops 2020
2020 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Workshops 2020)
Powered by
Conference Publishing Consulting
22th ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs (FTfJP 2020)
,
July 23, 2020
,
Virtual, USA
FTfJP 2020 – Proceedings
Contents
-
Abstracts
-
Authors
22th ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs (FTfJP 2020)
Frontmatter
Title Page
Message from the Chair
Keynotes
Prusti: Deductive Verification for Rust (Keynote)
Alexander J. Summers
(University of British Columbia, Canada)
Publisher's Version
Info
History-Based Specification and Verification of Java Collections in KeY (Keynote)
Frank S. de Boer and Hans-Dieter A. Hiep
(CWI, Netherlands)
Publisher's Version
Papers
An Inductive Abstract Semantics for coFJ
Pietro Barbieri,
Francesco Dagnino
, and
Elena Zucca
(University of Genoa, Italy)
Publisher's Version
Towards Verified Construction of Correct and Optimised GPU Software
Marieke Huisman
and
Anton Wijs
(University of Twente, Netherlands; Eindhoven University of Technology, Netherlands)
Publisher's Version
ConSysT: Tunable, Safe Consistency Meets Object-Oriented Programming
Mirko Köhler
, Nafise Eskandani Masoule, Alessandro Margara, and
Guido Salvaneschi
(TU Darmstadt, Germany; Politecnico di Milano, Italy; University of St. Gallen, Switzerland)
Publisher's Version
Salsa: Static Analysis of Serialization Features
Joanna C. S. Santos
, Reese A. Jones, and
Mehdi Mirakhorli
(Rochester Institute of Technology, USA)
Publisher's Version
Info
A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit
Tobias Reinhard
,
Amin Timany
, and
Bart Jacobs
(KU Leuven, Belgium; Aarhus University, Denmark)
Publisher's Version
proc time: 2.08