?
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation ,
1
Scalable validation of binary lifters:
, In:
?
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation ,
2
A complete formal semantics of x86-64 user-level instructio..:
, In:
?
Proceedings of the 27th Annual ACM Symposium on Applied Computing ,
4