Marco Giunti

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 13

Top Topics

Deformable Objects

Technical Report

Top Venues

Proc. ACM Program. Lang.

Publications

Hervé Paulino, Ana Almeida Matos, Jan Cederquist, Marco Giunti, João Matos, António Ravara
Sound Atomicity Inference for Data-Centric Synchronization. CoRR (2023)
João Mota, Marco Giunti, António Ravara
On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage (Experience Paper). ECOOP (2023)
Hervé Paulino, Ana Almeida Matos, Jan Cederquist, Marco Giunti, João Matos, António Ravara
AtomiS: Data-Centric Synchronization Made Practical. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Marco Giunti, Hervé Paulino, António Ravara
Anticipation of Method Execution in Mixed Consistency Systems. SAC (2023)
Lorenzo Bacchiani, Mario Bravetti, Marco Giunti, João Mota, António Ravara
A Java typestate checker supporting inheritance. Sci. Comput. Program. 221 (2022)
João Mota, Marco Giunti, António Ravara
On using VeriFast, VerCors, Plural, and KeY to check object usage. CoRR (2022)
Marco Giunti, Hervé Paulino, António Ravara
Anticipation of Method Execution in Mixed Consistency Systems - Technical Report. CoRR (2022)
Marco Giunti, Giuseppe Sergioli, Giuliano Vivanet, Simone Pinna
Representing n-ary relations in the Semantic Web. Log. J. IGPL 29 (4) (2021)
João Mota, Marco Giunti, António Ravara
Java Typestate Checker. COORDINATION (2021)
Simone Pinna, Francesca Ervas, Marco Giunti
Developing the Semantic Web via the Resolution of Meaning Ambiguities. SEFM Workshops (2021)
Marco Giunti
GoPi: Compiling Linear and Static Channels in Go. COORDINATION (2020)
Marco Giunti, Simone Pinna
For a dynamical approach to human computation. Log. J. IGPL 24 (4) (2016)
Marco Giunti, Vasco Thudichum Vasconcelos
Linearity, session types and the Pi calculus. Math. Struct. Comput. Sci. 26 (2) (2016)
Adrian Francalanza, Marco Giunti, António Ravara
Unlocking Blocked Communicating Processes. WWV (2015)
Marco Giunti
Static Semantics of Secret Channel Abstractions. NordSec (2014)
Marco Giunti
Algorithmic type checking for a pi-calculus with name matching and session types. J. Log. Algebraic Methods Program. 82 (8) (2013)
Marco Giunti, António Ravara
Towards Static Deadlock Resolution in the π-Calculus. TGC (2013)
Marco Giunti, Catuscia Palamidessi, Frank D. Valencia
Hide and New in the Pi-Calculus EXPRESS/SOS (2012)
Marco Giunti
A type checking algorithm for qualified session types WWV (2011)
Marco Giunti, Vasco Thudichum Vasconcelos
A Linear Account of Session Types in the Pi Calculus. CONCUR (2010)
Michele Bugliesi, Marco Giunti
Secure implementations of typed channel abstractions. POPL (2007)
Michele Bugliesi, Marco Giunti
Typed Processes in Untyped Contexts. TGC (2005)