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)

Frontmatter

Title Page
Welcome from the Chairs

Verification

Verifying C++ Dynamic Binding
Niels Mommen and Bart Jacobs
(KU Leuven, Belgium)
Publisher's Version
Correctness-by-Construction Meets Refinement Types
Baber Rehman
(University of Hong Kong, China)
Publisher's Version
Towards Verified Scalable Parallel Computing with Coq and Spark
Frédéric Loulergue and Jolan Philippe
(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, Paul Leger, Hiroaki Fukuda, and Nicolás Cardozo
(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 Ancona, Angelo Ferrando, and Viviana Mascardi
(University of Genoa, Italy)
Publisher's Version
Gradual Guarantee for FJ with lambda-Expressions
Pedro Ângelo, Viviana Bono, Mariangiola Dezani-Ciancaglini, and Mário Florido
(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, Kavin Satheeskumar, and Ondřej Lhoták
(University of Waterloo, Canada)
Publisher's Version
Verifying Well-Typedness Preservation of Refactorings using Scope Graphs
Luka Miljak, Casper Bach Poulsen, and Flip van Spaendonck
(TU Delft, Netherlands; TU Eindhoven, Netherlands)
Publisher's Version

Transformation

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

proc time: 1.98