Marco Giunti

According to our database, Marco Giunti authored at least 23 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

AtomiS: Data-Centric Synchronization Made Practical.

Hervé Paulino, Ana Almeida Matos, Jan Cederquist, Marco Giunti, João Matos, António Ravara

Proc. ACM Program. Lang., October, 2023

Sound Atomicity Inference for Data-Centric Synchronization.

Hervé Paulino, Ana Almeida Matos, Jan Cederquist, Marco Giunti, João Matos, António Ravara

CoRR, 2023

Anticipation of Method Execution in Mixed Consistency Systems.

Marco Giunti, Hervé Paulino, António Ravara

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage (Experience Paper).

João Mota, Marco Giunti, António Ravara

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

A Java typestate checker supporting inheritance.

Lorenzo Bacchiani, Mario Bravetti, Marco Giunti, João Mota, António Ravara

Sci. Comput. Program., 2022

Anticipation of Method Execution in Mixed Consistency Systems - Technical Report.

Marco Giunti, Hervé Paulino, António Ravara

CoRR, 2022

On using VeriFast, VerCors, Plural, and KeY to check object usage.

João Mota, Marco Giunti, António Ravara

CoRR, 2022

2021

Representing n-ary relations in the Semantic Web.

Marco Giunti, Giuseppe Sergioli, Giuliano Vivanet, Simone Pinna

Log. J. IGPL, 2021

Developing the Semantic Web via the Resolution of Meaning Ambiguities.

Simone Pinna, Francesca Ervas, Marco Giunti

Proceedings of the Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops, 2021

Java Typestate Checker.

João Mota, Marco Giunti, António Ravara

Proceedings of the Coordination Models and Languages, 2021

2020

GoPi: Compiling Linear and Static Channels in Go.

Marco Giunti

Proceedings of the Coordination Models and Languages, 2020

2016

Linearity, session types and the Pi calculus.

Marco Giunti, Vasco Thudichum Vasconcelos

Math. Struct. Comput. Sci., 2016

For a dynamical approach to human computation.

Marco Giunti, Simone Pinna

Log. J. IGPL, 2016

2015

Unlocking Blocked Communicating Processes.

Adrian Francalanza, Marco Giunti, António Ravara

Proceedings of the Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems, 2015

2014

Static Semantics of Secret Channel Abstractions.

Marco Giunti

Proceedings of the Secure IT Systems - 19th Nordic Conference, NordSec 2014, Tromsø, 2014

2013

Algorithmic type checking for a pi-calculus with name matching and session types.

Marco Giunti

J. Log. Algebraic Methods Program., 2013

Towards Static Deadlock Resolution in the π-Calculus.

Marco Giunti, António Ravara

Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

2012

Hide and New in the Pi-Calculus

Marco Giunti, Catuscia Palamidessi, Frank D. Valencia

Proceedings of the Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, 2012

2011

A type checking algorithm for qualified session types

Marco Giunti

Proceedings of the Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems, 2011

2010

Secure implementations of typed channel abstractions.

Marco Giunti

PhD thesis, 2010

A Linear Account of Session Types in the Pi Calculus.

Marco Giunti, Vasco Thudichum Vasconcelos

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2007

Secure implementations of typed channel abstractions.

Michele Bugliesi, Marco Giunti

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

2005

Typed Processes in Untyped Contexts.

Michele Bugliesi, Marco Giunti

Proceedings of the Trustworthy Global Computing, International Symposium, 2005