16 citations · 39 across the 21 of their papers we have counts for
22 papers
Automatically Detecting and Fixing Deadlocks in Go Code with GoDDaR
Gustavo Feio, Jorge Coelho, Miguel Flor +2
The Go programming language provides a lightweight abstraction for concurrent programming through goroutines, which are prone to deadlocks. Go includes a runtime detector that abor…
Automatic Code and Test Generation of Smart Contracts from Coordination Models
Elvis Konjoh Selabi, Maurizio Murgia, António Ravara +1
We propose a formal approach for specifying and implementing decentralised coordination in distributed systems, with a focus on smart contracts. Our model captures dynamic roles, d…
Modelling Distributed Applications with Mixed-Choice Stateful Typestates
Francisco Parrinha, João Mota, António Ravara
Distributed systems have become increasingly prevalent in the software industry. Due to their intrinsic complexity, much research has focused on the verification of their behaviour…
TRAC: a tool for data-aware coordination (with an application to smart contracts)
Joao Afonso, Elvis Konjoh Selabi, Maurizio Murgia +2
We propose TRAC, a tool for the specification and verification of coordinated multiparty distributed systems. Relying on finite-state machines (FSMs) where transition labels look l…
Sound Atomicity Inference for Data-Centric Synchronization
Hervé Paulino, Ana Almeida Matos, Jan Cederquist +3
Data-Centric Concurrency Control (DCCC) shifts the reasoning about concurrency restrictions from control structures to data declaration. It is a high-level declarative approach tha…
Anticipation of Method Execution in Mixed Consistency Systems -- Technical Report
Marco Giunti, Hervé Paulino, António Ravara
Distributed applications often deal with data with different consistency requirements: while a post in a social network only requires weak consistency, the user balance in turn has…