Marco Paviotti

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 9

Top Topics

Denotational Semantics

Knowledge Based Neural Networks

Top Venues

J. Log. Algebraic Methods Program.

Math. Struct. Comput. Sci.

Publications

Marco Paviotti, Nicolas Wu
Full Abstraction for Free. CoRR (2023)
Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, Tom Schrijvers
Structured Handling of Scoped Effects. ESOP (2022)
Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, Tom Schrijvers
Structured Handling of Scoped Effects: Extended Version. CoRR (2022)
Marco Paviotti, Simon Cooksey, Anouk Paradis, Daniel Wright, Scott Owens, Mark Batty
Modular Relaxed Dependencies in Weak Memory Concurrency. ESOP (2020)
Rasmus Ejlers Møgelberg, Marco Paviotti
Denotational semantics of recursive types in synthetic guarded domain theory. Math. Struct. Comput. Sci. 29 (3) (2019)
Rasmus Ejlers Møgelberg, Marco Paviotti
Denotational semantics of recursive types in synthetic guarded domain theory. CoRR (2018)
Marco Paviotti, Jesper Bengtson
Formally verifying exceptions for low-level code with separation logic. J. Log. Algebraic Methods Program. 94 (2018)
Rasmus Ejlers Møgelberg, Marco Paviotti
Denotational semantics of recursive types in synthetic guarded domain theory. LICS (2016)
Marco Paviotti, Rasmus Ejlers Møgelberg, Lars Birkedal
A Model of PCF in Guarded Type Theory. MFPS (2015)
Marino Miculan, Marco Paviotti
Synthesis of Distributed Mobile Programs Using Monadic Types in Coq. ITP (2012)