Sotabase

Career

· Postdoctoral Scholar (Research), Vanderbilt University2024–
· Researcher, Columbia University Software Systems Laboratory (SSL)

Publications (15)

Cloud Types for Eventual Consistency
European Conference on Object-Oriented Programming · 2012
117
cited
RADISH: Always-on sound and complete race detection in software and hardware
International Symposium on Computer Architecture · 2012
60
cited
Isolating and understanding concurrency errors using reconstructed execution fragments
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2011
41
cited
Lightweight data race detection for production runs
International Conference on Compiler Construction · 2017
35
cited
Low-level detection of language-level data races with LARD
International Conference on Architectural Support for Programming Languages and Operating Systems · 2014
27
cited
Instrumentation bias for dynamic data race detection
Proc. ACM Program. Lang. · 2017
13
cited
Composable specifications for structured shared-memory communication
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2010
11
cited
PARSNIP: Performant Architecture for Race Safety with No Impact on Precision
Micro · 2017
10
cited
Data-race exceptions have benefits beyond the memory model
Workshop on Memory System Performance and Correctness · 2011
4
cited
Code-Centric Communication Graphs for Shared-Memory Multithreaded Programs
2010
2
cited
10-2017 PARSNIP : Performant Architecture for Race Safety with No Impact on Precision Yuanfeng
2017
Buggy Execution Greedy Coherence Preventing the SC Violation x x y ∅ ∅ ∅ ∅ ∅ ∅ ∅ ∅ ∅ ∅ ∅ ∅
2011
Hominy Grits: Specification and Inference of Synchronization Disciplines for Concurrent Programs
2008
Software and Hardware Support for Data-Race Exceptions
2014
The Barnyard of Pig Data Research: A View from UW CSA
2013
Sotabase
Benjamin P. Wood | Researcher Profile | Sotabase | Sotabase