Marco Paviotti

11 papers A* 1A 2B 3Journal 5
YearRankTypeTitle / Venue / Authors
2025 B conf
Program Optimisations via Hylomorphisms for Extraction of Executable Code.
ITP
David Castro-Perez, Marco Paviotti, Michael Vollmer
2023 J jnl
Full Abstraction for Free.
CoRR
Marco Paviotti, Nicolas Wu
2022 A conf
Structured Handling of Scoped Effects.
ESOP
Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, Tom Schrijvers
2022 J jnl
Structured Handling of Scoped Effects: Extended Version.
CoRR
Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, Tom Schrijvers
2020 A conf
Modular Relaxed Dependencies in Weak Memory Concurrency.
ESOP
Marco Paviotti, Simon Cooksey, Anouk Paradis, Daniel Wright, Scott Owens, Mark Batty
2019 J jnl
Denotational semantics of recursive types in synthetic guarded domain theory.
Math. Struct. Comput. Sci.
Rasmus Ejlers Møgelberg, Marco Paviotti
2018 J jnl
Denotational semantics of recursive types in synthetic guarded domain theory.
CoRR
Rasmus Ejlers Møgelberg, Marco Paviotti
2018 J jnl
Formally verifying exceptions for low-level code with separation logic.
J. Log. Algebraic Methods Program.
Marco Paviotti, Jesper Bengtson
2016 A* conf
Denotational semantics of recursive types in synthetic guarded domain theory.
LICS
Rasmus Ejlers Møgelberg, Marco Paviotti
2015 B conf
A Model of PCF in Guarded Type Theory.
MFPS
Marco Paviotti, Rasmus Ejlers Møgelberg, Lars Birkedal
2012 B conf
Synthesis of Distributed Mobile Programs Using Monadic Types in Coq.
ITP
Marino Miculan, Marco Paviotti