14 citations · 21 across the 9 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.DC2021
Efficient Linearizability Checking for Actor-based Systems
Mohammed S. Al-Mahfoudh, Ryan Stutsman, Ganesh Gopalakrishnan
Recent demand for distributed software had led to a surge in popularity in actor-based frameworks. However, even with the stylized message passing model of actors, writing correct…
cs.DC2021
Automated Dynamic Concurrency Analysis for Go
Saeed Taheri, Ganesh Gopalakrishnan
The concurrency features of the Go language have proven versatile in the development of a number of concurrency systems. However, correctness methods to address challenges in Go co…