- Iaroslav Golovanov, Hans Hüttel
, Mathias Jakobsen, Mikkel Kettunen:
Behavioural separation with parallel usages. FTfJP@ECOOP 2021: 51-58 - Steven Monteiro, Erikas Sokolovas, Ellen Wittingen, Tom van Dijk, Marieke Huisman:
IntelliJML: a JML plugin for IntelliJ IDEA. FTfJP@ECOOP 2021: 39-42 - Indigo Orton, Alan Mycroft:
Source code patches from dynamic analysis. FTfJP@ECOOP 2021: 1-8 - Indigo Orton, Alan Mycroft:
Refactoring traces to identify concurrency improvements. FTfJP@ECOOP 2021: 16-23 - Wolfram Pfeifer, Jonas Schiffl, Mattias Ulbrich:
Reconstructing z3 proofs in KeY: there and back again. FTfJP@ECOOP 2021: 24-31 - Armand Puccetti, Gaël de Chalendar, Pierre-Yves Gibello:
Combining formal and machine learning techniques for the generation of JML specifications. FTfJP@ECOOP 2021: 59-64 - Ulrich Schöpp, Chuangjie Xu:
A generic type system for featherweight Java. FTfJP@ECOOP 2021: 9-15 - Weitian Xing, Yuanhui Cheng, Werner Dietl:
Ensuring correct cryptographic algorithm and provider usage at compile time. FTfJP@ECOOP 2021: 43-50 - David R. Cok:
FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, Virtual Event, Denmark, 13 July 2021. ACM 2021, ISBN 978-1-4503-8543-5 [contents] - 2020
- Pietro Barbieri, Francesco Dagnino, Elena Zucca:
An inductive abstract semantics for coFJ. FTfJP@ECOOP 2020: 4-9 - Frank S. de Boer, Hans-Dieter A. Hiep:
History-based specification and verification of Java collections in KeY (keynote). FTfJP@ECOOP 2020: 2-3 - Marieke Huisman, Anton Wijs:
Towards verified construction of correct and optimised GPU software. FTfJP@ECOOP 2020: 10-14 - Mirko Köhler, Nafise Eskandani Masoule, Alessandro Margara, Guido Salvaneschi:
ConSysT: tunable, safe consistency meets object-oriented programming. FTfJP@ECOOP 2020: 15-17 - Tobias Reinhard, Amin Timany, Bart Jacobs:
A separation logic to verify termination of busy-waiting for abrupt program exit. FTfJP@ECOOP 2020: 26-32 - Joanna C. S. Santos, Reese A. Jones, Mehdi Mirakhorli:
Salsa: static analysis of serialization features. FTfJP@ECOOP 2020: 18-25 - Alexander J. Summers:
Prusti: deductive verification for Rust (keynote). FTfJP@ECOOP 2020: 1 - Wytse Oortwijn:
FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, Virtual Event, USA, July 23, 2020. ACM 2020, ISBN 978-1-4503-8186-4 [contents] - 2019
- Julia Belyakova:
Decidable tag-based semantic subtyping for nominal types, tuples, and unions. FTfJP@ECOOP 2019: 3:1-3:11 - Mohammadsadegh Dalvandi, Brijesh Dongol:
Towards deductive verification of C11 programs with Event-B and ProB. FTfJP@ECOOP 2019: 4:1-4:7 - Martin Mariusz Lester:
Analysis of MiniJava programs via translation to ML. FTfJP@ECOOP 2019: 6:1-6:3 - Fangzhen Lin:
Translating classes to first-order logic: an example. FTfJP@ECOOP 2019: 7:1-7:3 - Scott Owens:
Building trustworthy software with CakeML. FTfJP@ECOOP 2019: 2:1 - Willem Penninckx, Amin Timany, Bart Jacobs:
Specifying I/O using abstract nested hoare triples in separation logic. FTfJP@ECOOP 2019: 5:1-5:7 - Philipp Rümmer:
JayHorn: a Java model checker. FTfJP@ECOOP 2019: 1:1 - Toby Murray, Gidon Ernst:
Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2019, London, United Kingdom, July 15, 2019. ACM 2019, ISBN 978-1-4503-6864-3 [contents] - 2017
- Moez A. AbdelGawad:
Towards a Java Subtyping Operad. FTfJP@ECOOP 2017: 3:1-3:6 - Moussa Amrani, Pierre-Yves Schobbens:
Formal Analysis of Object-Oriented Mograms. FTfJP@ECOOP 2017: 2:1-2:6 - Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi:
Parametric Trace Expressions for Runtime Verification of Java-Like Programs. FTfJP@ECOOP 2017: 10:1-10:6 - Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh:
Software Model Checking: A Promising Approach to Verify Mobile App Security: A Position Paper. FTfJP@ECOOP 2017: 1:1-1:2 - Youssef El Bakouny, Tristan Crolard, Dani Mezher:
A Coq-based synthesis of Scala programs which are correct-by-construction. FTfJP@ECOOP 2017: 4:1-4:2
