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 | 161 | 2006 |
The Zephyr Abstract Syntax Description Language. DC Wang, AW Appel, JL Korn, CS Serra DSL 97, 17-17, 1997 | 153 | 1997 |
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 | 93 | 2006 |
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 | 83 | 2007 |
Type-preserving garbage collectors DC Wang, AW Appel Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of …, 2001 | 67 | 2001 |
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 | 47 | 2010 |
Application compatibility checking in a distributed computing environment DC Wang, J Wang, IE Kahraman, AE Spinks, VM Dhaneshwar US Patent 9,342,298, 2016 | 20 | 2016 |
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 | 17 | 2002 |
Implementation and performance evaluation of a safe runtime system in Cyclone M Fluet, D Wang Informal Proceedings of the SPACE 2004 Workshop, 2004 | 10 | 2004 |
Safe garbage collection= regions+ intensional type analysis DC Wang, AW Appel Technical Report TR-609-99, Princeton University, 1999 | 10 | 1999 |
Type-preserving garbage collectors (extended version) DC Wang, AW Appel Technical Report TR-624-00, Princeton University, 2000 | 3 | 2000 |
Managing Memory With Types DCA Wang Princeton University, 2002 | 1 | 2002 |
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 | | |