FTfJP 2021 – Proceedings

23rd ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP 2021)

Frontmatter

Papers

Source Code Patches from Dynamic Analysis
Indigo Orton and Alan Mycroft
(University of Cambridge, UK)

Publisher's Version

A Generic Type System for Featherweight Java
Ulrich Schöpp and Chuangjie Xu
(fortiss, Germany)

Publisher's Version

Refactoring Traces to Identify Concurrency Improvements
Indigo Orton and Alan Mycroft
(University of Cambridge, UK)

Publisher's Version

Reconstructing Z3 Proofs in KeY: There and Back Again
Wolfram Pfeifer, Jonas Schiffl, and Mattias Ulbrich
(KIT, Germany)

Publisher's Version

Using Dafny to Solve the VerifyThis 2021 Challenges
Marie Farrell, Conor Reynolds, and Rosemary Monahan
(Maynooth University, Ireland)

Publisher's Version

IntelliJML: A JML Plugin for IntelliJ IDEA
Steven Monteiro, Erikas Sokolovas, Ellen Wittingen, Tom van Dijk, and Marieke Huisman
(University of Twente, Netherlands)

Publisher's Version Info

Ensuring Correct Cryptographic Algorithm and Provider Usage at Compile Time
Weitian Xing, Yuanhui Cheng, and Werner Dietl
(University of Waterloo, Canada)

Publisher's Version

Behavioural Separation with Parallel Usages
Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, and Mikkel Kettunen
(Aalborg University, Denmark; University of Glasgow, UK)

Publisher's Version

Combining Formal and Machine Learning Techniques for the Generation of JML Specifications
Armand Puccetti, Gaël de Chalendar, and Pierre-Yves Gibello
(University of Paris-Saclay, France; CEA LIST, France; OW2, France)

Publisher's Version

JML and OpenJML for Java 16
David R. Cok
(Safer Software Consulting, USA)

Publisher's Version

proc time: 0.75