| 2026 | FORTE | Soundness of Typed Transitions in the Linear π-Calculus. | Adrian Francalanza, Marco Giunti, Antnio Ravara |
| 2025 | ESOP | Iso-Recursive Multiparty Sessions and their Automated Verification. | Marco Giunti, Nobuko Yoshida |
| 2024 | ECOOP | Behavioural Up/down Casting For Statically Typed Languages. | Lorenzo Bacchiani, Mario Bravetti, Marco Giunti, Joo Mota, Antnio Ravara |
| 2024 | SEFM | Time Factor in Neural Learning Processes. | Fabrizia Giulia Garavaglia, Marco Giunti, Giuseppe Sergioli |
| 2023 | ECOOP | On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage (Experience Paper). | Joo Mota, Marco Giunti, Antnio Ravara |
| 2023 | SAC | Anticipation of Method Execution in Mixed Consistency Systems. | Marco Giunti, Herv Paulino, Antnio Ravara |
| 2021 | Coordination | Java Typestate Checker. | Joo Mota, Marco Giunti, Antnio Ravara |
| 2021 | SEFM | Developing the Semantic Web via the Resolution of Meaning Ambiguities. | Simone Pinna, Francesca Ervas, Marco Giunti |
| 2020 | Coordination | GoPi: Compiling Linear and Static Channels in Go. | Marco Giunti |
| 2010 | CONCUR | A Linear Account of Session Types in the Pi Calculus. | Marco Giunti, Vasco Thudichum Vasconcelos |
| 2007 | POPL | Secure implementations of typed channel abstractions. | Michele Bugliesi, Marco Giunti |