Write a Blog >>
ISSTA 2021
Sun 11 - Sat 17 July 2021 Online
co-located with ECOOP and ISSTA 2021
Tue 13 Jul 2021 18:50 - 19:20 at FTfJP - FTfJP Workshop-2

As the Java language evolves, the Java Modeling Language (JML) and the OpenJML deductive verification tool must evolve with it. Changes in Java since Java 8 bring language and organizational changes which affect the semantics of JML and the implementation of OpenJML. They also raise questions about language definition, joint efforts, and community engagement, some enumerated in this paper, for the Java formal reasoning community to address.

Tue 13 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

16:50 - 18:50
FTfJP Workshop-2FTfJP at FTfJP
16:50
30m
Talk
IntelliJML: A JML plugin for IntelliJ IDEA
FTfJP
P: Steven Monteiro University of Twente, P: Erikas Sokolovas University of Twente, The Netherlands, P: Ellen Wittingen University of Twente, Tom van Dijk University of Twente, Marieke Huisman University of Twente
File Attached
17:20
30m
Talk
Ensuring correct cryptographic algorithm and provider usage at compile time
FTfJP
P: Weitian Xing University of Waterloo, Yuanhui Cheng University of Waterloo, Werner Dietl University of Waterloo
Media Attached
17:50
30m
Talk
Behavioural Separation with Parallel Usages
FTfJP
Iaroslav Golovanov Aalborg University, Hans Hüttel Department of Computer Science, Aalborg University, P: Mathias Steen Jakobsen Department of Computer Science, Aalborg University, Denmark, Mikkel Klinke Kettunen Department of Computer Science, Aalborg University, Denmark
18:20
30m
Talk
Combining Formal and Machine Learning Techniques for the Generation of JML Specifications
FTfJP
DOI File Attached
18:50
30m
Talk
JML and OpenJML for Java 16
FTfJP
P: David Cok Safer Software Consulting, LLC
File Attached