Sotabase

Career

· Assistant Professor, University of Maryland2024–
· Doctor of Philosophy - PhD, Computer Science, Columbia University in the City of New York2019–2024
· Research Assistant, Columbia University in the City of New York2019–2024
· Bachelor's Degree, Computer Science, Tsinghua University2015–2019

Publications (0)

IEEE Annual Symposium on Foundations of Computer Science · 2020
78
cited
DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols
USENIX Symposium on Operating Systems Design and Implementation · 2021
68
cited
IEEE Annual Symposium on Foundations of Computer Science · 2021
63
cited
61
cited
DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols
USENIX Symposium on Operating Systems Design and Implementation · 2022
44
cited
43
cited
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2022
34
cited
International Workshop and International Workshop on Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques · 2018
26
cited
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2021
20
cited
Proceedings of the National Academy of Sciences of the United States of America · 2022
17
cited
Solving Tall Dense SDPs in the Current Matrix Multiplication Time
arXiv.org · 2021
9
cited
2022 IEEE International Conference on Big Data (Big Data) · 2022
6
cited
Information Technology Convergence and Services · 2021
5
cited
Symmetric Boolean Factor Analysis with Applications to InstaHide
arXiv.org · 2021
4
cited
Sotabase