Sotabase

Career

· Sathaye Family Career Development Associate Professor, Carnegie Mellon University2020–
· Assistant Professor, Carnegie Mellon University2015–
· Researcher, Advanced and Robust Computing (ARC) Group, Microsoft Research2013–
· Ph.D. in Computer Science & Engineering, University of Washington2009–2013
· B.S. in Computer Science, Tufts University2003–2007

Publications (87)

DMP: deterministic shared memory multiprocessing
IEEE Micro · 2009
348
cited
A simpler, safer programming and execution model for intermittent systems
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2015
293
cited
Alpaca: intermittent execution without checkpoints
Proc. ACM Program. Lang. · 2017
285
cited
Orbital Edge Computing: Nanosatellite Constellations as a New Class of Computer System
International Conference on Architectural Support for Programming Languages and Operating Systems · 2020
267
cited
Chain: tasks and channels for reliable intermittent programs
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2016
248
cited
Intelligence Beyond the Edge: Inference on Intermittent Embedded Systems
International Conference on Architectural Support for Programming Languages and Operating Systems · 2018
228
cited
A Reconfigurable Energy Storage Architecture for Energy-harvesting Devices
International Conference on Architectural Support for Programming Languages and Operating Systems · 2018
210
cited
Intermittent Computing: Challenges and Opportunities
Summit on Advances in Programming Languages · 2017
201
cited
LazyPIM: An Efficient Cache Coherence Mechanism for Processing-in-Memory
IEEE computer architecture letters · 2017
187
cited
Adaptive Dynamic Checkpointing for Safe Efficient Intermittent Computing
USENIX Symposium on Operating Systems Design and Implementation · 2018
182
cited
Atom-Aid: Detecting and Surviving Atomicity Violations
International Symposium on Computer Architecture · 2008
156
cited
CoNDA: Efficient Cache Coherence Support for Near-Data Accelerators
International Symposium on Computer Architecture · 2019
134
cited
Conflict exceptions: simplifying concurrent language semantics with precise hardware exceptions for data-races
International Symposium on Computer Architecture · 2010
114
cited
Supporting peripherals in intermittent systems with just-in-time checkpoints
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2019
114
cited
IFRit: interference-free regions for dynamic data-race detection
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2012
109
cited
Nonvolatile memory is a broken time machine
MSPC@PLDI · 2014
98
cited
Orbital Edge Computing: Machine Inference in Space
IEEE computer architecture letters · 2019
93
cited
Finding concurrency bugs with context-aware communication graphs
Micro · 2009
92
cited
Termination checking and task decomposition for task-based intermittent programs
International Conference on Compiler Construction · 2018
87
cited
When is Graph Reordering an Optimization? Studying the Effect of Lightweight Graph Reordering Across Applications and Input Graphs
IEEE International Symposium on Workload Characterization · 2018
86
cited
Sotabase
Brandon Lucia | Researcher Profile | Sotabase | Sotabase