Marco Paviotti

According to our database, Marco Paviotti authored at least 8 papers between 2012 and 2023.

Collaborative distances:

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

2023

Full Abstraction for Free.

Marco Paviotti, Nicolas Wu

CoRR, 2023

2022

Structured Handling of Scoped Effects: Extended Version.

Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, Tom Schrijvers

CoRR, 2022

Structured Handling of Scoped Effects.

Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, Tom Schrijvers

Proceedings of the Programming Languages and Systems, 2022

2020

Modular Relaxed Dependencies in Weak Memory Concurrency.

Marco Paviotti, Simon Cooksey, Anouk Paradis, Daniel Wright, Scott Owens, Mark Batty

Proceedings of the Programming Languages and Systems, 2020

2019

Denotational semantics of recursive types in synthetic guarded domain theory.

Rasmus Ejlers Møgelberg, Marco Paviotti

Math. Struct. Comput. Sci., 2019

2018

Formally verifying exceptions for low-level code with separation logic.

Marco Paviotti, Jesper Bengtson

J. Log. Algebraic Methods Program., 2018

2015

A Model of PCF in Guarded Type Theory.

Marco Paviotti, Rasmus Ejlers Møgelberg, Lars Birkedal

Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015

2012

Synthesis of Distributed Mobile Programs Using Monadic Types in Coq.

Marino Miculan, Marco Paviotti

Proceedings of the Interactive Theorem Proving - Third International Conference, 2012