Sotabase

Career

· Researcher, Columbia University - Software Systems Laboratory

Publications (150)

Cyclone: A Safe Dialect of C
USENIX ATC, General Track · 2002
890
cited
EnerJ: approximate data types for safe and general low-power computation
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2011
768
cited
Region-based memory management in cyclone
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2002
443
cited
CoreDet: a compiler and runtime system for deterministic multithreaded execution
ASPLOS XV · 2010
285
cited
TALx86: A Realistic Typed Assembly Language∗
1999
242
cited
Enforcing isolation and ordering in STM
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2007
219
cited
ParaTimer: a progress indicator for MapReduce DAGs
SIGMOD Conference · 2010
199
cited
Automatic Inference of Structural Changes for Matching across Program Versions
International Conference on Software Engineering · 2007
153
cited
Estimating the progress of MapReduce pipelines
IEEE International Conference on Data Engineering · 2010
150
cited
High-level small-step operational semantics for transactions
ACM-SIGACT Symposium on Principles of Programming Languages · 2008
122
cited
Type-directed completion of partial expressions
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2012
112
cited
AtomCaml: first-class atomicity via rollback
ACM SIGPLAN International Conference on Functional Programming · 2005
111
cited
IFRit: interference-free regions for dynamic data-race detection
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2012
109
cited
Expressing and verifying probabilistic assertions
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2014
99
cited
Searching for type-error messages
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2007
98
cited
Test-driven synthesis
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2014
97
cited
Optimizing synthesis with metasketches
ACM-SIGACT Symposium on Principles of Programming Languages · 2016
94
cited
Experience with safe manual memory-management in cyclone
International Symposium on Mathematical Morphology and Its Application to Signal and Image Processing · 2004
93
cited
RCDC: a relaxed consistency deterministic computer
ASPLOS XVI · 2011
86
cited
Atomicity via source-to-source translation
Workshop on Memory System Performance and Correctness · 2006
84
cited
Sotabase
Dan Grossman | Researcher Profile | Sotabase | Sotabase