Sotabase

Career

· Assistant Professor, The University of Hong Kong2015–
· Associate Professor, The University of Hong Kong2015–
· PhD Student, Columbia University2008–2014
· Master of Science, Tsinghua University2005–2008
· Bachelor of Science, Tsinghua University2001–2005

Publications (70)

Stable Deterministic Multithreading through Schedule Memoization
USENIX Symposium on Operating Systems Design and Implementation · 2010
113
cited
APUS: fast and scalable paxos on RDMA
ACM Symposium on Cloud Computing · 2017
95
cited
Parrot: a practical runtime for deterministic, stable, and reliable threads
Symposium on Operating Systems Principles · 2013
94
cited
Efficient deterministic multithreading through schedule relaxation
Symposium on Operating Systems Principles · 2011
85
cited
One Fuzzing Strategy to Rule Them All
International Conference on Software Engineering · 2022
71
cited
Paxos made transparent
Symposium on Operating Systems Principles · 2015
71
cited
Bias Testing and Mitigation in LLM-based Code Generation
ACM Transactions on Software Engineering and Methodology · 2023
68
cited
Verifying systems rules using rule-directed symbolic execution
International Conference on Architectural Support for Programming Languages and Operating Systems · 2013
67
cited
Bypassing Races in Live Applications with Execution Filters
USENIX Symposium on Operating Systems Design and Implementation · 2010
62
cited
Bidl: A High-throughput, Low-latency Permissioned Blockchain Framework for Datacenter Networks
Symposium on Operating Systems Principles · 2021
51
cited
vPipe: A Virtualized Acceleration System for Achieving Efficient and Scalable Pipeline Parallel DNN Training
IEEE Transactions on Parallel and Distributed Systems · 2022
50
cited
Ginsenoside Rd Inhibited Ferroptosis to Alleviate CCl4-Induced Acute Liver Injury in Mice via cGAS/STING Pathway.
The American Journal of Chinese Medicine · 2022
48
cited
SOTER: Guarding Black-box Inference for General Neural Networks at the Edge
USENIX Annual Technical Conference · 2022
43
cited
JITfuzz: Coverage-guided Fuzzing for JVM Just-in-Time Compilers
International Conference on Software Engineering · 2023
42
cited
Sound and precise analysis of parallel programs through schedule specialization
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2012
39
cited
Making parallel programs reliable with stable multithreading
Communications of the ACM · 2014
37
cited
Achieving low tail-latency and high scalability for serializable transactions in edge computing
European Conference on Computer Systems · 2021
35
cited
CodeCoT: Tackling Code Syntax Errors in CoT Reasoning for Code Generation
2023
35
cited
Evaluating and Improving Neural Program-Smoothing-based Fuzzing
International Conference on Software Engineering · 2022
32
cited
OWL: Understanding and Detecting Concurrency Attacks
Dependable Systems and Networks · 2018
27
cited
Sotabase