Reports for Author "Wang, Daniel C."
- TR-715-04 - Safe Heterogeneous Applications: Curing the Java Native Interface (2004)
- TR-647-02 - JVM TCB: Measurements of the Trusted Computing Base of Java Virtual Machines (2002)
- TR-640-01 - Managing Memory with Types (Thesis) (2001)
- TR-624-00 - Type-Preserving Garbage Collectors (Extended Version) (2000)
- TR-609-99 - Safe Garbage Collection = Regions + Intensional Type Analysis (1999)
- TR-554-97 - The Zephyr Abstract Syntax Description Language (1997)