Registered user since Thu 5 Feb 2015
Name:Saverio Giallorenzo
Country:Italy
Affiliation:Alma Mater Studiorum - Università di Bologna / INRIA
Personal website: https://www.saveriogiallorenzo.com
Research interests:Programming Languages, Process Calculi, Choreographic Programming, Microservices, Session Types, Security, Adaptability
Contributions
2024
Choreographic Programming
- Closing
- Session Chair of Welcome and Keynote (part of Choreographic Programming 2024)
- A Function-as-a-Service Choreographic Programming Language: Examples and Applications
- Opening
- Committee Member in Organizing Committee within the Choreographic Programming 2024-track
- Session Chair of Theory & Verification (part of Choreographic Programming 2024)
PLDI 2024-profile
View general profile
View general profile