Giulio Guerrieri, PhD

Photo de Giulio Guerrieri (version française : ici)

I have a PhD in Computer Science and Philosophy. During my PhD I was at the Dipartimento di Filosofia of the Università Roma Tre (Rome, Italy) and in the lab PPS of the Université Paris Diderot - Paris 7 (Paris, France). My PhD supervisors were Lorenzo Tortora de Falco and Thomas Ehrhard.

I am currently a postdoctoral fellow at the Department of Computer Science of the University of Bath (United Kingdom).
Previously, I had been postdoctoral fellow at:

The pdf of my PhD thesis is available here. My CV is available here (en français), here (in english), here (in italiano).

Email: (replace [at] with the email key)
giulio.guerrieri[at]pps.univ-paris-diderot.fr
giulio.guerrieri[at]uniroma3.it
giulio.guerrieri[at]amu-univ.fr
giulio.guerrieri[at]cs.ox.ac.uk
giulio.guerrieri[at]unibo.it
g.guerrieri[at]bath.ac.uk

Office:
4.56, Building 1West
Department of Computer Science, University of Bath
Claverton Down,
Bath BA2 7PB (United Kingdom)


Publications in international journals:

  1. Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus (joint work with Luca Paolini and Simona Ronchi Della Rocca). Logical Methods in Computer Science (LMCS) (special issue of selected papers of RTA-TLCA 2015), Vol. 13, Issue 4, 2017.
    pdf bibtex.

  2. Postponement of RAA and Glivenko's theorem, revisited (joint work with Alberto Naibo). Studia Logica (Special issue of General Proof Theory 2015, celebrating 50 Years of Dag Prawitz's "Natural Deduction"), Vol. 107, Number 1, pp. 109-144, 2019.
    pdf pdf (long version) bibtex. Une presentation du travail est disponible ici.

  3. Abstract Machines for Open Call-by-Value (joint work with Beniamino Accattoli). Science of Computer Programming (special issue of selected papers of FSEN 2017), 2019
    pdf bibtex.

  4. Gluing resource proof-structure: inabitation and inverting the Taylor expansion (joint work with Luc Pellissier and Lorenzo Tortora de Falco), accepted with minor revisions in Logical Methods in Computer Science (LMCS) (special issue of selected papers of CSL 2020), 2021.
    pdf.

Publications in international conferences with review committee:

  1. A semantical and operational account of call-by-value solvability (joint work with Alberto Carraro). 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2014).
    pdf (long version) bibtex

  2. Standardization of a call-by-value lambda-calculus (joint work with Luca Paolini and Simona Ronchi Della Rocca). 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015).
    pdf bibtex.

  3. Head reduction and normalization in a call-by-value lambda-calculus. 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015).
    pdf bibtex.

  4. Computing connected proof(-structure)s from their Taylor expansion (joint work with Luc Pellissier and Lorenzo Tortora de Falco). 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016).
    pdf (long version) bibtex.

  5. The bang calculus: an untyped lambda-calculus generalizing Call-By-Name and Call-By-Value (joint work with Thomas Ehrhard). 18th International Symposium on Principles and Practice of Declarative Programming (PPDP 2016).
    pdf (long version) bibtex.

  6. Open Call-by-Value (joint work with Beniamino Accattoli). 14th Asian Symposium on Programming Languages and Systems, (APLAS 2016).
    pdf (a previous version: pdf) bibtex.

  7. Implementing Open Call-by-Value (joint work with Beniamino Accattoli). 7th IPM International Conference on Foundamentals of Software Engineering (FSEN 2017).
    pdf bibtex.

  8. Types of Fireballs (joint work with Beniamino Accattoli). 16th Asian Symposium on Programming Languages and Systems, (APLAS 2018).
    pdf (long version) bibtex.

  9. The Bang Calculus and the Two Girards's Translations (joint work with Giulio Manzonetto). Trends in Linear Logic and Applications / Linearity (TLLA/Linearity 2018), 2019.
    pdf bibtex.

  10. Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus. Intersection Types and Related Systems (ITRS 2018), 2019.
    pdf bibtex.

  11. Types by Need (joint work with Beniamino Accattoli and Maico Leberle). 28th European Symposium on Programming, (ESOP 2019), 2019.
    pdf (long version) bibtex.

  12. Proof-net as graph, Taylor expansion as pullback (joint work with Lorenzo Tortora de Falco and Luc Pellissier). 26th Workshop on Logic, Language, Information and Computation (WoLLIC 2019), 2019.
    pdf bibtex.

  13. Crumbling Abstract Machines (joint work with Beniamino Accattoli, Andrea Condoluci and Claudio Sacerdoti Coen). 21st International Symposium on Principles and Practice of Programming Languages (PPDP 2019), 2019.
    pdf (long version) bibtex.

  14. Factorization and Normalization, Essentially (joint work with Beniamino Accattoli and Claudia Faggian). 17th Asian Symposium on Programming Languages and Systems, (APLAS 2019).
    pdf (long version) bibtex.

  15. Glueability of resource proof-structures: inverting the Taylor expansion (joint work with Lorenzo Tortora de Falco and Luc Pellissier). 28th International Conference Computer Science Logic (CSL 2020), 2020.
    pdf bibtex.

  16. Decomposing Probabilistic lambda-Calculus (joint work with Ugo Dal Lago and Willem Heijltjes). 23rd International Conference Foundations of Software Science and Computation Structures (FoSSaCS 2020), 2020.
    pdf bibtex.

  17. Categorifying Non-Idempotent Intersection Types (joint work with Federico Olimpieri). 29th International Conference Computer Science Logic (CSL 2021), 2021.
    pdf bibtex..

  18. Factorize Factorization (joint work with Beniamino Accattoli and Claudia Faggian). 29th International Conference Computer Science Logic (CSL 2021), 2021.
    pdf bibtex.

  19. A Deep Quantitative Type System (joint work with Willem Heijltjes and Joseph Paulus). 29th International Conference Computer Science Logic (CSL 2021), 2021.
    pdf bibtex.

  20. Factorizing Call-by-Name and Call-by-Value Calculi via Linear Logic (joint work with Claudia Faggian). 24th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2021), 2021.
    pdf bibtex.

  21. A Deep Inference System for Differential Linear Logic (joint work with Matteo Acclavio). To appear in the proceedings of Proceedings of the 6th workshop Linearity and of the 4th workshop Trends in Linear Logic and Applications (Linearity/TLLA 2020), 2021.
    pdf.

Preprints, technical reports and submissions :

Communications at internationales workshops with program committee (without publication or with informal publication) :


Invited talks in internatinal workshops/conferences with proceedings

  1. Sixteenth workshop on Logical and Semantic Frameworks with Applications (LSFA 2021, affiliated to FSCD 2021), 23-24 July 2021, Buenos Aires (Argentina).

Program committee member of international workshops/conferences with prooceedings

  1. Fifth International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2018, affiliated to the international conference FSCD 2018 and FLOC 2018), 7 July 2018, Oxford (United Kingdom).

  2. Third Workshop on Trends in Linear Logic and Applications (TLLA 2019, affiliated to the international conference FSCD 2019), 29-30 June 2019, Dortmund (Germany).

  3. Tenth Workshop on Intersection Types and Related Systems (ITRS 2021, affiliated to the international conference FSCD 2021), 17 July 2021, Buenos Aires (Argentina).

  4. Fifth Workshop on Trends in Linear Logic and Applications (TLLA 2021, affiliated to the international conference LICS 2021), 27-28 June 2021, Dortmund (Germany).

  5. Ninenteenth Asian Symposium on Programming Languages and Systems (APLAS 2021), 17-22 October 2021 Chicago, Illinois (USA).


Teaching: