correctness-model/writeup/confstrs-long.bib

   1 @string{mspc12="Proceedings of the 2012 ACM SIGPLAN Workshop on Memory Systems Performance and Correctness"}
   2 @string{ppdp11="Proceedings of the 13th International ACM SIGPLAN Symposium on Principles and Practices of Declarative Programming"}
   3 @string{padd88="Proceedings of the 1988 ACM SIGPLAN and SIGOPS Workshop on Parallel and Distributed Debugging"}
   4 @string{spin04="Proceedings of the 11th International {SPIN} Workshop on Model Checking Software"}
   5 @string{spin07="Proceedings of the 14th International {SPIN} Workshop on Model Checking Software"}
   6 @string{spin08="Proceedings of the 15th International {SPIN} Workshop on Model Checking Software"}
   7 @string{spin09="Proceedings of the 16th International {SPIN} Workshop on Model Checking Software"}
   8 @string{fcad10="Proceedings of the Conference on Formal Methods in Computer-Aided Design"}
   9 @string{jlap="Journal of Logic and Algebraic Programming"}
  10 @string{iwops99="Proceedings of the 8th International Workshop on Persistent Object Systems"}
  11
  12 @string{ijpp="International Journal on Parallel Programming"}
  13
  14 @string{sc06="Supercomputing"}
  15 @string{podc96="Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing"}
  16 @string{popl73="Proceedings of the Symposium on Principles of Programming Languages"}
  17 @string{popl93="Proceedings of the Symposium on Principles of Programming Languages"}
  18 @string{popl96="Proceedings of the Symposium on Principles of Programming Languages"}
  19 @string{popl97="Proceedings of the Symposium on Principles of Programming Languages"}
  20 @string{popl99="Proceedings of the Symposium on Principles of Programming Languages"}
  21 @string{popl05="Proceedings of the Symposium on Principles of Programming Languages"}
  22 @string{popl07="Proceedings of the Symposium on Principles of Programming Languages"}
  23 @string{popl08="Proceedings of the Symposium on Principles of Programming Languages"}
  24 @string{popl11="Proceedings of the Symposium on Principles of Programming Languages"}
  25 @string{popl13="Proceedings of the Symposium on Principles of Programming Languages"}
  26
  27 @string{dac07="Proceedings of the 44th Annual Design Automation Conference"}
  28
  29 @string{issta11="Proceedings of the 2011 International Symposium on Software Testing and Analysis"}
  30
  31 @string{sosp03="Proceedings of the Nineteenth ACM Symposium on Operating Systems Principles"}
  32 @string{sosp05="Proceedings of the Twentieth ACM Symposium on Operating Systems Principles"}
  33 @string{oopsla02="Proceeding of the 17th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications"}
  34 @string{oopsla03="Proceeding of the 18th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications"}
  35 @string{oopsla04="Proceeding of the 19th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications"}
  36 @string{oopsla05="Proceeding of the 20th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications"}
  37 @string{oopsla06="Proceeding of the 21st ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications"}
  38 @string{oopsla07="Proceeding of the 22nd ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications"}
  39 @string{oopsla08="Proceeding of the 23rd ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications"}
  40 @string{oopsla09="Proceeding of the 24th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications"}
  41 @string{oopsla10="Proceeding of the 25th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications"}
  42 @string{oopsla13="Proceeding of the 28th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications"}
  43
  44 @string{scool05="Synchronization and Concurrency in Object-Oriented Languages"}
  45
  46 @string{hotpar09="First USENIX Workshop on Hot Topics in Parallelism"}
  47 @string{hotpar10="Second USENIX Workshop on Hot Topics in Parallelism"}
  48
  49 @string{atc="Proceedings of the USENIX Annual Technical Conference"}
  50
  51 @string{ismm08="Proceedings of the 2008 International Symposium on Memory Management"}
  52 @string{ismm09="Proceedings of the 2009 International Symposium on Memory Management"}
  53 @string{ismm10="Proceedings of the 2010 International Symposium on Memory Management"}
  54 @string{esop09="Proceedings of the 2009 European Symposium on Programming"}
  55 @string{paste08="Proceedings of Program Analysis for Software Tools and Engineering"}
  56
  57 @string{ecoop10="Proceedings of the 24th European Conference on Object-Oriented Programming"}
  58
  59 @string{osdi04="Proceedings of the 6th Symposium on Operating Systems Design and Implementation"}
  60 @string{osdi08="Proceedings of the 8th Symposium on Operating Systems Design and Implementation"}
  61
  62 @string{toplas02="ACM Transactions on Programming Languages and Systems"}
  63 @string{toplas09="ACM Transactions on Programming Languages and Systems"}
  64
  65 @string{sc01="Proceedings of the ACM/IEEE Conference on Supercomputing"}
  66 @string{sc06="Proceedings of the ACM/IEEE Conference on Supercomputing"}
  67
  68 @string{ics95="Proceedings of the 9th International Conference on Supercomputing"}
  69
  70 @string{icse00="Proceedings of the 22nd International Conference on Software Engineering"}
  71 @string{icse05="Proceedings of the 27th International Conference on Software Engineering"}
  72 @string{icse10="Proceedings of the 32nd International Conference on Software Engineering"}
  73
  74 @string{pact01="Proceedings of the 10th International Conference on Parallel Architectures and Compilation Techniques"}
  75 @string{pact08="Proceedings of the 17th International Conference on Parallel Architectures and Compilation Techniques"}
  76
  77 @string{cc08="Proceedings of the 17th International Conference on Compiler Construction"}
  78 @string{cc10="Proceedings of the 19th International Conference on Compiler Construction"}
  79 @string{cc11="Proceedings of the 20th International Conference on Compiler Construction"}
  80
  81 @string{asplos91="Proceedings of the Fourth International Conference on Architectural Support for Programming Languages and Operating Systems"}
  82 @string{asplos02="10th International Conference on Architectural Support for Programming Languages and Operating Systems"}
  83 @string{asplos09="14th International Conference on Architectural Support for Programming Languages and Operating Systems"}
  84
  85 @string{vee05="Proceedings of the First ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments"}
  86 @string{vee08="Proceedings of the Fourth ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments"}
  87
  88 @string{lcpc08="Proceedings of the 21st Annual Workshop on Languages and Compilers for Parallel Computing"}
  89 @string{lcpc10="Proceedings of the Fourteenth Annual Workshop on Languages and Compilers for Parallel Computing"}
  90
  91 @string{pldi="Proceedings of Programming Language Design and Implementation"}
  92 @string{pldi93="Proceedings of the 1993 ACM SIGPLAN Conference on Programming Language Design and Implementation"}
  93 @string{pldi94="Proceedings of the 1994 ACM SIGPLAN Conference on Programming Language Design and Implementation"}
  94 @string{pldi95="Proceedings of the 1995 ACM SIGPLAN Conference on Programming Language Design and Implementation"}
  95 @string{pldi96="Proceedings of the 1996 ACM SIGPLAN Conference on Programming Language Design and Implementation"}
  96 @string{pldi97="Proceedings of the 1997 ACM SIGPLAN Conference on Programming Language Design and Implementation"}
  97 @string{pldi98="Proceedings of the 1998 ACM SIGPLAN Conference on Programming Language Design and Implementation"}
  98 @string{pldi99="Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation"}
  99 @string{pldi00="Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation"}
 100 @string{pldi01="Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation"}
 101 @string{pldi02="Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation"}
 102 @string{pldi03="Proceedings of the 2003 ACM SIGPLAN Conference on Programming Language Design and Implementation"}
 103 @string{pldi04="Proceedings of the 2004 ACM SIGPLAN Conference on Programming Language Design and Implementation"}
 104 @string{pldi05="Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation"}
 105 @string{pldi06="Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation"}
 106 @string{pldi07="Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation"}
 107 @string{pldi08="Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation"}
 108 @string{pldi09="Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation"}
 109 @string{pldi10="Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation"}
 110 @string{pldi11="Proceedings of the 2011 ACM SIGPLAN Conference on Programming Language Design and Implementation"}
 111 @string{pldi12="Proceedings of the 2012 ACM SIGPLAN Conference on Programming Language Design and Implementation"}
 112 @string{pldi13="Proceedings of the 2013 ACM SIGPLAN Conference on Programming Language Design and Implementation"}
 113
 114 @string{isca90="Proceedings of the 17th Annual International Symposium on Computer Architecture"}
 115 @string{isca09="Proceedings of the 36th Annual International Symposium on Computer Architecture"}
 116 @string{isca10="Proceedings of the 37th Annual International Symposium on Computer Architecture"}
 117
 118 @string{ppopp97="Proceedings of the 6th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming"}
 119 @string{ppopp07="Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming"}
 120 @string{ppopp01="Proceedings of the 8th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming"}
 121 @string{ppopp09="Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming"}
 122 @string{ppopp10="Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming"}
 123 @string{ppopp11="Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming"}
 124 @string{ppopp12="Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming"}
 125 @string{ppopp13="Proceedings of the 18th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming"}
 126
 127 @string{ispass09="IEEE International Symposium on Performance Analysis of Systems and Software"}
 128
 129 @string{iiswc08="Proceedings of the IEEE International Symposium on Workload Characterization"}
 130 @string{iiswc09="Proceedings of the IEEE International Symposium on Workload Characterization"}
 131
 132 @string{iccl88="Proceedings of the 1988 International Conference on Computer Languages"}
 133
 134 @string{micro05="38th Annual IEEE/ACM International Symposium on Microarchitecture"}
 135 @string{micro10="43rd Annual IEEE/ACM International Symposium on Microarchitecture"}
 136
 137 @string{hpdc07="Proceedings of the ACM International Symposium on High Performance Distributed Computing"}
 138
 139 @string{cav07="Proceedings of the 19th International Conference on Computer Aided Verification"}
 140 @string{cav06="Proceedings of the 18th International Conference on Computer Aided Verification"}
 141 @string{cav08="Proceedings of the 20th International Conference on Computer Aided Verification"}
 142 @string{cav04="Proceedings of the 16th International Conference on Computer Aided Verification"}
 143
 144 @string{tacas11="Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems"}
 145
 146 @string{procomet90="Proceedings of the International Conference on Programming Concepts and Methods"}
 147
 148 @string{dexa04="Proceedings of the 15th International Conference on Database and Expert Systems Applications"}
 149
 150 @string{lics="Symposium on Logic in Computer Science"}
 151 @string{lncs="Lecture Notes in Computer Science"}
 152 @string{lcpc="Proceedings of Languages and Compilers for Parallel Computing"}
 153 @string{vmcai="Proceedings of Verification, Model Checking, and Abstract Interpretation"}
 154 @string{vmcai09="Proceedings of the 2009 Conference on Verification, Model Checking, and Abstract Interpretation"}
 155
 156
 157 @string{ieeecmpscieng="IEEE Computing in Science and Engineering"}
 158 @string{higherordersymbcomp="Higher-Order and Symbolic Computation"}
 159 @string{ibmjrd="IBM Journal of Research and Development"}
 160 @string{ieeetc="IEEE Transactions on Computers"}
 161 @string{cacm="Communications of the ACM"}
 162 @string{jsac="IEEE Journal on Selected Areas in Communications"}
 163 @string{hpca07="Proceedings of the International Symposium on High Performance Computer Architecture"}
 164 @string{conpar90vappIV="Proceedings of the Joint International Conference on Vector and Parallel Processing"}
 165 @string{tocs="ACM Transactions on Computing Systems"}
 166 @string{toplas="ACM Transactions on Programming Languages and Systems"},
 167 @string{spaa98="Proceedings of the Tenth Annual ACM Symposium on Parallel Algorithms and Architectures"}
 168 @string{tpds="IEEE Transactions on Parallel and Distributed Systems"}
 169
 170 @string{jvm01="Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology"}
 171 @string{ics99="Proceedings of the International Conference on Supercomputing"}
 172 @string{sc97="Proceedings of the 1997 ACM/IEEE Conference on Supercomputing"}
 173 @string{sc01="Proceedings of the SC2001"}
 174
 175 @string{cgo10="Proceedings of the 8th Annual IEEE/ACM International Symposium on Code Generation and Optimization"}
 176 @string{cgo11="Proceedings of the 9th Annual IEEE/ACM International Symposium on Code Generation and Optimization"}
 177
 178 @string{asplos91="Proceedings of the Fourth International Conference on Architectural Support for Programming Languages and Operating Systems"}
 179
 180 @string{ipdps09="Proceedings of the 2009 IEEE International Symposium on Parallel \& Distributed Processing"}