Viviana Bono is a computer scientist working on the foundations of computation, with research interests in formal methods, program semantics, type systems, foundations of object-oriented and concurrent programming languages. She has been working on the design and prototyping of programming languages since her PhD and lately she has been exploring also how to combine formal techniques with machine learning models to grasp and formalize some aspects of creativity. She has experience in teaching, PhD supervision, international research collaborations, conference organization, and academic service.
Iacopo Colonnelli, Doriana Medić, Alberto Mulone, Viviana Bono, Luca Padovani, Marco Aldinucci
Formal Methods. FM 2024
eupex icsc
In the ever-evolving landscape of scientific computing, properly supporting the modularity and complexity of modern scientific applications requires new approaches to workflow execution, like seamless interoperability between different workflow systems, distributed-by-design workflow models, and automatic optimisation of data movements. In order to address this need, this article introduces SWIRL, an intermediate representation language for scientific workflows. In contrast with other product-agnostic workflow languages, SWIRL is not designed for human interaction but to serve as a low-level compilation target for distributed workflow execution plans. The main advantages of SWIRL semantics are low-level primitives based on the send/receive programming model and a formal framework ensuring the consistency of the semantics and the specification of translating workflow models represented by Directed Acyclic Graphs (DAGs) into SWIRL workflow descriptions. Additionally, SWIRL offers rewriting rules designed to optimise execution traces, accompanied by corresponding equivalence. An open-source SWIRL compiler toolchain has been developed using the ANTLR Python3 bindings.
@inproceedings{24:fm:swirl,
abstract = {In the ever-evolving landscape of scientific computing, properly supporting the modularity and complexity of modern scientific applications requires new approaches to workflow execution, like seamless interoperability between different workflow systems, distributed-by-design workflow models, and automatic optimisation of data movements. In order to address this need, this article introduces SWIRL, an intermediate representation language for scientific workflows. In contrast with other product-agnostic workflow languages, SWIRL is not designed for human interaction but to serve as a low-level compilation target for distributed workflow execution plans. The main advantages of SWIRL semantics are low-level primitives based on the send/receive programming model and a formal framework ensuring the consistency of the semantics and the specification of translating workflow models represented by Directed Acyclic Graphs (DAGs) into SWIRL workflow descriptions. Additionally, SWIRL offers rewriting rules designed to optimise execution traces, accompanied by corresponding equivalence. An open-source SWIRL compiler toolchain has been developed using the ANTLR Python3 bindings.},
address = {Milano, Italy},
author = {Iacopo Colonnelli and Doriana Medi\'{c} and Alberto Mulone and Viviana Bono and Luca Padovani and Marco Aldinucci},
booktitle = {Formal Methods. FM 2024},
doi = {10.1007/978-3-031-71162-6_12},
editor = {Andr{\'e} Platzer and Kristin Yvonne Rozier and Matteo Pradella and Matteo Rossi},
keywords = {icsc, eupex},
month = sep,
pages = {226--244},
publisher = {Springer Nature Switzerland},
series = {Lecture Notes in Computer Science},
title = {Introducing {SWIRL}: An Intermediate Representation Language for Scientific Workflows},
url = {https://iris.unito.it/retrieve/b39a6f09-a8d3-4974-abf6-c109916694fa/PDFEditoriale.pdf},
volume = {14933},
year = {2025},
bdsk-url-1 = {https://iris.unito.it/retrieve/b39a6f09-a8d3-4974-abf6-c109916694fa/PDFEditoriale.pdf},
bdsk-url-2 = {https://doi.org/10.1007/978-3-031-71162-6_12}}
Iacopo Colonnelli, Doriana Medic, Alberto Mulone, Viviana Bono, Luca Padovani, Marco Aldinucci
Zenodo
@misc{DBLP:data/11/ColonnelliMMBPA24,
author = {Iacopo Colonnelli and
Doriana Medic and
Alberto Mulone and
Viviana Bono and
Luca Padovani and
Marco Aldinucci},
title = {Artifact for paper "Introducing {SWIRL:} An Intermediate Representation
Language for Scientific Workflows" (Version 1)},
publisher = {Zenodo},
year = {2024},
month = jun,
howpublished = {\url{https://doi.org/10.5281/zenodo.12523000}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.12523000},
doi = {10.5281/ZENODO.12523000},
timestamp = {Thu, 26 Jun 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/11/ColonnelliMMBPA24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini
Programming Languages and Systems - 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
@inproceedings{DBLP:conf/esop/DagninoBZD20,
author = {Francesco Dagnino and
Viviana Bono and
Elena Zucca and
Mariangiola Dezani{-}Ciancaglini},
editor = {Peter M{\"{u}}ller},
title = {Soundness Conditions for Big-Step Semantics},
booktitle = {Programming Languages and Systems - 29th European Symposium on Programming,
{ESOP} 2020, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2020, Dublin, Ireland, April 25-30,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12075},
pages = {169--196},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-44914-8\_7},
doi = {10.1007/978-3-030-44914-8\_7},
timestamp = {Fri, 14 May 2021 08:34:21 +0200},
biburl = {https://dblp.org/rec/conf/esop/DagninoBZD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida
Found. Trends Program. Lang.
@article{DBLP:journals/ftpl/AnconaBB0CDGGGH16,
author = {Davide Ancona and
Viviana Bono and
Mario Bravetti and
Joana Campos and
Giuseppe Castagna and
Pierre{-}Malo Deni{\'{e}}lou and
Simon J. Gay and
Nils Gesbert and
Elena Giachino and
Raymond Hu and
Einar Broch Johnsen and
Francisco Martins and
Viviana Mascardi and
Fabrizio Montesi and
Rumyana Neykova and
Nicholas Ng and
Luca Padovani and
Vasco T. Vasconcelos and
Nobuko Yoshida},
title = {Behavioral Types in Programming Languages},
journal = {Found. Trends Program. Lang.},
volume = {3},
number = {2-3},
pages = {95--230},
year = {2016},
url = {https://doi.org/10.1561/2500000031},
doi = {10.1561/2500000031},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ftpl/AnconaBB0CDGGGH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages and Tools, PPPJ '14, Cracow, Poland, September 23-26, 2014
@inproceedings{DBLP:conf/pppj/BonoMN14,
author = {Viviana Bono and
Enrico Mensa and
Marco Naddeo},
editor = {Joanna Kolodziej and
Bruce R. Childers},
title = {Trait-oriented programming in Java 8},
booktitle = {2014 International Conference on Principles and Practices of Programming
on the Java Platform Virtual Machines, Languages and Tools, {PPPJ}
'14, Cracow, Poland, September 23-26, 2014},
pages = {181--186},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2647508.2647520},
doi = {10.1145/2647508.2647520},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pppj/BonoMN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
@inproceedings{DBLP:conf/forte/BonoPT13,
author = {Viviana Bono and
Luca Padovani and
Andrea Tosatto},
editor = {Dirk Beyer and
Michele Boreale},
title = {Polymorphic Types for Leak Detection in a Session-Oriented Functional
Language},
booktitle = {Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1
International Conference, {FMOODS/FORTE} 2013, Held as Part of the
8th International Federated Conference on Distributed Computing Techniques,
DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7892},
pages = {83--98},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38592-6\_7},
doi = {10.1007/978-3-642-38592-6\_7},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/BonoPT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1206-5112,
author = {Viviana Bono and
Marcin Benke and
Aleksy Schubert},
title = {Lucretia - a type system for objects in languages with reflection},
journal = {CoRR},
volume = {abs/1206.5112},
year = {2012},
url = {http://arxiv.org/abs/1206.5112},
eprinttype = {arXiv},
eprint = {1206.5112},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1206-5112.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy
@inproceedings{DBLP:conf/ifipTCS/BonoDG08,
author = {Viviana Bono and
Ferruccio Damiani and
Elena Giachino},
editor = {Giorgio Ausiello and
Juhani Karhum{\"{a}}ki and
Giancarlo Mauri and
C.{-}H. Luke Ong},
title = {On Traits and Types in a Java-like Setting},
booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science
- {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations
of Computer Science, September 7-10, 2008, Milano, Italy},
series = {{IFIP}},
volume = {273},
pages = {367--382},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-0-387-09680-3\_25},
doi = {10.1007/978-0-387-09680-3\_25},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifipTCS/BonoDG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Proceedings of the 6th International Symposium on Principles and Practice of Programming in Java, PPPJ 2008, Modena, Italy, September 9-11, 2008
@inproceedings{DBLP:conf/pppj/BettiniBN08,
author = {Lorenzo Bettini and
Viviana Bono and
Marco Naddeo},
editor = {Lu{\'{\i}}s Veiga and
Vasco Amaral and
R. Nigel Horspool and
Giacomo Cabri},
title = {A trait based re-engineering technique for Java hierarchies},
booktitle = {Proceedings of the 6th International Symposium on Principles and Practice
of Programming in Java, {PPPJ} 2008, Modena, Italy, September 9-11,
2008},
series = {{ACM} International Conference Proceeding Series},
volume = {347},
pages = {149--158},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1411732.1411753},
doi = {10.1145/1411732.1411753},
timestamp = {Mon, 26 Apr 2021 09:27:01 +0200},
biburl = {https://dblp.org/rec/conf/pppj/BettiniBN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Proceedings of the 6th International Symposium on Principles and Practice of Programming in Java, PPPJ 2008, Modena, Italy, September 9-11, 2008
@inproceedings{DBLP:conf/pppj/BettiniB08,
author = {Lorenzo Bettini and
Viviana Bono},
editor = {Lu{\'{\i}}s Veiga and
Vasco Amaral and
R. Nigel Horspool and
Giacomo Cabri},
title = {Type safe dynamic object delegation in class-based languages},
booktitle = {Proceedings of the 6th International Symposium on Principles and Practice
of Programming in Java, {PPPJ} 2008, Modena, Italy, September 9-11,
2008},
series = {{ACM} International Conference Proceeding Series},
volume = {347},
pages = {171--180},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1411732.1411756},
doi = {10.1145/1411732.1411756},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pppj/BettiniB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005
@inproceedings{DBLP:conf/sac/BettiniBL05,
author = {Lorenzo Bettini and
Viviana Bono and
Silvia Likavec},
editor = {Hisham Haddad and
Lorie M. Liebrock and
Andrea Omicini and
Roger L. Wainwright},
title = {Safe and flexible objects},
booktitle = {Proceedings of the 2005 {ACM} Symposium on Applied Computing (SAC),
Santa Fe, New Mexico, USA, March 13-17, 2005},
pages = {1258--1263},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1066677.1066963},
doi = {10.1145/1066677.1066963},
timestamp = {Sun, 02 Nov 2025 21:27:31 +0100},
biburl = {https://dblp.org/rec/conf/sac/BettiniBL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Exploring New Frontiers of Theoretical Informatics, IFIP 18th World Computer Congress, TC1 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France
@inproceedings{DBLP:conf/ifipTCS/BettiniBV04,
author = {Lorenzo Bettini and
Viviana Bono and
Betti Venneri},
editor = {Jean{-}Jacques L{\'{e}}vy and
Ernst W. Mayr and
John C. Mitchell},
title = {Subtyping-Inheritance Conflicts: The Mobile Mixin Case},
booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World
Computer Congress, {TC1} 3rd International Conference on Theoretical
Computer Science (TCS2004), 22-27 August 2004, Toulouse, France},
series = {{IFIP}},
volume = {155},
pages = {451--464},
publisher = {Kluwer/Springer},
year = {2004},
url = {https://doi.org/10.1007/1-4020-8141-3\_35},
doi = {10.1007/1-4020-8141-3\_35},
timestamp = {Tue, 24 Mar 2026 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifipTCS/BettiniBV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada
@inproceedings{DBLP:conf/oopsla/BettiniBL04,
author = {Lorenzo Bettini and
Viviana Bono and
Silvia Likavec},
editor = {John M. Vlissides and
Douglas C. Schmidt},
title = {A core calculus of mixins and incomplete objects},
booktitle = {Companion to the 19th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2004,
October 24-28, 2004, Vancouver, BC, Canada},
pages = {208--209},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1028664.1028753},
doi = {10.1145/1028664.1028753},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BettiniBL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004
@inproceedings{DBLP:conf/sac/BettiniBL04,
author = {Lorenzo Bettini and
Viviana Bono and
Silvia Likavec},
editor = {Hisham Haddad and
Andrea Omicini and
Roger L. Wainwright and
Lorie M. Liebrock},
title = {A core calculus of higher-order mixins and classes},
booktitle = {Proceedings of the 2004 {ACM} Symposium on Applied Computing (SAC),
Nicosia, Cyprus, March 14-17, 2004},
pages = {1508--1509},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/967900.968200},
doi = {10.1145/967900.968200},
timestamp = {Sun, 02 Nov 2025 21:27:31 +0100},
biburl = {https://dblp.org/rec/conf/sac/BettiniBL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems, IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers
@inproceedings{DBLP:conf/global/Bono03,
author = {Viviana Bono},
editor = {Corrado Priami},
title = {Extensible Objects: {A} Tutorial},
booktitle = {Global Computing. Programming Environments, Languages, Security, and
Analysis of Systems, {IST/FET} International Workshop, {GC} 2003,
Rovereto, Italy, February 9-14, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2874},
pages = {57--87},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40042-4\_3},
doi = {10.1007/978-3-540-40042-4\_3},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/global/Bono03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems, IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers
@inproceedings{DBLP:conf/global/BettiniBNFGLMPTV03,
author = {Lorenzo Bettini and
Viviana Bono and
Rocco De Nicola and
Gian{-}Luigi Ferrari and
Daniele Gorla and
Michele Loreti and
Eugenio Moggi and
Rosario Pugliese and
Emilio Tuosto and
Betti Venneri},
editor = {Corrado Priami},
title = {The Klaim Project: Theory and Practice},
booktitle = {Global Computing. Programming Environments, Languages, Security, and
Analysis of Systems, {IST/FET} International Workshop, {GC} 2003,
Rovereto, Italy, February 9-14, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2874},
pages = {88--150},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40042-4\_4},
doi = {10.1007/978-3-540-40042-4\_4},
timestamp = {Tue, 24 Mar 2026 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/global/BettiniBNFGLMPTV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Viviana Bono, John C. Mitchell, Amit Patel, Vitaly Shmatikov
Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999
@inproceedings{DBLP:journals/entcs/BonoMPS99,
author = {Viviana Bono and
John C. Mitchell and
Amit Patel and
Vitaly Shmatikov},
editor = {Stephen D. Brookes and
Achim Jung and
Michael W. Mislove and
Andre Scedrov},
title = {A Core Calculus of Classes and Objects},
booktitle = {Fifteenth Conference on Mathematical Foundations of Progamming Semantics,
{MFPS} 1999, Tulane University, New Orleans, LA, USA, April 28 - May
1, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {20},
pages = {28--49},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(04)80065-3},
doi = {10.1016/S1571-0661(04)80065-3},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BonoMPS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori
TAPSOFT'97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings
@inproceedings{DBLP:conf/tapsoft/BonoBDL97,
author = {Viviana Bono and
Michele Bugliesi and
Mariangiola Dezani{-}Ciancaglini and
Luigi Liquori},
editor = {Michel Bidoit and
Max Dauchet},
title = {Subtyping Constraints for Incomplete Objects (Extended Abstract)},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {465--477},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030619},
doi = {10.1007/BFB0030619},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/BonoBDL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Typed Lambda Calculi and Applications, Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings
@inproceedings{DBLP:conf/tlca/BonoB97,
author = {Viviana Bono and
Michele Bugliesi},
editor = {Philippe de Groote},
title = {Matching Constraints for the Lambda Calculus of Objects},
booktitle = {Typed Lambda Calculi and Applications, Third International Conference
on Typed Lambda Calculi and Applications, {TLCA} '97, Nancy, France,
April 2-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1210},
pages = {46--62},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-62688-3\_28},
doi = {10.1007/3-540-62688-3\_28},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/BonoB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
