Weng, Shu-Chun
- Efficient System-Enforced Deterministic Parallelism
2010/05/19 by Aviram, Amittai, Weng, Shu-Chun, Hu, Sen +1 · 1 citation
#Distributed #FOS: Computer and information sciences #Operating Systems (cs.OS) #Parallel #and Cluster Computing (cs.DC)
- Towards Automatic Resource Bound Analysis for OCaml
2016/11/02 by Jan Hoffmann, Ankush Das, Hoffmann, Jan +3 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL) #Software Testing and Debugging Techniques