Marco Paviotti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2012–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ITP | Program Optimisations via Hylomorphisms for Extraction of Executable Code. | David Castro-Perez, Marco Paviotti, Michael Vollmer |
| 2022 | ESOP | Structured Handling of Scoped Effects. | Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, Tom Schrijvers |
| 2020 | ESOP | Modular Relaxed Dependencies in Weak Memory Concurrency. | Marco Paviotti, Simon Cooksey, Anouk Paradis, Daniel Wright, Scott Owens, Mark Batty |
| 2016 | LICS | Denotational semantics of recursive types in synthetic guarded domain theory. | Rasmus Ejlers Mgelberg, Marco Paviotti |
| 2012 | ITP | Synthesis of Distributed Mobile Programs Using Monadic Types in Coq. | Marino Miculan, Marco Paviotti |