Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 7)

H-INDEX

(FIVE YEARS 1)

Published By ACM

9781450381864

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

History-based specification and verification of Java collections in KeY (keynote)

Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs ◽

10.1145/3427761.3432349 ◽

2020 ◽

Author(s):

Frank S. de Boer ◽

Hans-Dieter A. Hiep

Keyword(s):

Specification And Verification

Download Full-text

ConSysT: tunable, safe consistency meets object-oriented programming

Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs ◽

10.1145/3427761.3428346 ◽

2020 ◽

Author(s):

Mirko Köhler ◽

Nafise Eskandani Masoule ◽

Alessandro Margara ◽

Guido Salvaneschi

Keyword(s):

Object Oriented ◽

Object Oriented Programming

Download Full-text

A separation logic to verify termination of busy-waiting for abrupt program exit

Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs ◽

10.1145/3427761.3428345 ◽

2020 ◽

Cited By ~ 1

Author(s):

Tobias Reinhard ◽

Amin Timany ◽

Bart Jacobs

Keyword(s):

Separation Logic

Download Full-text

Prusti: deductive verification for Rust (keynote)

Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs ◽

10.1145/3427761.3432348 ◽

2020 ◽

Author(s):

Alexander J. Summers

Keyword(s):

Deductive Verification

Download Full-text

Salsa: static analysis of serialization features

Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs ◽

10.1145/3427761.3428343 ◽

2020 ◽

Author(s):

Joanna C. S. Santos ◽

Reese A. Jones ◽

Mehdi Mirakhorli

Keyword(s):

Static Analysis

Download Full-text

An inductive abstract semantics for coFJ

Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs ◽

10.1145/3427761.3428342 ◽

2020 ◽

Author(s):

Pietro Barbieri ◽

Francesco Dagnino ◽

Elena Zucca

Keyword(s):

Abstract Semantics

Download Full-text

Towards verified construction of correct and optimised GPU software

Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs ◽

10.1145/3427761.3428344 ◽

2020 ◽

Author(s):

Marieke Huisman ◽

Anton Wijs

Download Full-text

Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like ProgramsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM

History-based specification and verification of Java collections in KeY (keynote)

ConSysT: tunable, safe consistency meets object-oriented programming

A separation logic to verify termination of busy-waiting for abrupt program exit

Prusti: deductive verification for Rust (keynote)

Salsa: static analysis of serialization features

An inductive abstract semantics for coFJ

Towards verified construction of correct and optimised GPU software

Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs
Latest Publications