Doriana Medić

Assistant Professor (RTDA)
Alpha Research Group (Parallel Computing)
University of Turin, Computer Science Dept.
Via Pessinetto 12, 10149 Torino – Italy 
Email: doriana.medic@unito.it

Short Bio

Doriana Medić is a Computer Science Assistant Professor (RTDA) at the University of Turin. She obtained her Ph.D. degree in Computer Science and Systems Engineering at IMT School for Advanced Studies Lucca with a thesis on the expressiveness of calculi for reversible concurrency.

Her research focuses on the interplay between formal methods, concurrent, distributed and reversible computing. More recently, here interests are in federated learning and workflow modeling.

Research Projects

  • Space Center of Excellence (EC HE, HORIZON-EUROHPC-JU-2021-COE-01): Scalable Parallel and distributed Astrophysical Codes for Exascale (2023, 48 months, total cost 8M€, G.A. n. 101093441).
  • European Pilot (EC H2020 RIA, EuroHPC-02-2020, 42 months, total cost 30M€, G.A. n. 101034126).
  • EUPEX (EC H2020 RIA, EuroHPC-02-2020): European Pilot for Exascale (2021, 48 months, total cost 41M€, G.A. n. 101033975).

Publications

2023

Marco Aldinucci, Elena Maria Baralis, Valeria Cardellini, Iacopo Colonnelli, Marco Danelutto, Sergio Decherchi, Giuseppe Di Modica, Luca Ferrucci, Marco Gribaudo, Francesco Iannone, Marco Lapegna, Doriana Medic, Giuseppa Muscianisi, Francesca Righetti, Eva Sciacca, Nicola Tonellotto, Mauro Tortonesi, Paolo Trunfio, Tullio Vardanega

A Systematic Mapping Study of Italian Research on Workflows Proceedings Article

In: Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis, SC-W 2023, pp. 2065–2076, ACM, Denver, CO, USA, 2023.

Abstract | Links | BibTeX | Tags: icsc, jupyter-workflow, streamflow

Gianluca Mittone, Nicolò Tonci, Robert Birke, Iacopo Colonnelli, Doriana Medić, Andrea Bartolini, Roberto Esposito, Emanuele Parisi, Francesco Beneventi, Mirko Polato, Massimo Torquati, Luca Benini, Marco Aldinucci

Experimenting with Emerging RISC-V Systems for Decentralised Machine Learning Proceedings Article

In: 20th ACM International Conference on Computing Frontiers (CF '23), ACM, Bologna, Italy, 2023, ISBN: 979-8-4007-0140-5/23/05, (https://arxiv.org/abs/2302.07946).

Abstract | Links | BibTeX | Tags: eupilot, federated, icsc, learning, parallel, riscv

Doriana Medić, Marco Aldinucci

Towards formal model for location aware workflows Proceedings Article

In: Shahriar, Hossain, Teranishi, Yuuichi, Cuzzocrea, Alfredo, Sharmin, Moushumi, Towey, Dave, Majumder, A. K. M. Jahangir Alam, Kashiwazaki, Hiroki, Yang, Ji-Jiang, Takemoto, Michiharu, Sakib, Nazmus, Banno, Ryohei, Ahamed, Sheikh Iqbal (Ed.): 47th IEEE Annual Computers, Software, and Applications Conference, COMPSAC 2023, pp. 1864–1869, IEEE, Torino, Italy, 2023.

Abstract | Links | BibTeX | Tags: eupex, icsc, semantics

Read More

2021

Ivan Lanese, Doriana Medić, Claudio Antares Mezzina

Static versus dynamic reversibility in CCS Journal Article

In: Acta Informatica, vol. 58, pp. 1–34, 2021.

Abstract | Links | BibTeX | Tags: semantics

Clément Aubert, Doriana Medić

Explicit Identifiers and Contexts in Reversible Concurrent Calculus Proceedings Article

In: Reversible Computation - 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings, Springer, 2021.

Abstract | Links | BibTeX | Tags: semantics

2020

Doriana Medić, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida

A parametric framework for reversible emph(pi)-calculi Journal Article

In: Information and Computation, vol. 275, pp. 104644, 2020.

Abstract | Links | BibTeX | Tags: semantics

Ivan Lanese, Doriana Medić

A General Approach to Derive Uncontrolled Reversible Semantics Proceedings Article

In: 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference), pp. 33:1–33:24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.

Abstract | Links | BibTeX | Tags: semantics

Doriana Medić, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida

Towards a Formal Account for Software Transactional Memory Proceedings Article

In: Reversible Computation - 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings, pp. 255–263, Springer, 2020.

Abstract | Links | BibTeX | Tags: semantics

2019

Doriana Medić

Relative expressiveness of calculi for reversible concurrency Journal Article

In: Bull. EATCS, vol. 129, 2019.

Abstract | Links | BibTeX | Tags: semantics

Talks

2023

Marco Aldinucci, Elena Baralis, Valeria Cardellini, Iacopo Colonnelli, Marco Danelutto, Sergio Decherchi, Giuseppe Di Modica, Luca Ferrucci, Marco Gribaudo, Francesco Iannone, Marco Lapegna, Doriana Medić, Giuseppa Muscianisi, Francesca Righetti, Eva Sciacca, Nicola Tonellotto, Mauro Tortonesi, Paolo Trunfio, Tullio Vardanega

A Systematic Mapping Study of Italian Research on Workflows Miscellaneous

18th Workshop on Workflows in Support of Large-Scale Science (WORKS 2023), 2023.

Abstract | Links | BibTeX | Tags: icsc

Iacopo Colonnelli, Doriana Medić, Barbara Cantalupo, Marco Aldinucci

Università degli Studi di Torino: Alpha parallel research group Miscellaneous

HaMMon Kick-Off meeting, 2023.

Links | BibTeX | Tags: icsc, streamflow

Gianluca Mittone, Nicolò Tonci, Robert Birke, Iacopo Colonnelli, Doriana Medić, Andrea Bartolini, Roberto Esposito, Emanuele Parisi, Francesco Beneventi, Mirko Polato, Massimo Torquati, Luca Benini, Marco Aldinucci

Experimenting with Emerging RISC-V Systems for Decentralised Machine Learning Miscellaneous

20th ACM international conference on computing frontiers (CF '23), 2023, (Invited talk).

Abstract | Links | BibTeX | Tags: eupilot, icsc, invited

Doriana Medić, Marco Aldinucci

Towards formal model for location aware workflows Miscellaneous

2023.

Abstract | Links | BibTeX | Tags: eupex, icsc

2022

Iacopo Colonnelli, Barbara Cantalupo, Doriana Medić, Marco Aldinucci

Hybrid workflows for heterogeneous distributed computing Miscellaneous

3rd Italian Workshop on HPC (ITWSHPC), 2022.

Links | BibTeX | Tags: across, admire, eumaster4hpc, eupex, eupilot, textarossa