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

Workshop FTfJP 2023 – Author Index

Contents - Abstracts - Authors

A B C D F J L M P R S V

Ancona, Davide FTfJP '23: "Runtime Verification of Hash ..."
Ângelo, Pedro FTfJP '23: "Gradual Guarantee for FJ with ..."
Bach Poulsen, Casper FTfJP '23: "Verifying Well-Typedness Preservation ..."
Böhler, Timon FTfJP '23: "Using Rewrite Strategies for ..."
Bono, Viviana FTfJP '23: "Gradual Guarantee for FJ with ..."
Cardenas, Sergio FTfJP '23: "Points-to Analysis for Context-Oriented ..."
Cardozo, Nicolás FTfJP '23: "Points-to Analysis for Context-Oriented ..."
Dezani-Ciancaglini, Mariangiola FTfJP '23: "Gradual Guarantee for FJ with ..."
Ferrando, Angelo FTfJP '23: "Runtime Verification of Hash ..."
Florido, Mário FTfJP '23: "Gradual Guarantee for FJ with ..."
Fukuda, Hiroaki FTfJP '23: "Points-to Analysis for Context-Oriented ..."
Jacobs, Bart FTfJP '23: "Verifying C++ Dynamic Binding ..."
Lee, Edward FTfJP '23: "Dependency-Free Capture Tracking ..."
Leger, Paul FTfJP '23: "Points-to Analysis for Context-Oriented ..."
Lhoták, Ondřej FTfJP '23: "Dependency-Free Capture Tracking ..."
Loulergue, Frédéric FTfJP '23: "Towards Verified Scalable ..."
Low, Daniel Yu Hian FTfJP '23: "Constructing Structured SSA ..."
Lu, Kenny Zhuo Ming FTfJP '23: "Constructing Structured SSA ..."
Mascardi, Viviana FTfJP '23: "Runtime Verification of Hash ..."
Mezini, Mira FTfJP '23: "Using Rewrite Strategies for ..."
Miljak, Luka FTfJP '23: "Verifying Well-Typedness Preservation ..."
Mommen, Niels FTfJP '23: "Verifying C++ Dynamic Binding ..."
Philippe, Jolan FTfJP '23: "Towards Verified Scalable ..."
Rehman, Baber FTfJP '23: "Correctness-by-Construction ..."
Richter, David FTfJP '23: "Using Rewrite Strategies for ..."
Satheeskumar, Kavin FTfJP '23: "Dependency-Free Capture Tracking ..."
Van Spaendonck, Flip FTfJP '23: "Verifying Well-Typedness Preservation ..."

27 authors

proc time: 4.08