CCured: type-safe retrofitting of legacy code
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Existential Types for Imperative Languages
ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
Language Issues in Mobile Program Security
Mobile Agents and Security
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
CCured: type-safe retrofitting of legacy software
ACM Transactions on Programming Languages and Systems (TOPLAS)
Quantified types in an imperative language
ACM Transactions on Programming Languages and Systems (TOPLAS)
Journal of Functional Programming
Dynamic heap type inference for program understanding and debugging
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Beyond bug-finding: sound program analysis for Linux
HOTOS'07 Proceedings of the 11th USENIX workshop on Hot topics in operating systems
Sound and Complete Type Inference for a Systems Programming Language
APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems
Writing an OS Kernel in a Strictly and Statically Typed Language
Formal to Practical Security
CCured: type-safe retrofitting of legacy code
ACM SIGPLAN Notices - Supplemental issue
| Hi-index | 0.00 |