| |
In OOPSLA '07: Proceedings of the 22nd annual ACM SIGPLAN conference on Object oriented programming systems and applications (2007), pp. 191-210.
|
| |
In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008), pp. 51-62.
|
| |
Commun. ACM, Vol. 18, No. 8. (August 1975), pp. 453-457.
|
| |
In PPoPP '05: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming (2005), pp. 48-60.
|
| |
In ASPLOS XIII: Proceedings of the 13th international conference on Architectural support for programming languages and operating systems (2008), pp. 329-339.
|
| |
In METRICS: Symposium on Software Metrics (2001), pp. 124-134.
|
| |
In Conference on Software Maintenance and Reengineering (CSMR) (2007), pp. 103-112.
|
| |
In FSE: Foundations of Software Engineering (2007), pp. 545-548.
|
| |
|
| |
In FSE: Foundations of Software Engineering (2005)
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
In ICML: Proceedings of the 23rd international conference on Machine learning (2006), pp. 1105-1112.
|
| |
In PLDI: Programming Language Design and Implementation (1998), pp. 72-84.
|
| |
In MICRO: International Symposium on Microarchitecture (1996), pp. 46-57.
|
| |
In ISSTA: International Symposium on Software Testing and Analysis (2007), pp. 5-15.
|
| |
In PLDI: Programming Language Design and Implementation (2003), pp. 141-154.
|
| |
In FDDO: Workshop on Feedback-Directed and Dynamic Optimization (2001)
|
| |
In PLDI: Programming Language Design and Implementation (2001), pp. 168-179.
|
| |
In PLDI: Programming Language Design and Implementation (2005), pp. 15-26.
|
| |
In ICSE: International Conference on Software Engineering (2005), pp. 342-351.
|
| |
In POPL: Principles of Programming Languages (2003), pp. 97-105.
|
| |
In ASE '08: Automated Software Engineering (2007), pp. 184-193.
|
| |
In ICSE '02: International Conference on Software Engineering (2002), pp. 467-477.
|
| |
In ASE '05: Automated Software Engineering (2005), pp. 273-282.
|
| |
In POPL '07: Principles of Programming Languages (2007), pp. 351-362.
|
| |
|
| |
|
| |
In IBM Research Report RC24661 (2008)
|
| |
In Proc. of POPL (2006), pp. 334-345.
|
| |
In Proc. of PACT (2007), pp. 353-364.
|
| |
In Compiler Construction 2008 (March 2008), pp. 276-290.
|
| |
In Proc. of ICSE (2002), pp. 442-452.
|
| |
IEEE Trans. Comput., Vol. 46, No. 7. (1997), pp. 779-782.
|
| |
SIGPLAN Not., Vol. 43, No. 6. (2008), pp. 136-148.
|
| |
In Proceedings of Thread Verification (2006), pp. 111-116.
|
| |
ACM Transactions on Programming Languages and Systems (a preliminary version of this paper appeared in PODC '96), Vol. 23 (2001), pp. 187-2001.
|
| |
In ACM Transactions on Programming Languages and Systems (1989), pp. 51-115.
|
| |
SIGPLAN Not., Vol. 43, No. 6. (2008), pp. 125-135.
|
| |
In First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing (2006)
|
| |
In Proceedings of the Symposium on Foundations of Software Engineering (November 2006)
|
| |
ACM Transactions on Programming Languages and Systems, Vol. 12, No. 3. (1990), pp. 463-492.
|
| |
In Proceedings of Symposium of the Principles of Programming Languages (POPL) (January 2002), pp. 58-70.
|
| |
In Proceedings of the International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) (2002), pp. 304-316.
|
| |
In Proceedings of the International Symposium on Computer Architecture (ISCA) (2008)
|
| |
|
| |
|
Search
