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)


@InProceedings{FTfJP21p1, author = {Indigo Orton and Alan Mycroft}, title = {Source Code Patches from Dynamic Analysis}, booktitle = {Proc.\ FTfJP}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3464971.3468416}, year = {2021}, } Publisher's Version

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


@InProceedings{FTfJP21p11, author = {Ulrich Schöpp and Chuangjie Xu}, title = {A Generic Type System for Featherweight Java}, booktitle = {Proc.\ FTfJP}, publisher = {ACM}, pages = {11-10}, doi = {10.1145/3464971.3468419}, year = {2021}, } Publisher's Version

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


@InProceedings{FTfJP21p21, author = {Indigo Orton and Alan Mycroft}, title = {Refactoring Traces to Identify Concurrency Improvements}, booktitle = {Proc.\ FTfJP}, publisher = {ACM}, pages = {21-20}, doi = {10.1145/3464971.3468420}, year = {2021}, } Publisher's Version

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


@InProceedings{FTfJP21p31, author = {Wolfram Pfeifer and Jonas Schiffl and Mattias Ulbrich}, title = {Reconstructing Z3 Proofs in KeY: There and Back Again}, booktitle = {Proc.\ FTfJP}, publisher = {ACM}, pages = {31-30}, doi = {10.1145/3464971.3468421}, year = {2021}, } Publisher's Version

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


@InProceedings{FTfJP21p41, author = {Marie Farrell and Conor Reynolds and Rosemary Monahan}, title = {Using Dafny to Solve the VerifyThis 2021 Challenges}, booktitle = {Proc.\ FTfJP}, publisher = {ACM}, pages = {41-40}, doi = {10.1145/3464971.3468422}, year = {2021}, } 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)


@InProceedings{FTfJP21p51, author = {Steven Monteiro and Erikas Sokolovas and Ellen Wittingen and Tom van Dijk and Marieke Huisman}, title = {IntelliJML: A JML Plugin for IntelliJ IDEA}, booktitle = {Proc.\ FTfJP}, publisher = {ACM}, pages = {51-50}, doi = {10.1145/3464971.3468423}, year = {2021}, } Publisher's Version

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


@InProceedings{FTfJP21p61, author = {Weitian Xing and Yuanhui Cheng and Werner Dietl}, title = {Ensuring Correct Cryptographic Algorithm and Provider Usage at Compile Time}, booktitle = {Proc.\ FTfJP}, publisher = {ACM}, pages = {61-60}, doi = {10.1145/3464971.3468418}, year = {2021}, } 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)


@InProceedings{FTfJP21p71, author = {Iaroslav Golovanov and Hans Hüttel and Mathias Jakobsen and Mikkel Kettunen}, title = {Behavioural Separation with Parallel Usages}, booktitle = {Proc.\ FTfJP}, publisher = {ACM}, pages = {71-70}, doi = {10.1145/3464971.3468424}, year = {2021}, } 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)


@InProceedings{FTfJP21p81, author = {Armand Puccetti and Gaël de Chalendar and Pierre-Yves Gibello}, title = {Combining Formal and Machine Learning Techniques for the Generation of JML Specifications}, booktitle = {Proc.\ FTfJP}, publisher = {ACM}, pages = {81-80}, doi = {10.1145/3464971.3468425}, year = {2021}, } Publisher's Version

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


@InProceedings{FTfJP21p91, author = {David R. Cok}, title = {JML and OpenJML for Java 16}, booktitle = {Proc.\ FTfJP}, publisher = {ACM}, pages = {91-90}, doi = {10.1145/3464971.3468417}, year = {2021}, } Publisher's Version

proc time: 0.73