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

FTfJP 2024 – Proceedings

 Contents - Abstracts - Authors

26th ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP 2024)

Frontmatter

Title Page
Article: isstaws24ftfjpforeword-fm000-p doi:
Welcome from the Chairs
Article: isstaws24ftfjpforeword-fm001-p doi:
FTfJP 2024 Organization
Article: isstaws24ftfjpforeword-fm002-p doi:

Papers

Towards a Model Checker for Python: pymodcheck
Dara MacConville and Rosemary Monahan
(Maynooth University, Ireland)
Publisher's Version Article: isstaws24ftfjpmain-id8-p doi:10.1145/3678721.3686233
Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA
Giacomo Zanatta, Pietro Ferrara, Teodors Lisovenko, Luca Negrini, Gianluca Caiazza, and Ruffin White
(Ca’ Foscari University of Venice, Italy; White Robotics, USA)
Publisher's Version Article: isstaws24ftfjpmain-id6-p doi:10.1145/3678721.3686229
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs
Vincenzo Arceri, Saverio Mattia Merenda, Greta Dolcetti, Luca Negrini, Luca Olivieri, and Enea Zaffanella
(University of Parma, Italy; Ca’ Foscari University of Venice, Italy)
Publisher's Version Info Article: isstaws24ftfjpmain-id1-p doi:10.1145/3678721.3686227
Abstract Interpretation of Java Bytecode in Sturdy
Stefan Marx and Sebastian Erdweg
(JGU Mainz, Germany)
Publisher's Version Article: isstaws24ftfjpmain-id7-p doi:10.1145/3678721.3686226
Disjoint Polymorphism with Intersection and Union Types
Baber Rehman and Bruno C. d. S. Oliveira
(University of Hong Kong, Hong Kong, China; Huawei Technologies, Hong Kong, China)
Publisher's Version Published Artifact Artifacts Available Article: isstaws24ftfjpmain-id2-p doi:10.1145/3678721.3686230
Coeffects for MiniJava: Cf-Mj
Paola Giannini and Giulio Duso
(University of Eastern Piedmont, Italy)
Publisher's Version Article: isstaws24ftfjpmain-id5-p doi:10.1145/3678721.3686232
Dafny vs. Dala: Experience with Mechanising Language Design
James Noble, Julian Mackay, Tobias Wrigstad, Andrew Fawcet, and Michael Homer
(Creative Research & Programming, New Zealand; Australian National University, Australia; Victoria University of Wellington, New Zealand; Uppsala University, Sweden)
Publisher's Version Article: isstaws24ftfjpmain-id9-p doi:10.1145/3678721.3686228
Incrementalizing Polynomial Functors
Timon Böhler, David Richter, and Mira Mezini
(TU Darmstadt, Germany; hessian.AI, Germany)
Publisher's Version Article: isstaws24ftfjpmain-id3-p doi:10.1145/3678721.3686231

proc time: 0.02