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
Article: splashws20ftfjpforeword-fm000-p doi:
Message from the Chair
Article: splashws20ftfjpforeword-fm001-p doi:

Keynotes

Prusti: Deductive Verification for Rust (Keynote)
Alexander J. Summers
(University of British Columbia, Canada)
Publisher's Version Article: splashws20ftfjpmain-key1-p doi:10.1145/3427761.3432348
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 Article: splashws20ftfjpmain-key2-p doi:10.1145/3427761.3432349

Papers

An Inductive Abstract Semantics for coFJ
Pietro Barbieri, Francesco Dagnino, and Elena Zucca
(University of Genoa, Italy)
Publisher's Version Article: splashws20ftfjpmain-id7-p doi:10.1145/3427761.3428342
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 Article: splashws20ftfjpmain-id8-p doi:10.1145/3427761.3428344
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 Article: splashws20ftfjpmain-id6-p doi:10.1145/3427761.3428346
Salsa: Static Analysis of Serialization Features
Joanna C. S. Santos, Reese A. Jones, and Mehdi Mirakhorli
(Rochester Institute of Technology, USA)
Publisher's Version Article: splashws20ftfjpmain-id10-p doi:10.1145/3427761.3428343
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 Article: splashws20ftfjpmain-id9-p doi:10.1145/3427761.3428345

proc time: 0.02