Daniel C. Wang
Title
Cited by
Cited by
Year
Modular checking for buffer overflows in the large
B Hackett, M Das, D Wang, Z Yang
Proceedings of the 28th international conference on Software engineering …, 2006
1492006
The Zephyr Abstract Syntax Description Language.
DC Wang, AW Appel, JL Korn, CS Serra
DSL 97, 17-17, 1997
1181997
Safe Java native interface
G Tan, AW Appel, S Chakradhar, A Raghunathan, S Ravi, D Wang
Proceedings of IEEE International Symposium on Secure Software Engineering …, 2006
722006
Type-preserving garbage collectors
DC Wang, AW Appel
Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of …, 2001
692001
Checking threat modeling data flow diagrams for implementation conformance and security
M Abi-Antoun, D Wang, P Torr
Proceedings of the twenty-second IEEE/ACM international conference on …, 2007
592007
Semantic foundations for typed assembly languages
A Ahmed, AW Appel, CD Richards, KN Swadi, G Tan, DC Wang
ACM Transactions on Programming Languages and Systems (TOPLAS) 32 (3), 1-67, 2010
382010
JVM TCB: Measurements of the trusted computing base of Java virtual machines
AW Appel, DC Wang
Technical Report CS-TR-647-02, Princeton University, 2002
172002
Application compatibility checking in a distributed computing environment
DC Wang, J Wang, IE Kahraman, AE Spinks, VM Dhaneshwar
US Patent 9,342,298, 2016
142016
Application compatibility checking in a distributed computing environment
DC Wang, J Wang, IE Kahraman, AE Spinks, VM Dhaneshwar
US Patent 9,342,298, 2016
142016
Implementation and performance evaluation of a safe runtime system in Cyclone
M Fluet, D Wang
Informal Proceedings of the SPACE 2004 Workshop, 2004
112004
Safe garbage collection= regions+ intensional type analysis
DC Wang, AW Appel
Technical Report TR-609-99, Princeton University, 1999
91999
Type-preserving garbage collectors (extended version)
DC Wang, AW Appel
Technical Report TR-624-00, Princeton University, 2000
32000
From the EDVAC to WEBVACs
DC Wang
Communications of the ACM 58 (8), 44-51, 2015
1*2015
From the EDVAC to WEBVACs (CACM)
DC Wang
Communications of the ACM 58 (8), 44-51, 2015
1*2015
Managing Memory With Types
DCA Wang
Princeton University, 2002
12002
Safe Heterogeneous Applications: Curing the Java Native Interface
G Tan, A Appel, S Chakradhar, A Raghunathan, S Ravi, D Wang
2004
Untrusted Garbage Collectors
DC Wang, AW Appel
2000
A Generic Typed Virtual Machine
DC Wang
1996
FUNCTIONAL PEARLS Programming with Recursion Schemes
DC Wang, TM VII
The system can't perform the operation now. Try again later.
Articles 1–19