https://ankitku.github.io [email protected]
Northeastern University Boston PhD grad student @Northeastern University.
Ankit Kumar
Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.
ankitku
