Sotabase

Career

· Researcher/Visitor, Simons Institute for the Theory of Computing, UC Berkeley2026–
· Researcher, Columbia University Software Systems Laboratory (SSL)2011–

Publications (13)

Combinatorial sketching for finite programs
ASPLOS XII · 2006
861
cited
Using deformations for browsing volumetric data
IEEE Visualization, 2003. VIS 2003. · 2003
212
cited
Sketching stencils
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2007
171
cited
Probabilistic Data Management for Pervasive Computing: The Data Furnace Project
IEEE Data Engineering Bulletin · 2006
47
cited
Probabilistic Fuzzy Logic based Stock Price Prediction
2013
12
cited
Probabilistic Complex Event Triggering
2009
5
cited
Extending the Applicability of Sketching
1
cited
Sketching with Partial Programs
2006
Symbolic Proof Generation for Resizing Sketches Gilad Arnold and
2006
Sotabase
Liviu Tancau | Researcher Profile | Sotabase | Sotabase