Sotabase

Career

· CTO, Sai Maa2016–2016
· Systems Researcher, Two Sigma2016–
· System Engineer, Crowdtap2012–2013
· PhD in Computer Science, Columbia University2010–2016
· Full Stack Developer, ASDLabs2009–2010
· Teaching Assistant, Columbia University2009–
· MS in Computer Science, Columbia University2007–2009
· Software Engineer, EDIMS2006–
· Engineering Degree, Supélec2005–2007
· Hardware and Software Engineer, VIBI Prod.2004–
· Hardware and Software Engineer, Elegenics Inc.2003–

Publications (17)

A measurement study of google play
Measurement and Modeling of Computer Systems · 2014
400
cited
ASSURE: automatic software self-healing using rescue points
International Conference on Architectural Support for Programming Languages and Operating Systems · 2009
194
cited
Transparent, lightweight application execution replay on commodity multiprocessor operating systems
Measurement and Modeling of Computer Systems · 2010
139
cited
Synapse: a microservices architecture for heterogeneous-database web applications
European Conference on Computer Systems · 2015
55
cited
Transparent mutable replay for multicore debugging and patch validation
International Conference on Architectural Support for Programming Languages and Operating Systems · 2013
44
cited
Teaching operating systems using virtual appliances and distributed version control
Technical Symposium on Computer Science Education · 2010
43
cited
Pervasive detection of process races in deployed systems
Symposium on Operating Systems Principles · 2011
36
cited
Cider: native execution of iOS apps on android
International Conference on Architectural Support for Programming Languages and Operating Systems · 2014
23
cited
Structured linux kernel projects for teaching operating systems concepts
Technical Symposium on Computer Science Education · 2011
23
cited
CIDER
Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings · 2022
8
cited
Finding Concurrency Errors in Sequential Code - OS-level, In-vivo Model Checking of Process Races
USENIX Workshop on Hot Topics in Operating Systems · 2011
6
cited
The Effectiveness of R&D Tax Incentives
1997
6
cited
Path-Tree Optimization in Discrete Partially Observable Environments Using Rapidly-Exploring Belief-Space Graphs
IEEE Robotics and Automation Letters · 2022
5
cited
Chameleon : Multi-Persona Binary Compatibility for Mobile Devices
2013
Deterministic, Mutable, and Distributed Record-Replay for Operating Systems and Database Systems
2016
Path-Tree Optimization in Partially Observable Environments using Rapidly-Exploring Belief-Space Graphs
arXiv.org · 2022
Synapse: New Data Integration Abstractions for Agile Web Application Development
2015
Sotabase