| |
Arceri, Vincenzo
|
FTfJP '24: "Towards a Sound Construction ..."
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
|
| |
Böhler, Timon
|
FTfJP '24: "Incrementalizing Polynomial ..."
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
|
| |
Caiazza, Gianluca
|
FTfJP '24: "Sound Static Analysis for ..."
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
|
| |
Dolcetti, Greta
|
FTfJP '24: "Towards a Sound Construction ..."
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
|
| |
Duso, Giulio |
FTfJP '24: "Coeffects for MiniJava: Cf-Mj ..."
Coeffects for MiniJava: Cf-Mj
Paola Giannini and Giulio Duso
(University of Eastern Piedmont, Italy)
@InProceedings{FTfJP24p51,
author = {Paola Giannini and Giulio Duso},
title = {Coeffects for MiniJava: Cf-Mj},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {51-50},
doi = {10.1145/3678721.3686232},
year = {2024},
}
Publisher's Version
Article: isstaws24ftfjpmain-id5-p (type: Full Paper) doi:10.1145/3678721.3686232
|
| |
Erdweg, Sebastian
|
FTfJP '24: "Abstract Interpretation of ..."
Abstract Interpretation of Java Bytecode in Sturdy
Stefan Marx and Sebastian Erdweg
(JGU Mainz, Germany)
@InProceedings{FTfJP24p31,
author = {Stefan Marx and Sebastian Erdweg},
title = {Abstract Interpretation of Java Bytecode in Sturdy},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3678721.3686226},
year = {2024},
}
Publisher's Version
Article: isstaws24ftfjpmain-id7-p (type: Full Paper) doi:10.1145/3678721.3686226
|
| |
Fawcet, Andrew
|
FTfJP '24: "Dafny vs. Dala: Experience ..."
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
|
| |
Ferrara, Pietro |
FTfJP '24: "Sound Static Analysis for ..."
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
|
| |
Giannini, Paola
|
FTfJP '24: "Coeffects for MiniJava: Cf-Mj ..."
Coeffects for MiniJava: Cf-Mj
Paola Giannini and Giulio Duso
(University of Eastern Piedmont, Italy)
@InProceedings{FTfJP24p51,
author = {Paola Giannini and Giulio Duso},
title = {Coeffects for MiniJava: Cf-Mj},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {51-50},
doi = {10.1145/3678721.3686232},
year = {2024},
}
Publisher's Version
Article: isstaws24ftfjpmain-id5-p (type: Full Paper) doi:10.1145/3678721.3686232
|
| |
Homer, Michael
|
FTfJP '24: "Dafny vs. Dala: Experience ..."
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
|
| |
Lisovenko, Teodors
|
FTfJP '24: "Sound Static Analysis for ..."
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
|
| |
MacConville, Dara
|
FTfJP '24: "Towards a Model Checker for ..."
Towards a Model Checker for Python: pymodcheck
Dara MacConville and Rosemary Monahan
(Maynooth University, Ireland)
@InProceedings{FTfJP24p1,
author = {Dara MacConville and Rosemary Monahan},
title = {Towards a Model Checker for Python: pymodcheck},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3678721.3686233},
year = {2024},
}
Publisher's Version
Article: isstaws24ftfjpmain-id8-p (type: Full Paper) doi:10.1145/3678721.3686233
|
| |
Mackay, Julian |
FTfJP '24: "Dafny vs. Dala: Experience ..."
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
|
| |
Marx, Stefan |
FTfJP '24: "Abstract Interpretation of ..."
Abstract Interpretation of Java Bytecode in Sturdy
Stefan Marx and Sebastian Erdweg
(JGU Mainz, Germany)
@InProceedings{FTfJP24p31,
author = {Stefan Marx and Sebastian Erdweg},
title = {Abstract Interpretation of Java Bytecode in Sturdy},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3678721.3686226},
year = {2024},
}
Publisher's Version
Article: isstaws24ftfjpmain-id7-p (type: Full Paper) doi:10.1145/3678721.3686226
|
| |
Merenda, Saverio Mattia |
FTfJP '24: "Towards a Sound Construction ..."
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
|
| |
Mezini, Mira |
FTfJP '24: "Incrementalizing Polynomial ..."
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
|
| |
Monahan, Rosemary |
FTfJP '24: "Towards a Model Checker for ..."
Towards a Model Checker for Python: pymodcheck
Dara MacConville and Rosemary Monahan
(Maynooth University, Ireland)
@InProceedings{FTfJP24p1,
author = {Dara MacConville and Rosemary Monahan},
title = {Towards a Model Checker for Python: pymodcheck},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3678721.3686233},
year = {2024},
}
Publisher's Version
Article: isstaws24ftfjpmain-id8-p (type: Full Paper) doi:10.1145/3678721.3686233
|
| |
Negrini, Luca
|
FTfJP '24: "Sound Static Analysis for ..."
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
FTfJP '24: "Towards a Sound Construction ..."
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
|
| |
Noble, James |
FTfJP '24: "Dafny vs. Dala: Experience ..."
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
|
| |
Oliveira, Bruno C. d. S.
|
FTfJP '24: "Disjoint Polymorphism with ..."
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
|
| |
Olivieri, Luca |
FTfJP '24: "Towards a Sound Construction ..."
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
|
| |
Rehman, Baber
|
FTfJP '24: "Disjoint Polymorphism with ..."
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
|
| |
Richter, David |
FTfJP '24: "Incrementalizing Polynomial ..."
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
|
| |
White, Ruffin
|
FTfJP '24: "Sound Static Analysis for ..."
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
|
| |
Wrigstad, Tobias |
FTfJP '24: "Dafny vs. Dala: Experience ..."
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
|
| |
Zaffanella, Enea
|
FTfJP '24: "Towards a Sound Construction ..."
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
|
| |
Zanatta, Giacomo |
FTfJP '24: "Sound Static Analysis for ..."
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
|