ISSTA 2023 Workshops
32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023)
Powered by
Conference Publishing Consulting

25th ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP 2023), July 18, 2023, Seattle, WA, USA

FTfJP 2023 – Proceedings

Contents - Abstracts - Authors

25th ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP 2023)


Title Page
Welcome from the Chairs


Verifying C++ Dynamic Binding
Niels Mommen ORCID logo and Bart JacobsORCID logo
(KU Leuven, Belgium)
Publisher's Version
Correctness-by-Construction Meets Refinement Types
Baber Rehman ORCID logo
(University of Hong Kong, China)
Publisher's Version
Towards Verified Scalable Parallel Computing with Coq and Spark
Frédéric LoulergueORCID logo and Jolan Philippe ORCID logo
(University of Orléans, France; IMT Atlantique, France)
Publisher's Version

Runtime Checking and Static Analysis

Points-to Analysis for Context-Oriented JavaScript Programs
Sergio Cardenas ORCID logo, Paul Leger ORCID logo, Hiroaki Fukuda ORCID logo, and Nicolás Cardozo ORCID logo
(University of Los Andes, Colombia; Universidad Católica del Norte, Chile; Shibaura Institute of Technology, Japan)
Publisher's Version Info
Runtime Verification of Hash Code in Mutable Classes
Davide AnconaORCID logo, Angelo FerrandoORCID logo, and Viviana MascardiORCID logo
(University of Genoa, Italy)
Publisher's Version
Gradual Guarantee for FJ with lambda-Expressions
Pedro Ângelo ORCID logo, Viviana Bono ORCID logo, Mariangiola Dezani-Ciancaglini ORCID logo, and Mário Florido ORCID logo
(University of Porto, Portugal; University of Turin, Italy)
Publisher's Version Published Artifact Archive submitted (500 kB) Artifacts Available

Static Types

Dependency-Free Capture Tracking
Edward Lee ORCID logo, Kavin Satheeskumar ORCID logo, and Ondřej Lhoták ORCID logo
(University of Waterloo, Canada)
Publisher's Version
Verifying Well-Typedness Preservation of Refactorings using Scope Graphs
Luka Miljak ORCID logo, Casper Bach Poulsen ORCID logo, and Flip van Spaendonck ORCID logo
(TU Delft, Netherlands; TU Eindhoven, Netherlands)
Publisher's Version


Using Rewrite Strategies for Efficient Functional Automatic Differentiation
Timon Böhler ORCID logo, David Richter ORCID logo, and Mira Mezini ORCID logo
(TU Darmstadt, Germany; hessian.AI, Germany)
Publisher's Version
Constructing Structured SSA from FJ
Kenny Zhuo Ming Lu ORCID logo and Daniel Yu Hian Low ORCID logo
(Singapore University of Technology and Design, Singapore)
Publisher's Version

proc time: 2.49