Modular Checking for Buffer Overflows in the Large.Brian Hackett, Manuvir Das, Daniel Wang, and Zhe Yang. To appear in ICSE, 2006
Implementation and performance evaluation of a safe runtime system in Cyclone. Matthew Fluet, Daniel Wang. In Proceedings of SPACE Workshop. (2004)
Type-Preserving Garbage Collectors, Daniel C. Wang and Andrew W. Appel. 28th Annual ACM SIGPLAN -- SIGACT Symposium on Principals of Programming Languages,pp. 166-178, January 2001.
The Zephyr abstract syntax description language. Daniel C. Wang, Andrew W. Appel, Je L. Korn, and Christopher S. Serra. In Proceedings of the USENIX Conference on Domain-Specific Languages, pages 213--228, October 1997.
Managing Memory with Types. Daniel C. Wang. Published as Princeton University Computer Science Department TR-640-01, Decemeber 2000.
Safe Heterogeneous Applications: Curing the Java Native Interface. Gang Tan, Andrew W. Appel, Srimat Chakradhar, Anand Raghunathan, Srivaths Ravi, and Daniel C. Wang. TR-715-04, October 2004.
JVM TCB: Measurements of the Trusted Computing Base of Java Virtual Machines. Andrew W. Appel and Daniel C. Wang. TR-647-02, April 2002.
Type-Preserving Garbage Collectors(Extended Version).Daniel C. Wang. and Andrew W. Appel. TR-624-00, December 2000.
Safe Garbage Collection = Regions + Intensional Type Analysis. Daniel C. Wang. and Andrew W. Appel. TR-609-99, October 1999.
The Zephyr Abstract Syntax Description Language.Daniel C. Wang, Andrew W. Appel, Je L. Korn, and Christopher S. Serra. TR-554-97, October 1997.