| |
|
| |
In Proceedings of the 7th USENIX Security Symposium (1998)
|
| |
|
| |
|
| |
Soft\-waredash Prac\-tice and Experience, Vol. 25, No. 7. (1995), pp. 789-810.
|
| |
|
| |
|
| |
14th USENIX Security Symposium, pp. 271-286.
|
| |
In Proc.\ Int.\ Workshop on Memory Management (1995)
|
| |
SIGPLAN Not., Vol. 29, No. 12. (December 1994), pp. 31-37.
by Robert P. Wilson, Robert S. French, Christopher S. Wilson, et al.Saman P. Amarasinghe, Jennifer M. Anderson, Steve W. K. Tjiang, Shih-Wei Liao, Chau-Wen Tseng, Mary W. Hall, Monica S. Lam, John L. Hennessy
|
| |
SIGPLAN Notices, Vol. 29, No. 12. (1994), pp. 31-37.
by Robert P. Wilson, Robert S. French, Christopher S. Wilson, et al.Saman P. Amarasinghe, Jennifer, Steven W. K. Tjiang, Shih W. Liao, Chau W. Tseng, Mary W. Hall, Monica S. Lam, John L. Hennessy
|
| |
Commun. ACM, Vol. 10, No. 10. (October 1967), pp. 611-618.
|
| |
In HOPL-II: The second ACM SIGPLAN conference on History of programming languages, Vol. 28, No. 3. (March 1993), pp. 345-346.
|
| |
Security and Privacy, 2002. Proceedings. 2002 IEEE Symposium on (2002), pp. 143-159.
|
| |
Formal Aspects of Computing, Vol. 5, No. 4. (1993), pp. 289-298.
|
| |
|
| |
In Journal of Functional Programming (January 2002)
|
| |
Computer Graphics Forum, Vol. 26, No. 3. (September 2007), pp. 415-424.
|
| |
Queue, Vol. 3, No. 9. (2005), pp. 34-41.
|
| |
In PLDI '95: Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation, Vol. 30, No. 6. (June 1995), pp. 291-300.
|
| |
|
| |
Computer Standards & Interfaces, Vol. 23, No. 3. (July 2001), pp. 169-185.
|
| |
Language Sciences, Vol. In Press, Corrected Proof
|
| |
|
| |
|
| |
|
| |
ACM SIG\-PLAN Notices, Vol. 28, No. 3. (1993), pp. 201-208.
|
| |
Information Technology: Research and Education, 2003. Proceedings. ITRE2003. International Conference on (2003), pp. 243-250.
|
| |
Computers, IEEE Transactions on, Vol. 55, No. 10. (2006), pp. 1271-1285.
|
| |
Science of Computer Programming, Vol. 32, No. 1--3. (1998), pp. 49-72.
|
| |
Security & Privacy Magazine, IEEE, Vol. 2, No. 4. (2004), pp. 20-27.
|
| |
|
| |
In VEE '06: Proceedings of the 2nd international conference on Virtual execution environments (2006), pp. 57-67.
|
| |
Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems] (2003), pp. 227-237.
|
| |
In Network and Distributed System Security Symposium(NDSS) (February 2003), pp. 149-162.
|
| |
|
| |
In SenSys '06: Proceedings of the 4th international conference on Embedded networked sensor systems (2006), pp. 29-42.
|
| |
|
| |
ACM Trans. Program. Lang. Syst., Vol. 27, No. 3. (May 2005), pp. 477-526.
|
| |
In PLDI '03: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation, Vol. 38, No. 5. (May 2003), pp. 232-244.
|
| |
In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 37, No. 1. (January 2002), pp. 128-139.
|
| |
Information Processing Letters, Vol. 25, No. 4. (1987), pp. 275-279.
|
| |
|
| |
In TLDI '03: Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation (2003), pp. 13-25.
|
Search
