Giovanni Tito Bernardi

Teaching

2024 - 2025

First term

• PF5: Programmation Fonctionelle (L3)
• Projet de programmation (M1)
• Bases de données spécialisées (M2), moodle

Second term

• Projet de programmation (M1)
• Programmation fonctionelle avancé (M1)
• Analyise statique (M2)

Interests

• Formal methods, Semantics of programming languages [1, 2]; concurrency, testing theory, types (overall behavioural ones [BETTY]), and models of types
• Music
• If I am not in the office, chances are I am travelling, or listening to smart persons, or climbing, or doing my yoga
• Literature [why? 1]; northern one in particular [Iperborea]
• Photography and dark rooms

Publications

Working drafts

• Constructive characterisations of the must-preorder for asynchrony
  1. &j;
  2. &castellani;
  3. &laforgue;
  4. &stefanesco;
  HAL 2024
  1. [&pdf;]

Journals

• Full-abstraction for client testing preorders
  1. &j;
  2. &francalanza;
  Science of Computer Programming (SCP), 168, 2018
  1. [&pdf; via doi]
• Using higher-order contracts to model session types
  1. &j;
  2. &hennessy;
  Logical Methods in Computer Science (&LMCS;), 12(2), 2016
  1. [LMCS],
  2. [bibTeX]
• Modelling session types using contracts
  1. &j;
  2. &hennessy;
  Mathematical Structures in Computer Science (&MSCS;), 26(3), 2016
  1. [&pdf;]
  2. [bibTeX]
• Mutually testing processes
  1. &j;
  2. &hennessy;
  Invited contribution to Logical Methods in Computer Science (&LMCS;), 11(2), 2015
  1. [LMCS]
  2. [bibTeX]

Conferences

• Full-abstraction for Must Testing Preorders (Extended Abstract)
  1. &j;
  2. &francalanza;
  19&th; International Conference on Coordination Models and Languages (&coord2017;), Neuchâtel, 19 - 22 Jun 2017.
  1. [pdf]
  2. [bibTeX]
• Robustness Against Consistency Models with Atomic Visibility
  1. &j;
  2. &gotsman;
  27&th; &ICCT; (&concur2016;), Québec City, 23 - 26 Aug 2016.
  1. [DROPS],
  2. [full version]
  3. [bibtex]
• A Framework for Transactional Consistency Models with Atomic Visibility
  1. &j;
  2. &cerone;
  ,
  3. &gotsman;
  26&th; &ICCT; (&concur2015;), Madrid, 1 - 4 Sep 2015.
  1. [DROPS],
  2. [full version],
  3. [bibTeX]
• Using higher-order contracts to model session types&extabs;
  1. &j;
  2. &hennessy;
  25&th; &ICCT; (&concur2014;), Rome, 2 - 5 Sep 2014.
  1. [full version],
  2. [bibTeX]
• On duality relations for session types
  1. &j;
  2. O. Dardha,
  3. &simon;,
  4. D. Kouzapas
  9&th; International Symposium on Trustworthy Global Computing (&tgc2014;), Rome, 5 - 6 Sep 2014.
  1. [pdf],
  2. [bibTeX]
• Mutually testing processes&extabs;
  1. &j;
  2. &hennessy;
  24&th; &ICCT; (&concur2013;), Buenos Aires, 27 - 30 August 2013.
  1. [full version],
  2. [slides],
  3. [bibTeX]
• Modelling session types using contracts&extabs;
  1. &j;
  2. &hennessy;
  27&th; Symposium on Applied Computing (SAC 2012), Riva del Garda, 26 - 30 March 2012.
  1. [full version],
  2. [&pdf;],
  3. [slides],
  4. [bibTex]
• A Theory of Adaptable Contract-Based Service Composition
  1. &j;
  2. &bugliesi;,
  3. &mace;,
  4. and &rossi;
  10&th; International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC '08), Timisoara, 26 - 29 September 2008.
  1. [&pdf;],
  2. [bibTeX]

Technical reports

• Cuddling cats
  1. &me;
  Technical Report TCD-CS-2012-16, 5 Jun 2012.
  1. [&pdf;]
• Modelling session types using contracts
  1. &j;
  2. &hennessy;
  Technical Report TCD-CS-2011-07, 9 Aug 2011.
  1. [&pdf;]

&phd; thesis

Behavioural Equivalences for Web Services

On March the 28th, 2013 I submitted my thesis, and I passed the viva on May the 22nd, 2013. My examiners were S. Gay and A. Butterfield.

Chapter 4 is subsumed by this paper. Chapters 7 and 8 are subsumed by this report.

Other links: Google Scholar, DBLP, MGP

Events

Future

1. FORTE 2024

Past

1. YR-CONCUR 2023

1. OPCT 2019

1. VIP workshop

1. OPCT 2017
2. &coord2017;
3. Dagstuhl 17051
4. Dagstuhl 16471
5. &concur2016;
6. BETTY summer school
7. MICW 2016
8. BETTY meeting
9. YR-CONCUR 2015
10. &concur2015;
11. Imperial Concurrency Workshop
12. SFM 2015
13. PaPoC 2015
14. BETTY meeting
15. MICW 2015

1. 1. MatthewFEST
   2. CONCUR 2014
   3. TGC 2014
   4. BETTY meeting
   5. Certification of ... programs
   6. BETTY summer school
   7. MGS 2014
   8. CHoCoLa
   9. MSC - Lyon 2014
2. 1. &beat2;
   2. &concur2013;
3. 1. Oxford Concurrency Workshop
   2. MGS 2012
   3. SAC 2012
4. 1. MGS 2011

Varia

• bleau.info
• A fundamental question
• A fundamental observation
• Abolitionist approach to animal rights
• In Italian Lorella Zanardo, Eretica
• Less technical literature:
  • Cees Nooteboom,
  • Lars Gustafsson
• Family matters: my sister Stella wrote these, my mom Gina wrote this, and my father Antonio managed this
• Comics:
  • Calvin & Hobbes,
  • and a remark on PhD.

Não o prazer, não a glória, não o poder: a liberdade, unicamente a liberdade.
-- Livro do Desassossego, F. Pessoa

"I'm not over the moon. I have health, for the time being, enough money, no immediate worries. That, I believe, is about as good as it gets. Are you happy?"
-- That They May Face the Rising Sun, J. McGahern

"Our guns
We shot them in the things we said
Ah we didn't need no bullets
Cos we rely on some words instead
Kill someone in argument
Outwit them with our brains
And we'd kill ourselves laughing
At the funny things we'd say"

-- The Chariot, The Cat Empire