20 citations · 67 across the 17 of their papers we have counts for
3 papers · 1 filter
A model of actors and grey failures
Laura Bocchi, Julien Lange, Simon Thompson +1
Existing models for the analysis of concurrent processes tend to focus on fail-stop failures, where processes are either working or permanently stopped, and their state (working/st…
Proceedings 15th Interaction and Concurrency Experience
Clément Aubert, Cinzia Di Giusto, Larisa Safina +1
This volume contains the proceedings of ICE'22, the 15th Interaction and Concurrency Experience, which was held as an hybrid event in Lucca, Italy, and as a satellite event of DisC…
Provable GPU Data-Races in Static Race Detection
Dennis Liew, Tiago Cogumbreiro, Julien Lange
We extend the theory behind the Faial tool-chain, which can soundly prove that CUDA programs (aka, kernels) are data-race free using specialized behavioral types called memory acce…