Sotabase

Career

· Software Engineer, Facebook2020–2020
· Associate Professor Of Computer Information Science, University of Pennsylvania2020–
· Co-Founder Principal Scientist, Cloudseal INC2018–2019
· Assistant Professor, Computer Information Science, University of Pennsylvania2013–2020
· Doctor of Philosophy - PhD, Computer Science & Engineering, University of Washington2007–2012

Publications (51)

DMP: deterministic shared memory multiprocessing
IEEE Micro · 2009
348
cited
CoreDet: a compiler and runtime system for deterministic multithreaded execution
ASPLOS XV · 2010
285
cited
Hardbound: architectural support for spatial safety of the C programming language
International Conference on Architectural Support for Programming Languages and Operating Systems · 2008
263
cited
Atom-Aid: Detecting and Surviving Atomicity Violations
International Symposium on Computer Architecture · 2008
156
cited
RCDC: a relaxed consistency deterministic computer
ASPLOS XVI · 2011
86
cited
RADISH: Always-on sound and complete race detection in software and hardware
International Symposium on Computer Architecture · 2012
60
cited
I-SPY: Context-Driven Conditional Instruction Prefetching with Coalescing
Micro · 2020
48
cited
Co-design of Anytime Computation and Robust Control
IEEE Real-Time Systems Symposium · 2015
41
cited
BARRACUDA: binary-level analysis of runtime RAces in CUDA programs
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2017
39
cited
The Deterministic Execution Hammer : How Well Does it Actually Pound Nails ?
2011
37
cited
GPUDet: a deterministic GPU architecture
International Conference on Architectural Support for Programming Languages and Operating Systems · 2013
36
cited
Ripple: Profile-Guided Instruction Cache Replacement for Data Center Applications
International Symposium on Computer Architecture · 2021
36
cited
Twig: Profile-Guided BTB Prefetching for Data Center Applications
Micro · 2021
36
cited
CURD: a dynamic CUDA race detector
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2018
33
cited
LASER: Light, Accurate Sharing dEtection and Repair
International Symposium on High-Performance Computer Architecture · 2016
31
cited
A case for system support for concurrency exceptions
2009
28
cited
Remix: online detection and repair of cache contention for the JVM
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2016
26
cited
Reproducible Containers
International Conference on Architectural Support for Programming Languages and Operating Systems · 2020
24
cited
GPUDrano: Detecting Uncoalesced Accesses in GPU Programs
International Conference on Computer Aided Verification · 2017
19
cited
High-performance determinism with total store order consistency
European Conference on Computer Systems · 2015
18
cited
Sotabase
Joe Devietti | Researcher Profile | Sotabase | Sotabase