ISSTA 2024 Workshops
33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2024)
Powered by
Conference Publishing Consulting

26th ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP 2024), September 20, 2024, Vienna, Austria

Workshop FTfJP 2024 – Author Index

Contents - Abstracts - Authors

A B C D E F G H L M N O R W Z

Arceri, Vincenzo FTfJP '24: "Towards a Sound Construction ..."
Böhler, Timon FTfJP '24: "Incrementalizing Polynomial ..."
Caiazza, Gianluca FTfJP '24: "Sound Static Analysis for ..."
Dolcetti, Greta FTfJP '24: "Towards a Sound Construction ..."
Duso, Giulio FTfJP '24: "Coeffects for MiniJava: Cf-Mj ..."
Erdweg, Sebastian FTfJP '24: "Abstract Interpretation of ..."
Fawcet, Andrew FTfJP '24: "Dafny vs. Dala: Experience ..."
Ferrara, Pietro FTfJP '24: "Sound Static Analysis for ..."
Giannini, Paola FTfJP '24: "Coeffects for MiniJava: Cf-Mj ..."
Homer, Michael FTfJP '24: "Dafny vs. Dala: Experience ..."
Lisovenko, Teodors FTfJP '24: "Sound Static Analysis for ..."
MacConville, Dara FTfJP '24: "Towards a Model Checker for ..."
Mackay, Julian FTfJP '24: "Dafny vs. Dala: Experience ..."
Marx, Stefan FTfJP '24: "Abstract Interpretation of ..."
Merenda, Saverio Mattia FTfJP '24: "Towards a Sound Construction ..."
Mezini, Mira FTfJP '24: "Incrementalizing Polynomial ..."
Monahan, Rosemary FTfJP '24: "Towards a Model Checker for ..."
Negrini, Luca FTfJP '24: "Sound Static Analysis for ..." FTfJP '24: "Towards a Sound Construction ..."
Noble, James FTfJP '24: "Dafny vs. Dala: Experience ..."
Oliveira, Bruno C. d. S. FTfJP '24: "Disjoint Polymorphism with ..."
Olivieri, Luca FTfJP '24: "Towards a Sound Construction ..."
Rehman, Baber FTfJP '24: "Disjoint Polymorphism with ..."
Richter, David FTfJP '24: "Incrementalizing Polynomial ..."
White, Ruffin FTfJP '24: "Sound Static Analysis for ..."
Wrigstad, Tobias FTfJP '24: "Dafny vs. Dala: Experience ..."
Zaffanella, Enea FTfJP '24: "Towards a Sound Construction ..."
Zanatta, Giacomo FTfJP '24: "Sound Static Analysis for ..."

27 authors

proc time: 4.26