| |
SIGPLAN Not., Vol. 43, No. 9. (2008), pp. 39-50.
|
| |
In Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell (2008), pp. 37-48.
|
| |
In ICFP '99: Proceedings of the fourth ACM SIGPLAN international conference on Functional programming, Vol. 34, No. 9. (September 1999), pp. 114-125.
|
| |
In Domain-Specific Languages (1999), pp. 109-122.
|
| |
SIGPLAN Not., Vol. 43, No. 9. (2008), pp. 143-156.
|
| |
Modeling and Using Context (2007), pp. 291-302.
|
| |
In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2009), pp. 302-314.
|
| |
Computer Aided Verification (2007), pp. 173-177.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 15, No. 1. (1993), pp. 73-132.
|
| |
Formal Methods in System Design, Vol. 22, No. 2. (1 March 2003), pp. 125-131.
|
| |
|
| |
|
| |
In Haskell '06: Proceedings of the 2006 ACM SIGPLAN workshop on Haskell (2006), pp. 60-71.
|
| |
Logic in Computer Science, 1988. LICS '88., Proceedings of the Third Annual Symposium on In Logic in Computer Science, 1988. LICS '88., Proceedings of the Third Annual Symposium on (1988), pp. 165-175.
|
| |
In NCA '06: Proceedings of the Fifth IEEE International Symposium on Network Computing and Applications (2006)
|
| |
Distributed Computing (2006), pp. 151-163.
|
| |
IEEE Trans. Softw. Eng., Vol. 28, No. 12. (December 2002), pp. 1146-1170.
|
| |
In CC '02: Proceedings of the 11th International Conference on Compiler Construction (2002), pp. 213-228.
|
| |
In SOSP '05: Proceedings of the twentieth ACM symposium on Operating systems principles (2005), pp. 1-9.
|
| |
Hot Topics in Operating Systems, Workshop on, Vol. 0 (1995)
|
| |
In PLOS '07: Proceedings of the 4th workshop on Programming languages and operating systems (2007), pp. 1-5.
|
| |
In ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering (2005), pp. 21-30.
|
| |
Programming Languages and Systems (2007), pp. 475-489.
|
| |
In HOTOS'07: Proceedings of the 11th USENIX workshop on Hot topics in operating systems (2007), pp. 1-6.
|
| |
In ISMM '07: Proceedings of the 6th international symposium on Memory management (2007), pp. 2-14.
|
| |
In PLDI '08: Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation (2008), pp. 149-158.
|
| |
In POPL '87: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1987), pp. 307-313.
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 168-179.
|
| |
In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, Vol. 37, No. 5. (May 2002), pp. 13-24.
|
| |
In PLDI '01: Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation, Vol. 36, No. 5. (May 2001), pp. 59-69.
|
| |
Runtime Verification (2007), pp. 202-213.
|
| |
Verification, Model Checking, and Abstract Interpretation (2008), pp. 203-217.
|
| |
|
| |
In HOTOS'05: Proceedings of the 10th conference on Hot Topics in Operating Systems (2005), pp. 14-14.
|
| |
In DSL'97: Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997 (1997), pp. 9-9.
|
| |
Commun. ACM, Vol. 17, No. 7. (July 1974), pp. 412-421.
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 28, No. 1. (2003), pp. 51-60.
|
| |
In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation (2002), pp. 69-82.
|
| |
ECOOP'97 — Object-Oriented Programming (1997), pp. 220-242.
|
| |
In Symposium on Operating Systems Principles (1997), pp. 38-51.
|
| |
In SOSP '03: Proceedings of the nineteenth ACM symposium on Operating systems principles (2003), pp. 164-177.
|
| |
SIGOPS Oper. Syst. Rev., Vol. 29, No. 2. (1995), pp. 13-20.
|
| |
Selected Areas in Communications, IEEE Journal on In Selected Areas in Communications, IEEE Journal on, Vol. 14, No. 7. (1996), pp. 1280-1297.
|
| |
SIGOPS Oper. Syst. Rev., Vol. 29, No. 5. (1995), pp. 12-25.
|
| |
Hot Topics in Operating Systems, 2001. Proceedings of the Eighth Workshop on In Hot Topics in Operating Systems, 2001. Proceedings of the Eighth Workshop on (2001), pp. 133-138.
|
| |
In Proceedings of the Fourth Symposium on Operating Systems Design and Implementation, San Diego, CA (October 2000)
|
| |
In Proceedings of the General Track: 2002 USENIX Annual Technical Conference (2001), pp. 1-14.
|
| |
In SOSP '93: Proceedings of the fourteenth ACM symposium on Operating systems principles, Vol. 27, No. 5. (December 1993), pp. 203-216.
|
| |
|
| |
In ASPLOS-X: Proceedings of the 10th international conference on Architectural support for programming languages and operating systems, Vol. 37, No. 10. (October 2002), pp. 304-316.
|
Search
