Journal papers

  • Matteo Ceccarello and Oksana Tkachuck
    Automated generation of model classes for Java PathFinder
    In ACM SIGSOFT, Volume 39 Issue 1, January 2014
    ACM digital library

  • Matteo Ceccarello and Nastaran Shafiei
    Tools to Generate and Check Consistency of Model Classes for Java PathFinder
    In ACM SIGSOFT, Volume 37 Issue 6, November 2012
    ACM digital library


Conference papers

  • Matteo Ceccarello, Andrea Pietracaprina, Geppino Pucci, Eli Upfal.
    A Practical Parallel Algorithm for Diameter Approximation of Massive Weighted Graphs
    To appear in Proc. of the 30th IEEE International Parallel & Distributed Processing Symposium (IPDPS) 2016. (Acceptance rate 23%)
    Preprint on Arxiv · software · presentation (pdf)

  • Matteo Ceccarello, Andrea Pietracaprina, Geppino Pucci, Eli Upfal.
    Space and Time Efficient Parallel Graph Decomposition, Clustering, and Diameter Approximation
    Proc. of the 27th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA) 2015 (Acceptance rate 24%)
    ACM digital library · doi:10.1145/2755573.2755591 · Preprint on Arxiv · software

  • Matteo Ceccarello and Francesco Silvestri
    Experimental Evaluation of Multi-Round Matrix Multiplication on MapReduce
    Proc. of 17th SIAM Meeting on Algorithm Engineering & Experiments (ALENEX) 2015. (Acceptance rate 28%.)
    software · doi:10.1137/1.9781611973754.11 · pdf · presentation (pdf)