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 ORCID logo
(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 ORCID logo, and Elena ZuccaORCID logo
(University of Genoa, Italy)
Publisher's Version
Towards Verified Construction of Correct and Optimised GPU Software
Marieke HuismanORCID logo and Anton WijsORCID logo
(University of Twente, Netherlands; Eindhoven University of Technology, Netherlands)
Publisher's Version
ConSysT: Tunable, Safe Consistency Meets Object-Oriented Programming
Mirko Köhler ORCID logo, Nafise Eskandani Masoule, Alessandro Margara, and Guido SalvaneschiORCID logo
(TU Darmstadt, Germany; Politecnico di Milano, Italy; University of St. Gallen, Switzerland)
Publisher's Version
Salsa: Static Analysis of Serialization Features
Joanna C. S. SantosORCID logo, Reese A. Jones, and Mehdi Mirakhorli ORCID logo
(Rochester Institute of Technology, USA)
Publisher's Version Info
A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit
Tobias ReinhardORCID logo, Amin TimanyORCID logo, and Bart JacobsORCID logo
(KU Leuven, Belgium; Aarhus University, Denmark)
Publisher's Version

proc time: 2.57