Cited By
View all- Desharnais MBrunthaler SHriţcu CPopescu A(2021)Towards efficient and verified virtual machines for dynamic languagesProceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs10.1145/3437992.3439923(61-75)Online publication date: 17-Jan-2021
- Sanan DZhao YLin SYang L(2021)CSimACM Transactions on Programming Languages and Systems10.1145/343680843:1(1-46)Online publication date: 9-Feb-2021
- Jiang HLiang HXiao SZha JFeng XMcKinley KFisher K(2019)Towards certified separate compilation for concurrent programsProceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/3314221.3314595(111-125)Online publication date: 8-Jun-2019
- Show More Cited By