Marco Paolieri

Marco Paolieri

Senior Research Associate
Department of Computer Science
University of Southern California

Contacts

Email: paolieri@usc.edu

Telephone: +1 (213) 740-6578

Office: Salvatori Computer Science Center (SAL), Room #200

Address: 941 Bloom Walk, Los Angeles, CA 90089-0781, USA

Connect: LinkedIn,

Research

I completed my PhD in Computer Engineering at the University of Florence, Italy (2015). From August 2016 to November 2018, I was a postdoc at USC in the Quantitative Evaluation and Design Group. Since December 2018, I am a Senior Research Associate at USC. My research focuses on:

  • stochastic models for performance and reliability evaluation;
  • solution techniques for non-Markovian processes;
  • concurrent and distributed systems.

Teaching

I teach the course "Introduction to Computer Systems" (CS356) during the Spring 2019 semester.

  • Class website: usc-cs356.github.io
  • Lectures: Tue, Thu 2-3:20pm in THH 208
  • Office hours: Tue, Thu 3:30-5pm in SAL 200 (or by appointment).
  • Please use Piazza for questions about the class.

Software tools

I am a main developer of the ORIS Tool. I implemented (in Java):

  • state space analysis of time Petri nets using DBM zones;
  • transient analysis of stochastic time Petri nets (STPNs) with generally-distributed timers (and underlying GSMP process);
  • regenerative transient analysis of STPNs (symbolic integration over DBM zones and numerical solution of integral equations);
  • probabilistic model checking of an interval until operator for Markov regenerative processes.

Professional activities

I served as reviewer, PC member and chair of conferences in the area of performance, reliability, and quantitative system analysis.

  • SIGMETRICS: publicity chair of SIGMETRICS 2018.
  • QEST (International Conference on Quantitative Analysis of Systems): publicity and publications chair (2014), tools chair (2017), external reviewer (2014, 2015, 2016, 2017).
  • EPEW (European Workshop on Performance Engineering): PC member (2015), program co-chair (2016), PC member (2017).
  • VALUETOOLS (International Conference on Performance Evaluation Methodologies and Tools): publicity chair (2015), external reviewer (2013, 2014, 2015).
  • ICPE (International Conference on Performance Engineering): tools and demonstrations chair (2018).
  • ISSRE (IEEE International Symposium on Software Reliability Engineering): PC member (2015).
  • MASCOTS (Modeling, Analysis and Simulation of Computer and Telecommunication Systems): external reviewer (2016, 2017).
  • IFIP Performance: external reviewer (2016).
  • FORMATS (International conference on Formal Modeling and Analysis of Timed Systems): external reviewer (2013, 2015, 2016).
  • SDDCS (International Workshop of Software-Defined Data Communications and Storage): PC member (2017).
  • VECoS (International Workshop on Verification and Evaluation of Computer and Communication Systems): PC member (2013).
  • ICTAC (International Colloquium on Theoretical Aspects of Computing): external reviewer (2014).

I have been a reviewer for Performance Evaluation (2017), Journal of Systems and Software (2016), Reliability Engineering & System Safety (2016), Journal of Internet Services and Applications (2016).

Publications

Analysis and Probabilistic Model Checking of Stochastic Systems

Performance and Reliability Analysis of Critical Infrastructures

Performance of Machine Learning Systems

Editor