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
Article: isstaws23ftfjpforeword-fm000-p doi:
Welcome from the Chairs
Article: isstaws23ftfjpforeword-fm002-p doi:

Verification

Verifying C++ Dynamic Binding
Niels Mommen and Bart Jacobs
(KU Leuven, Belgium)
Publisher's Version Article: isstaws23ftfjpmain-id12-p doi:10.1145/3605156.3606448
Correctness-by-Construction Meets Refinement Types
Baber Rehman
(University of Hong Kong, China)
Publisher's Version Article: isstaws23ftfjpmain-id7-p doi:10.1145/3605156.3606449
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 Article: isstaws23ftfjpmain-id1-p doi:10.1145/3605156.3606450

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 Article: isstaws23ftfjpmain-id6-p doi:10.1145/3605156.3606451
Runtime Verification of Hash Code in Mutable Classes
Davide Ancona, Angelo Ferrando, and Viviana Mascardi
(University of Genoa, Italy)
Publisher's Version Article: isstaws23ftfjpmain-id10-p doi:10.1145/3605156.3606452
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 Article: isstaws23ftfjpmain-id2-p doi:10.1145/3605156.3606453

Static Types

Dependency-Free Capture Tracking
Edward Lee, Kavin Satheeskumar, and Ondřej Lhoták
(University of Waterloo, Canada)
Publisher's Version Article: isstaws23ftfjpmain-id5-p doi:10.1145/3605156.3606454
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 Article: isstaws23ftfjpmain-id11-p doi:10.1145/3605156.3606455

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 Article: isstaws23ftfjpmain-id3-p doi:10.1145/3605156.3606456
Constructing Structured SSA from FJ
Kenny Zhuo Ming Lu and Daniel Yu Hian Low
(Singapore University of Technology and Design, Singapore)
Publisher's Version Article: isstaws23ftfjpmain-id4-p doi:10.1145/3605156.3606457

proc time: 0.02