Reports for Author "Tan, Gang" | Computer Science Department at Princeton University

TR-731-05 - A Compositional Logic for Control Flow and its Application in Foundational Proof-Carrying Code (2005)
Authors: Tan, Gang
TR-715-04 - Safe Heterogeneous Applications: Curing the Java Native Interface (2004)
Authors: Tan, Gang / Appel, Andrew W. / Chakradhar, Srimat / Raghunathan, Anand / Ravi, Srivaths / Wang, Daniel C.
TR-695-04 - Dynamic Typing with Dependent Types (2004)
Authors: Ou, Xinming / Tan, Gang / Mandelbaum, Yitzhak / Walker, David