@string{mspc12="Proceedings of the 2012 ACM SIGPLAN Workshop on Memory Systems Performance and Correctness"} @string{ppdp11="Proceedings of the 13th International ACM SIGPLAN Symposium on Principles and Practices of Declarative Programming"} @string{padd88="Proceedings of the 1988 ACM SIGPLAN and SIGOPS Workshop on Parallel and Distributed Debugging"} @string{spin04="Proceedings of the 11th International {SPIN} Workshop on Model Checking Software"} @string{spin07="Proceedings of the 14th International {SPIN} Workshop on Model Checking Software"} @string{spin08="Proceedings of the 15th International {SPIN} Workshop on Model Checking Software"} @string{spin09="Proceedings of the 16th International {SPIN} Workshop on Model Checking Software"} @string{fcad10="Proceedings of the Conference on Formal Methods in Computer-Aided Design"} @string{jlap="Journal of Logic and Algebraic Programming"} @string{iwops99="Proceedings of the 8th International Workshop on Persistent Object Systems"} @string{ijpp="International Journal on Parallel Programming"} @string{sc06="Supercomputing"} @string{podc96="Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing"} @string{popl73="Proceedings of the Symposium on Principles of Programming Languages"} @string{popl93="Proceedings of the Symposium on Principles of Programming Languages"} @string{popl96="Proceedings of the Symposium on Principles of Programming Languages"} @string{popl97="Proceedings of the Symposium on Principles of Programming Languages"} @string{popl99="Proceedings of the Symposium on Principles of Programming Languages"} @string{popl05="Proceedings of the Symposium on Principles of Programming Languages"} @string{popl07="Proceedings of the Symposium on Principles of Programming Languages"} @string{popl08="Proceedings of the Symposium on Principles of Programming Languages"} @string{popl11="Proceedings of the Symposium on Principles of Programming Languages"} @string{popl13="Proceedings of the Symposium on Principles of Programming Languages"} @string{dac07="Proceedings of the 44th Annual Design Automation Conference"} @string{issta11="Proceedings of the 2011 International Symposium on Software Testing and Analysis"} @string{sosp03="Proceedings of the Nineteenth ACM Symposium on Operating Systems Principles"} @string{sosp05="Proceedings of the Twentieth ACM Symposium on Operating Systems Principles"} @string{oopsla02="Proceeding of the 17th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications"} @string{oopsla03="Proceeding of the 18th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications"} @string{oopsla04="Proceeding of the 19th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications"} @string{oopsla05="Proceeding of the 20th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications"} @string{oopsla06="Proceeding of the 21st ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications"} @string{oopsla07="Proceeding of the 22nd ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications"} @string{oopsla08="Proceeding of the 23rd ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications"} @string{oopsla09="Proceeding of the 24th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications"} @string{oopsla10="Proceeding of the 25th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications"} @string{oopsla13="Proceeding of the 28th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications"} @string{scool05="Synchronization and Concurrency in Object-Oriented Languages"} @string{hotpar09="First USENIX Workshop on Hot Topics in Parallelism"} @string{hotpar10="Second USENIX Workshop on Hot Topics in Parallelism"} @string{atc="Proceedings of the USENIX Annual Technical Conference"} @string{ismm08="Proceedings of the 2008 International Symposium on Memory Management"} @string{ismm09="Proceedings of the 2009 International Symposium on Memory Management"} @string{ismm10="Proceedings of the 2010 International Symposium on Memory Management"} @string{esop09="Proceedings of the 2009 European Symposium on Programming"} @string{paste08="Proceedings of Program Analysis for Software Tools and Engineering"} @string{ecoop10="Proceedings of the 24th European Conference on Object-Oriented Programming"} @string{osdi04="Proceedings of the 6th Symposium on Operating Systems Design and Implementation"} @string{osdi08="Proceedings of the 8th Symposium on Operating Systems Design and Implementation"} @string{toplas02="ACM Transactions on Programming Languages and Systems"} @string{toplas09="ACM Transactions on Programming Languages and Systems"} @string{sc01="Proceedings of the ACM/IEEE Conference on Supercomputing"} @string{sc06="Proceedings of the ACM/IEEE Conference on Supercomputing"} @string{ics95="Proceedings of the 9th International Conference on Supercomputing"} @string{icse00="Proceedings of the 22nd International Conference on Software Engineering"} @string{icse05="Proceedings of the 27th International Conference on Software Engineering"} @string{icse10="Proceedings of the 32nd International Conference on Software Engineering"} @string{pact01="Proceedings of the 10th International Conference on Parallel Architectures and Compilation Techniques"} @string{pact08="Proceedings of the 17th International Conference on Parallel Architectures and Compilation Techniques"} @string{cc08="Proceedings of the 17th International Conference on Compiler Construction"} @string{cc10="Proceedings of the 19th International Conference on Compiler Construction"} @string{cc11="Proceedings of the 20th International Conference on Compiler Construction"} @string{asplos91="Proceedings of the Fourth International Conference on Architectural Support for Programming Languages and Operating Systems"} @string{asplos02="10th International Conference on Architectural Support for Programming Languages and Operating Systems"} @string{asplos09="14th International Conference on Architectural Support for Programming Languages and Operating Systems"} @string{vee05="Proceedings of the First ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments"} @string{vee08="Proceedings of the Fourth ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments"} @string{lcpc08="Proceedings of the 21st Annual Workshop on Languages and Compilers for Parallel Computing"} @string{lcpc10="Proceedings of the Fourteenth Annual Workshop on Languages and Compilers for Parallel Computing"} @string{pldi="Proceedings of Programming Language Design and Implementation"} @string{pldi93="Proceedings of the 1993 ACM SIGPLAN Conference on Programming Language Design and Implementation"} @string{pldi94="Proceedings of the 1994 ACM SIGPLAN Conference on Programming Language Design and Implementation"} @string{pldi95="Proceedings of the 1995 ACM SIGPLAN Conference on Programming Language Design and Implementation"} @string{pldi96="Proceedings of the 1996 ACM SIGPLAN Conference on Programming Language Design and Implementation"} @string{pldi97="Proceedings of the 1997 ACM SIGPLAN Conference on Programming Language Design and Implementation"} @string{pldi98="Proceedings of the 1998 ACM SIGPLAN Conference on Programming Language Design and Implementation"} @string{pldi99="Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation"} @string{pldi00="Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation"} @string{pldi01="Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation"} @string{pldi02="Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation"} @string{pldi03="Proceedings of the 2003 ACM SIGPLAN Conference on Programming Language Design and Implementation"} @string{pldi04="Proceedings of the 2004 ACM SIGPLAN Conference on Programming Language Design and Implementation"} @string{pldi05="Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation"} @string{pldi06="Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation"} @string{pldi07="Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation"} @string{pldi08="Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation"} @string{pldi09="Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation"} @string{pldi10="Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation"} @string{pldi11="Proceedings of the 2011 ACM SIGPLAN Conference on Programming Language Design and Implementation"} @string{pldi12="Proceedings of the 2012 ACM SIGPLAN Conference on Programming Language Design and Implementation"} @string{pldi13="Proceedings of the 2013 ACM SIGPLAN Conference on Programming Language Design and Implementation"} @string{isca90="Proceedings of the 17th Annual International Symposium on Computer Architecture"} @string{isca09="Proceedings of the 36th Annual International Symposium on Computer Architecture"} @string{isca10="Proceedings of the 37th Annual International Symposium on Computer Architecture"} @string{ppopp97="Proceedings of the 6th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming"} @string{ppopp07="Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming"} @string{ppopp01="Proceedings of the 8th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming"} @string{ppopp09="Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming"} @string{ppopp10="Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming"} @string{ppopp11="Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming"} @string{ppopp12="Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming"} @string{ppopp13="Proceedings of the 18th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming"} @string{ispass09="IEEE International Symposium on Performance Analysis of Systems and Software"} @string{iiswc08="Proceedings of the IEEE International Symposium on Workload Characterization"} @string{iiswc09="Proceedings of the IEEE International Symposium on Workload Characterization"} @string{iccl88="Proceedings of the 1988 International Conference on Computer Languages"} @string{micro05="38th Annual IEEE/ACM International Symposium on Microarchitecture"} @string{micro10="43rd Annual IEEE/ACM International Symposium on Microarchitecture"} @string{hpdc07="Proceedings of the ACM International Symposium on High Performance Distributed Computing"} @string{cav07="Proceedings of the 19th International Conference on Computer Aided Verification"} @string{cav06="Proceedings of the 18th International Conference on Computer Aided Verification"} @string{cav08="Proceedings of the 20th International Conference on Computer Aided Verification"} @string{cav04="Proceedings of the 16th International Conference on Computer Aided Verification"} @string{tacas11="Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems"} @string{procomet90="Proceedings of the International Conference on Programming Concepts and Methods"} @string{dexa04="Proceedings of the 15th International Conference on Database and Expert Systems Applications"} @string{lics="Symposium on Logic in Computer Science"} @string{lncs="Lecture Notes in Computer Science"} @string{lcpc="Proceedings of Languages and Compilers for Parallel Computing"} @string{vmcai="Proceedings of Verification, Model Checking, and Abstract Interpretation"} @string{vmcai09="Proceedings of the 2009 Conference on Verification, Model Checking, and Abstract Interpretation"} @string{ieeecmpscieng="IEEE Computing in Science and Engineering"} @string{higherordersymbcomp="Higher-Order and Symbolic Computation"} @string{ibmjrd="IBM Journal of Research and Development"} @string{ieeetc="IEEE Transactions on Computers"} @string{cacm="Communications of the ACM"} @string{jsac="IEEE Journal on Selected Areas in Communications"} @string{hpca07="Proceedings of the International Symposium on High Performance Computer Architecture"} @string{conpar90vappIV="Proceedings of the Joint International Conference on Vector and Parallel Processing"} @string{tocs="ACM Transactions on Computing Systems"} @string{toplas="ACM Transactions on Programming Languages and Systems"}, @string{spaa98="Proceedings of the Tenth Annual ACM Symposium on Parallel Algorithms and Architectures"} @string{tpds="IEEE Transactions on Parallel and Distributed Systems"} @string{jvm01="Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology"} @string{ics99="Proceedings of the International Conference on Supercomputing"} @string{sc97="Proceedings of the 1997 ACM/IEEE Conference on Supercomputing"} @string{sc01="Proceedings of the SC2001"} @string{cgo10="Proceedings of the 8th Annual IEEE/ACM International Symposium on Code Generation and Optimization"} @string{cgo11="Proceedings of the 9th Annual IEEE/ACM International Symposium on Code Generation and Optimization"} @string{asplos91="Proceedings of the Fourth International Conference on Architectural Support for Programming Languages and Operating Systems"} @string{ipdps09="Proceedings of the 2009 IEEE International Symposium on Parallel \& Distributed Processing"}