?
Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems ,
1
Language-parametric compiler validation with application to..:
, 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:
?
Lecture Notes in Computer Science; Formal Methods – The Next 30 Years ,
3
IELE: A Rigorously Designed Language and Tool Ecosystem for..:
, In:
?
Proceedings of the 2015 International Workshop on Data-Intensive Scalable Computing Systems ,
4
Efficient disk-to-disk sorting : a case study in the dec..:
, In:
?
Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems ,
7