Personal information
No personal information available
Activities
Employment (1)
2017-09-04
to
2022-05-01
(Computer Science and Engineering)
Employment
Source:
Haojun Ma
Works (1)
ACM Transactions on Programming Languages and Systems
2022-06-30
|
Journal article
Contributors:
Jacob R. Lorch;
Yixuan Chen;
Manos Kapritsos;
Haojun Ma;
Bryan Parno;
Shaz Qadeer;
Upamanyu Sharma;
James R. Wilcox;
Xueyuan Zhao
Source:
check_circle
Crossref