Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 10)

H-INDEX

(FIVE YEARS 0)

Published By ACM

9781450385435

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

IntelliJML: a JML plugin for IntelliJ IDEA

Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs ◽

10.1145/3464971.3468423 ◽

2021 ◽

Author(s):

Steven Monteiro ◽

Erikas Sokolovas ◽

Ellen Wittingen ◽

Tom van Dijk ◽

Marieke Huisman

Download Full-text

A generic type system for featherweight Java

Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs ◽

10.1145/3464971.3468419 ◽

2021 ◽

Author(s):

Ulrich Schöpp ◽

Chuangjie Xu

Keyword(s):

Type System ◽

Generic Type

Download Full-text

Refactoring traces to identify concurrency improvements

Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs ◽

10.1145/3464971.3468420 ◽

2021 ◽

Author(s):

Indigo Orton ◽

Alan Mycroft

Download Full-text

Source code patches from dynamic analysis

Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs ◽

10.1145/3464971.3468416 ◽

2021 ◽

Author(s):

Indigo Orton ◽

Alan Mycroft

Keyword(s):

Dynamic Analysis ◽

Source Code

Download Full-text

Ensuring correct cryptographic algorithm and provider usage at compile time

Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs ◽

10.1145/3464971.3468418 ◽

2021 ◽

Author(s):

Weitian Xing ◽

Yuanhui Cheng ◽

Werner Dietl

Keyword(s):

Cryptographic Algorithm

Download Full-text

Behavioural separation with parallel usages

Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs ◽

10.1145/3464971.3468424 ◽

2021 ◽

Author(s):

Iaroslav Golovanov ◽

Hans Hüttel ◽

Mathias Jakobsen ◽

Mikkel Kettunen

Download Full-text

Reconstructing z3 proofs in KeY: there and back again

Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs ◽

10.1145/3464971.3468421 ◽

2021 ◽

Author(s):

Wolfram Pfeifer ◽

Jonas Schiffl ◽

Mattias Ulbrich

Download Full-text

Combining formal and machine learning techniques for the generation of JML specifications

Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs ◽

10.1145/3464971.3468425 ◽

2021 ◽

Author(s):

Armand Puccetti ◽

Gaël de Chalendar ◽

Pierre-Yves Gibello

Keyword(s):

Machine Learning ◽

Machine Learning Techniques ◽

Learning Techniques

Download Full-text

JML and OpenJML for Java 16

Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs ◽

10.1145/3464971.3468417 ◽

2021 ◽

Author(s):

David R. Cok

Download Full-text

Using dafny to solve the VerifyThis 2021 challenges

Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs ◽

10.1145/3464971.3468422 ◽

2021 ◽

Author(s):

Marie Farrell ◽

Conor Reynolds ◽

Rosemary Monahan

Download Full-text

Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like ProgramsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM

IntelliJML: a JML plugin for IntelliJ IDEA

A generic type system for featherweight Java

Refactoring traces to identify concurrency improvements

Source code patches from dynamic analysis

Ensuring correct cryptographic algorithm and provider usage at compile time

Behavioural separation with parallel usages

Reconstructing z3 proofs in KeY: there and back again

Combining formal and machine learning techniques for the generation of JML specifications

JML and OpenJML for Java 16

Using dafny to solve the VerifyThis 2021 challenges

Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs
Latest Publications