Publications

2017

• Pietro Abate and Roberto Di Cosmo. Adoption of academic tools in open source communities: the debian case study. In 13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina, May 22-23, 2017, Proceedings. 2017. URL: http://link.springer.com/book/10.1007/978-3-319-57735-7, doi:10.1007/978-3-319-57735-7.
  [ Bibtex ]

2015

• Pietro Abate, Roberto Di Cosmo, Louis Gesbert, Fabrice Le Fessant, Ralf Treinen, and Stefano Zacchiroli. Mining component repositories for installability issues. In 12th IEEE/ACM Working Conference on Mining Software Repositories, MSR 2015, Florence, Italy, May 16-17, 2015, 24–33. 2015. URL: http://dx.doi.org/10.1109/MSR.2015.10, doi:10.1109/MSR.2015.10.
  [ Bibtex ]

• Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, and Pietro Abate. Polymorphic functions with set-theoretic types: part 2: local type inference and type reconstruction. In Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015, 289–302. 2015. URL: http://doi.acm.org/10.1145/2676726.2676991, doi:10.1145/2676726.2676991.
  [ Bibtex ]

2014

• Pietro Abate, Roberto Di Cosmo, Ralf Treinen, and Stefano Zacchiroli. Learning from the future of component repositories. Sci. Comput. Program., 90:93–115, 2014. URL: http://dx.doi.org/10.1016/j.scico.2013.06.007, doi:10.1016/j.scico.2013.06.007.
  [ Bibtex ]

• Pietro Abate, Roberto di Cosmo, Fabrice Le Fessant, Stefano Zacchiroli, and Louis Gesbert. Using preferences to tame your package manager. In The OCaml Users and Developers Workshop. Gothenburg, Sweden, 05/09/2014 2014. URL: https://ocaml.org/meetings/ocaml/2014/ocaml2014_17.pdf.
  [ Bibtex ]

2013

• Pietro Abate, Roberto Di Cosmo, Ralf Treinen, and Stefano Zacchiroli. A modular package manager architecture. Information & Software Technology, 55(2):459–474, 2013. URL: http://dx.doi.org/10.1016/j.infsof.2012.09.002, doi:10.1016/j.infsof.2012.09.002.
  [ Bibtex ]

• Pietro Abate and Johannes Schauer. Bootstrapping software distributions. In CBSE'13, Proceedings of the 16th ACM SIGSOFT Symposium on Component Based Software Engineering, part of Comparch '13, Vancouver, BC, Canada, June 17-21, 2013, 131–142. 2013. URL: http://doi.acm.org/10.1145/2465449.2465461, doi:10.1145/2465449.2465461.
  [ Bibtex ]

2012

• Pietro Abate, Roberto Di Cosmo, Ralf Treinen, and Stefano Zacchiroli. Dependency solving: A separate concern in component evolution management. Journal of Systems and Software, 85(10):2228–2240, 2012. URL: http://dx.doi.org/10.1016/j.jss.2012.02.018, doi:10.1016/j.jss.2012.02.018.
  [ Bibtex ]

• Pietro Abate, Roberto Di Cosmo, Ralf Treinen, and Stefano Zacchiroli. Learning from the future of component repositories. In Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering, CBSE 2012, part of Comparch '12 Federated Events on Component-Based Software Engineering and Software Architecture, Bertinoro, Italy, June 25-28, 2012, 51–60. 2012. URL: http://doi.acm.org/10.1145/2304736.2304747, doi:10.1145/2304736.2304747.
  [ Bibtex ]

2011

• Pietro Abate and Roberto Di Cosmo. Predicting upgrade failures using dependency analysis. In Workshops Proceedings of the 27th International Conference on Data Engineering, ICDE 2011, April 11-16, 2011, Hannover, Germany, 145–150. 2011. URL: http://dx.doi.org/10.1109/ICDEW.2011.5767626, doi:10.1109/ICDEW.2011.5767626.
  [ Bibtex ]

• Pietro Abate, Roberto Di Cosmo, Ralf Treinen, and Stefano Zacchiroli. MPM: a modular package manager. In Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering, CBSE 2011, part of Comparch '11 Federated Events on Component-Based Software Engineering and Software Architecture, Boulder, CO, USA, June 20-24, 2011, 179–188. 2011. URL: http://doi.acm.org/10.1145/2000229.2000255, doi:10.1145/2000229.2000255.
  [ Bibtex ]

• Pietro Abate and Ralf Treinen. Report on the international competition. 2011.
  [ Bibtex ]

• Pietro Abate and Ralf Treinen. Updb infrastructure to collect traces of upgradeability problems in cudf format. 2011.
  [ Bibtex ]

2010

• Pietro Abate, André Guerreiro, Stéphane Laurière, Ralf Treinen, and Stefano Zacchiroli. Extension of an existing package manager to produce traces of ugradeability problems in cudf format. 2010. URL: http://mancoosi.org/reports/d5.2.pdf.
  [ Bibtex ]

2009

• Pietro Abate, Jaap Boender, Roberto Di Cosmo, and Stefano Zacchiroli. Strong dependencies between software components. CoRR, 2009. URL: http://arxiv.org/abs/0905.4226.
  [ Bibtex ]

• Pietro Abate, Roberto Di Cosmo, Jaap Boender, and Stefano Zacchiroli. Strong dependencies between software components. In Proceedings of the Third International Symposium on Empirical Software Engineering and Measurement, ESEM 2009, October 15-16, 2009, Lake Buena Vista, Florida, USA, 89–99. 2009. URL: http://doi.acm.org/10.1145/1671248.1671258, doi:10.1145/1671248.1671258.
  [ Bibtex ]

• Pietro Abate and Rajeev Goré. The tableau workbench. Electr. Notes Theor. Comput. Sci., 231:55–67, 2009. URL: http://dx.doi.org/10.1016/j.entcs.2009.02.029, doi:10.1016/j.entcs.2009.02.029.
  [ Bibtex ]

• Pietro Abate, Rajeev Goré, and Florian Widmann. An on-the-fly tableau-based decision procedure for pdl-satisfiability. Electr. Notes Theor. Comput. Sci., 231:191–209, 2009. URL: http://dx.doi.org/10.1016/j.entcs.2009.02.036, doi:10.1016/j.entcs.2009.02.036.
  [ Bibtex ]

2007

• Pietro Abate. The tableau workbench: a framework for building automated tableau-based theorem provers. Master's thesis, The australian national university, Canberra, 2007. URL: papers-download/anuthesis.pdf.
  [ Bibtex ]

• Pietro Abate and Rajeev Gore. Notes for the tutorial : the tableaux workbench. 2007. URL: http://twb.rsise.anu.edu.au/tutorial.
  [ Bibtex ]

• Pietro Abate, Rajeev Goré, and Florian Widmann. An on-the-fly tableau-based decision procedure for pdl-satisfiability. CoRR, 2007. URL: http://arxiv.org/abs/0711.1016.
  [ Bibtex ]

• Pietro Abate, Rajeev Goré, and Florian Widmann. One-pass tableaux for computation tree logic. In Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings, 32–46. 2007. URL: http://dx.doi.org/10.1007/978-3-540-75560-9_5, doi:10.1007/978-3-540-75560-9_5.
  [ Bibtex ]

2006

• Pietro Abate and Rajeev Gore. A cut free tableau calculus for the logic of common knowledge. Presented at M4M 2006, 2006. URL: papers-download/lck.pdf.
  [ Bibtex ]

2003

• System description: The tableaux workbench, springer, 2003 2003. URL: papers-download/tableaux03.ps.
  [ Bibtex ]

• Pietro Abate and Rajeev Goré. The tableaux work bench. In Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings, 230–236. 2003. URL: http://dx.doi.org/10.1007/978-3-540-45206-5_18, doi:10.1007/978-3-540-45206-5_18.
  [ Bibtex ]

2002

• Pietro Abate and Marco Bernardo. A scalable approach to the design of SW architectures with dynamically create/destroyed components. In Proceedings of the 14th international conference on Software engineering and knowledge engineering, SEKE 2002, Ischia, Italy, July 15-19, 2002, 255–262. 2002. URL: http://doi.acm.org/10.1145/568760.568806, doi:10.1145/568760.568806.
  [ Bibtex ]

2001

• Pietro Abate. Modelling software architectures using an architectural description language based on process algebra. Master's thesis, Bologna, Bologna, 2001.
  [ Bibtex ]