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)

Edge-Weighted Online Bipartite Matching
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
Solving SDP Faster: A Robust IPM Framework and Efficient Implementation
IEEE Annual Symposium on Foundations of Computer Science · 2021
63
cited
Tight Competitive Ratios of Classic Matching Algorithms in the Fully Online Model
ACM-SIAM Symposium on Discrete Algorithms · 2018
61
cited
DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols
USENIX Symposium on Operating Systems Design and Implementation · 2022
44
cited
Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware
Symposium on Operating Systems Principles · 2021
43
cited
Giallar: push-button verification for the qiskit Quantum compiler
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2022
34
cited
Streaming Hardness of Unique Games
International Workshop and International Workshop on Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques · 2018
26
cited
Weakly Supervised Monocular 3D Object Detection Using Multi-View Projection and Direction Consistency
Computer Vision and Pattern Recognition · 2023
26
cited
Gleipnir: toward practical error analysis for Quantum programs
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2021
20
cited
A formally certified end-to-end implementation of Shor’s factorization algorithm
Proceedings of the National Academy of Sciences of the United States of America · 2022
17
cited
Contract-based verification of a realistic quantum compiler
arXiv.org · 2019
16
cited
A Faster Quantum Algorithm for Semidefinite Programming via Robust IPM Framework
2022
13
cited
Mostly Automated Verification of Liveness Properties for Distributed Protocols with Ranking Functions
Proc. ACM Program. Lang. · 2024
13
cited
InstaHide's Sample Complexity When Mixing Two Private Images
arXiv.org · 2020
9
cited
Solving Tall Dense SDPs in the Current Matrix Multiplication Time
arXiv.org · 2021
9
cited
Sublinear Time Algorithm for Online Weighted Bipartite Matching
arXiv.org · 2022
7
cited
A Convergence Theory for Federated Average: Beyond Smoothness
2022 IEEE International Conference on Big Data (Big Data) · 2022
6
cited
Symmetric Sparse Boolean Matrix Factorization and Applications
Information Technology Convergence and Services · 2021
5
cited
Symmetric Boolean Factor Analysis with Applications to InstaHide
arXiv.org · 2021
4
cited
Sotabase