Sotabase

Career

· Researcher, Columbia University Software Systems Laboratory (SSL)

Publications (104)

333
cited
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2017
218
cited
International Conference on Language Resources and Evaluation · 2018
192
cited
International Conference on Learning Representations · 2023
164
cited
North American Chapter of the Association for Computational Linguistics · 2018
128
cited
Cosette: An Automated Prover for SQL
Conference on Innovative Data Systems Research · 2017
106
cited
International Conference on Human Factors in Computing Systems · 2023
95
cited
International Conference on Human Factors in Computing Systems · 2020
72
cited
International Conference on Medical Image Computing and Computer-Assisted Intervention · 2019
66
cited
Sotabase