todo:
Papers related to Typed assembly language
- TALx86: A realistic typed assembly language [morrisett:wcsss:1999]
- Type-based decompilation (or program reconstruction via type reconstruction) [mycroft:esop:1999]
- A type system for expressive security policies [walker:popl:2000]
- Alias types for recursive data structures [walker:tic:2001]
- A dependently typed assembly language [xi:icfp:2001]
- Safe to the last instruction: automated verification of a type-safe operating system [yang:pldi:2010]