| |
In PODC '03: Proceedings of the twenty-second annual symposium on Principles of distributed computing (2003), pp. 92-101.
|
| |
In Proceedings of an ACM conference on Language design for reliable software (1977), pp. 128-137.
|
| |
In CGO '07: Proceedings of the International Symposium on Code Generation and Optimization (2007), pp. 34-48.
|
| |
SIGPLAN Not. In PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation, Vol. 42, No. 6. (2007), pp. 78-88.
|
| |
In PLDI '06: Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation (2006), pp. 26-37.
|
| |
In MSPC '06: Proceedings of the 2006 workshop on Memory system performance and correctness (2006), pp. 82-91.
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming, Vol. 40, No. 9. (September 2005), pp. 92-104.
|
| |
SIGPLAN Not. In PLDI '06: Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation, Vol. 41, No. 6. (2006), pp. 14-25.
|
| |
In PPoPP '05: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming (2005), pp. 48-60.
|
| |
Computer Architecture, 1993., Proceedings of the 20th Annual International Symposium on In Computer Architecture, 1993., Proceedings of the 20th Annual International Symposium on (1993), pp. 289-300.
|
| |
Computer Architecture Letters, IEEE In Computer Architecture Letters, IEEE, Vol. 5, No. 2. (2006), pp. 17-17.
|
| |
In Symposium on Principles of Distributed Computing (1995), pp. 204-213.
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 49-61.
|
