Sotabase

Career

· Researcher, Columbia University2024–
· Software Engineering Manager, Rokt2023–
· Software Engineer, Google2021–
· Senior Software Engineer, Foundry.ai2019–
· Researcher or similar (specific role not provided), Columbia University Software Systems Laboratory (SSL)

Publications (12)

Computer Aided Verification
Lecture Notes in Computer Science · 2016
60
cited
Fast synthesis of fast collections
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2016
43
cited
Generalized Data Structure Synthesis
International Conference on Software Engineering · 2018
37
cited
A practical framework for type inference error explanation
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2016
24
cited
LogiSketch: A Free-Sketch Digital Circuit Design and Simulation SystemLogiSketch
2015
8
cited
Tech Report : A Practical Framework for Type Inference Error Explanation
2016
6
cited
Toward a Dependability Case Language and Workflow for a Radiation Therapy System
Summit on Advances in Programming Languages · 2015
3
cited
Automatic Formal Verification for EPICS
2018
2
cited
A FREE-SKETCH DIGITAL CIRCUIT DESIGN AND SIMULATION SYSTEM Emerging Technology Research Strand
2012
Cozy: synthesizing collection data structures
SIGSOFT FSE · 2016
Data structure synthesis
SIGSOFT FSE · 2016
FSE : G : Cozy : Synthesizing Collection Data Structures
2017
Sotabase
Calvin Loncaric | Researcher Profile | Sotabase | Sotabase