Author
Showing results 1 to 2 of 2
Lee, Juneyoung; Hur, Chung-Kil; Jung, Ralf; Liu, Zhengyang; Regehr, John; Lopes, Nuno P.
Proceedings of the ACM on Programming Languages, Vol.2 No.OOPSLA
Lopes, Nuno P.; Lee, Juneyoung; Hur, Chung-Kil; Liu, Zhengyang; Regehr, John
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp.65-79