Carlo Spaccasassi

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 2

Top Topics

Chemical Reaction

Extended Abstract

Transactional Data

Concurrent Execution

Top Venues

Trends in Functional Programming

Publications

Carlo Spaccasassi, Boyan Yordanov, Andrew Phillips, Neil Dalchau
Fast Enumeration of Non-isomorphic Chemical Reaction Networks. CMSB (2019)
Carlo Spaccasassi, Vasileios Koutavas
Type-Based Analysis for Session Inference (Extended Abstract). FORTE (2016)
Carlo Spaccasassi, Vasileios Koutavas
Complete session types inference with progress guarantees for ML. CoRR (2015)
Vasileios Koutavas, Carlo Spaccasassi, Matthew Hennessy
Bisimulations for Communicating Transactions - (Extended Abstract). FoSSaCS (2014)
Carlo Spaccasassi, Vasileios Koutavas
Towards Efficient Abstractions for Concurrent Consensus. Trends in Functional Programming (2013)
Carlo Spaccasassi, Vasileios Koutavas
Towards Efficient Abstractions for Concurrent Consensus CoRR (2013)