--- /dev/null
+@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"}
projects / cdsspec-compiler.git / blobdiff