Mirco Tribastone

I am Full Professor of Computer Science at IMT Lucca, where I lead the SySMA research unit. I also serve Deputy Rector and Rector's Delegate for Education and Information Systems.

I am co-founder of Valuematic, an IMT spin-off company which recently received seed funding (e.g., here, here, and here, Italian only) for the development of new technologies for sustainable cloud computing.

Prior to joining IMT Lucca, I was Associate Professor at the School of Electronics and Computer Science of Southampton University, United Kingdom, and Assistant Professor (Juniorprofessur) at the Institute for Informatics of the Ludwig-Maximilians University of Munich, Germany.

I received my Ph.D. in Computer Science from the School of Informatics of the University of Edinburgh, Scotland, in 2010. I graduated in Computer Engineering at the University of Catania.

Research

I am interested in the quantitative modeling and analysis of concurrent and distributed systems using mathematical tools such as stochastic processes (in particular Markov chains) and differential equations, as well as higher-level formalisms such as process algebra and queueing networks. A major general theme of my research is to develop effective techniques for the analysis of large-scale models where massive amounts of entities are involved.

Currently I focus on three main streams of research:

Algorithms for the aggregation of dynamical systems.
Techniques for performance self-adaption of software systems, in particular cloud applications.
Inference methods for probabilistic programs.

Selected Publications

F. Randone, L. Bortolussi, E. Incerto, and M. Tribastone. Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures, POPL'24 (to appear).
E. Incerto, R. Pizziol, and M. Tribastone. μOpt: An Efficient Optimal Autoscaler for Microservice Applications, ACSOS'23 (Karsten Schwarn Best Paper Award).
L. Cardelli, R. Grosu, K.G. Larsen, M. Tribastone, M. Tschaikowski, and A. Vandin. Algorithmic Minimization of Uncertain Continuous-Time Markov Chains, IEEE Transactions on Automatic Control.
P. Krupa, O. Inverso, M. Tribastone, and A. Bemporad. Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems, Automatica (to appear).
G. Argyris, A. Lluch-Lafuente, A. Leguizamon-Robayo, M. Tribastone, M. Tschaikowski, and A. Vandin. Minimization of Dynamical Systems over Monoids, LICS'23.
S. Tognazzi, M. Tribastone, M. Tschaikowski, and A. Vandin. Differential Equivalence for Linear Differential Algebraic Equations, IEEE Transactions on Automatic Control.
F. Randone, L. Bortolussi, and M. Tribastone. Refining Mean-field Approximations by Dynamic State Truncation, SIGMETRICS'21.
Giorgio Bacci, Giovanni Bacci, K.G. Larsen, M. Tribastone, M. Tschaikowski, and A. Vandin. Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods, LICS'21.
M. A. N. Whitby, L. Cardelli, L. Laurenti, M. Tribastone, M. Tschaikowski, and M. Kwiatkowska. PID Control of Biochemical Reaction Networks, IEEE Transactions on Automatic Control.
L. Cardelli, I.C. Perez-Verona, M. Tribastone, M. Tschaikowski, A. Vandin, and T. Waizmann. Exact maximal reduction of stochastic reaction networks by species lumping, Bioinformatics, btab081.
A. Ovchinnikov, I.C. Pérez-Verona, G. Pogudin, and M. Tribastone. CLUE: Exact maximal reduction of kinetic models by constrained lumping of differential equations, Bioinformatics, btab010.
L. Cardelli, M. Tribastone, M. Tschaikowski, and A. Vandin. Symbolic Computation of Differential Equivalences, Theoretical Computer Science (invited article for special issue in honor of Maurice Nivat, extension of POPL'16 paper).

Euro-Par'18

L. Cardelli, M. Tribastone, M. Tschaikowksi, and A. Vandin. Maximal aggregation of polynomial dynamical systems. Proceedings of the National Academy of Sciences (2017). [PNAS page]
E. Incerto, M. Tribastone, and Catia Trubiani. Software Performance Self-Adaptation through Efficient Model Predictive Control, ASE'17.
L. Cardelli, M. Tribastone, M. Tschaikowski, and A. Vandin. ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations, TACAS'17.
L. Cardelli, M. Tribastone, M. Tschaikowski, and A. Vandin. Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective, LICS'16.

See my Google Scholar profile or my DBLP page for a full list of publications.

Selected Talks

M. Tribastone. Lumping and Expanding Reaction Networks. Invited talk at CMSB'23.
E. Incerto and M. Tribastone. Model-based performance self-adaptation. Tutorial at ICPE'19.
M. Tribastone. Maximal aggregation of polynomial differential equations. Kolchin seminar, New York University.
A. Vandin and M. Tribastone. Speeding Up Stochastic And Deterministic Simulation By Aggregation: An Advanced Tutorial. Winter Simulation Conference 2018

Professional Service

Upcoming events where I am involved:

Program co-chair for CMSB'24, the 21st International Conference on Computational Methods in Systems Biology
PC member for LICS'24, the 36th Annual ACM/IEEE Symposium on Logic in Computer Science
PC member for CCGRID'24, the 24th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing

Recent events where I was involved:

Program co-chair (together with Nils Jansen) for QEST'23, the 20th International Conference on Quantitative Evaluation of Systems
PC member for QEST'22, the 19th International Conference on Quantitative Evaluation of Systems
PC member for QEST'21, the 18th International Conference on Quantitative Evaluation of Systems
PC member and Awards Chair for ICPE'20, the 11th International Conference on Performance Engineering.
PC member for SIGSIM-PADS'20, the 2020 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation.
PC member for POPL'20, the 47th ACM SIGPLAN Symposium on Principles of Programming Languages.
PC member for QEST'19, the 16th International Conference on Quantitative Evaluation of Systems
PC member and Work In Progress and Vision Papers Chair for ICPE'19, the 10th International Conference on Performance Engineering.
PC member for SIGSIM-PADS'19, the 2019 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation.
PC member for ICALP'18 (Track B: Logic, semantics, automata and theory of programming).

Software Tools

I am involved in the design and implementation of the following software tools:

DiffLQN, a tool for the differential-equation analysis of layered queuing networks.
ERODE, a tool for the evaluation and reduction of ordinary differential equtions.
The PEPA Eclipse plug-in, supporting static, Markovian, and differential-equation analysis for models written in the process algebra PEPA.

Research Projects

I am or have been involved as Principal Investigator in the following projects:

SEDUCE (Italian Ministry of Research and Education, 2019-2021), concerning the design, modeling, and analysis of cyber-physical systems.
SAXA (Tuscany Regional Authority, 2017-2019), concerning adaptive software for automation.
DAPS2 (German Research Foundation, Special Priority Programme 1593, 2015-2018), follow-up of DAPS, for which I hold a DFG Mercator Fellowship.
Quanticol (EU FET, 2013-2017), covering fundamental aspects of the quantitative analysis of collective adaptive systems with applications to smart cities.
DAPS (German Research Foundation, Special Priority Programme 1593, 2012-2015), for developing efficient quantitative analysis techniques for software product line models.
FEMPA (German Research Foundation, 2012-2015), for developing behavioral equivalences and aggregation techniques in Markovian process algebra with fluid semantics.