Powered by
26th ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP 2024), September 20, 2024,
Vienna, Austria
26th ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP 2024)
Frontmatter
Title Page
Article: isstaws24ftfjpforeword-fm000-p (type: Frontmatter) doi:
Papers
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)
@InProceedings{FTfJP24p11,
author = {Giacomo Zanatta and Pietro Ferrara and Teodors Lisovenko and Luca Negrini and Gianluca Caiazza and Ruffin White},
title = {Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {11-10},
doi = {10.1145/3678721.3686229},
year = {2024},
}
Publisher's Version
Article: isstaws24ftfjpmain-id6-p (type: Full Paper) 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)
@InProceedings{FTfJP24p21,
author = {Vincenzo Arceri and Saverio Mattia Merenda and Greta Dolcetti and Luca Negrini and Luca Olivieri and Enea Zaffanella},
title = {Towards a Sound Construction of EVM Bytecode Control-Flow Graphs},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {21-20},
doi = {10.1145/3678721.3686227},
year = {2024},
}
Publisher's Version
Article: isstaws24ftfjpmain-id1-p (type: Full Paper) doi:10.1145/3678721.3686227
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)
@InProceedings{FTfJP24p41,
author = {Baber Rehman and Bruno C. d. S. Oliveira},
title = {Disjoint Polymorphism with Intersection and Union Types},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {41-40},
doi = {10.1145/3678721.3686230},
year = {2024},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: isstaws24ftfjpmain-id2-p (type: Full Paper) doi:10.1145/3678721.3686230
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)
@InProceedings{FTfJP24p61,
author = {James Noble and Julian Mackay and Tobias Wrigstad and Andrew Fawcet and Michael Homer},
title = {Dafny vs. Dala: Experience with Mechanising Language Design},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3678721.3686228},
year = {2024},
}
Publisher's Version
Article: isstaws24ftfjpmain-id9-p (type: Full Paper) doi:10.1145/3678721.3686228
Incrementalizing Polynomial Functors
Timon Böhler,
David Richter, and
Mira Mezini
(TU Darmstadt, Germany; hessian.AI, Germany)
@InProceedings{FTfJP24p71,
author = {Timon Böhler and David Richter and Mira Mezini},
title = {Incrementalizing Polynomial Functors},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {71-70},
doi = {10.1145/3678721.3686231},
year = {2024},
}
Publisher's Version
Article: isstaws24ftfjpmain-id3-p (type: Full Paper) doi:10.1145/3678721.3686231
proc time: 0.02