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
1292006
The Zephyr Abstract Syntax Description Language.
DC Wang, AW Appel, JL Korn, CS Serra
DSL 97, 17-17, 1997
1051997
Type-preserving garbage collectors
DC Wang, AW Appel
Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of …, 2001
692001
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
632006
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
522007
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
282010
JVM TCB: Measurements of the trusted computing base of Java virtual machines
AW Appel, DC Wang
Princeton University, April 12, 2002
152002
Implementation and performance evaluation of a safe runtime system in Cyclone
M Fluet, D Wang
Informal Proceedings of the SPACE 2004 Workshop, 2004
122004
Application compatibility checking in a distributed computing environment
DC Wang, J Wang, IE Kahraman, AE Spinks, VM Dhaneshwar
US Patent 9,342,298, 2016
102016
Application compatibility checking in a distributed computing environment
DC Wang, J Wang, IE Kahraman, AE Spinks, VM Dhaneshwar
US Patent 9,342,298, 2016
102016
Safe garbage collection= regions+ intensional type analysis
DC Wang, AW Appel
Technical Report TR-609-99, Princeton University, 1999
71999
Type-preserving garbage collectors (extended version)
DC Wang, AW Appel
Technical Report TR-624-00, Princeton University, 2000
22000
Managing Memory With Types
DCA Wang
Princeton University, 2002
12002
From the EDVAC to WEBVACs
DC Wang
Communications of the ACM 58 (8), 44-51, 2015
2015
From the EDVAC to WEBVACs (CACM)
DC Wang
Communications of the ACM 58 (8), 44-51, 2015
2015
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