Sean Ovens
Sean Ovens
Home
Publications
Experience
Activities
Contact
Light
Dark
Automatic
shared memory
Determining Recoverable Consensus Numbers
Sean Ovens
Cite
DOI
URL
Brief Announcement: The Space Complexity of Set Agreement Using Swap
Sean Ovens
Cite
DOI
URL
The Space Complexity of Scannable Objects with Bounded Components
Sean Ovens
Cite
DOI
URL
The Space Complexity of Consensus from Swap
Sean Ovens
Cite
DOI
URL
The Space Complexity of Scannable Binary Objects
Determining a consistent view of the contents of a shared array while its components are being modified is a fundamental task in …
Sean Ovens
Cite
DOI
URL
Strongly Linearizable Implementations of Snapshots and Other Types
Linearizability is the gold standard of correctness conditions for shared memory algorithms, and historically has been considered the …
Sean Ovens
,
Philipp Woelfel
Cite
DOI
URL
Cite
×