Follow
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
1642006
The Zephyr Abstract Syntax Description Language.
DC Wang, AW Appel, JL Korn, CS Serra
DSL 97, 17-17, 1997
1511997
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
902006
Checking threat modeling data flow diagrams for implementation conformance and security
M Abi-Antoun, D Wang, P Torr
Proceedings of the 22nd IEEE/ACM International Conference on Automated …, 2007
832007
Type-preserving garbage collectors
DC Wang, AW Appel
Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of …, 2001
692001
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
432010
Application compatibility checking in a distributed computing environment
DC Wang, J Wang, IE Kahraman, AE Spinks, VM Dhaneshwar
US Patent 9,342,298, 2016
182016
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
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
101999
Type-preserving garbage collectors (extended version)
DC Wang, AW Appel
Technical Report TR-624-00, Princeton University, 2000
32000
Managing Memory With Types
DCA Wang
Princeton University, 2002
12002
Piston box
K Goudarzian, C Hockin, M Lin, D Wang, FM Marceau
US Patent 11,130,621, 2021
2021
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
Systems and methods for providing code coverage assessments during full system simulationsSystems
US Patent 11,204,858, 0
FUNCTIONAL PEARLS Programming with Recursion Schemes
DC Wang, TM VII
The system can't perform the operation now. Try again later.
Articles 1–20