FTfJP 2024 – Proceedings

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

Frontmatter

Papers

Towards a Model Checker for Python: pymodcheck
Dara MacConville and Rosemary Monahan
(Maynooth University, Ireland)

Publisher's Version

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

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

Abstract Interpretation of Java Bytecode in Sturdy
Stefan Marx and Sebastian Erdweg
(JGU Mainz, Germany)

Publisher's Version

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

Coeffects for MiniJava: Cf-Mj
Paola Giannini and Giulio Duso
(University of Eastern Piedmont, Italy)

Publisher's Version

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

Incrementalizing Polynomial Functors
Timon Böhler, David Richter, and Mira Mezini
(TU Darmstadt, Germany; hessian.AI, Germany)

Publisher's Version

proc time: 1.17