correctness-model/writeup/confstrs-abbrv.bib

   1 @string{mspc12="MSPC"}
   2 @string{ppdp11="PPDP"}
   3 @string{spin04="SPIN"}
   4 @string{spin07="SPIN"}
   5 @string{spin08="SPIN"}
   6 @string{spin09="SPIN"}
   7 @string{ijpp="IJPP"}
   8 @string{jlap="JLAP"}
   9 @string{fcad10="FCAD"}
  10 @strign{sc="SC"}
  11 @string{iwops99="POS"}
  12 @string{podc96="PODC"}
  13 @string{popl73="POPL"}
  14 @string{popl93="POPL"}
  15 @string{popl96="POPL"}
  16 @string{popl97="POPL"}
  17 @string{popl99="POPL"}
  18 @string{popl05="POPL"}
  19 @string{popl07="POPL"}
  20 @string{popl08="POPL"}
  21 @string{popl09="POPL"}
  22 @string{popl11="POPL"}
  23 @string{popl13="POPL"}
  24
  25 @string{dac07="DAC"}
  26 @string{sosp05="SOSP"}
  27 @string{sosp03="SOSP"}
  28 @string{oopsla02="OOPSLA"}
  29 @string{oopsla03="OOPSLA"}
  30 @string{oopsla04="OOPSLA"}
  31 @string{oopsla05="OOPSLA"}
  32 @string{oopsla06="OOPSLA"}
  33 @string{oopsla07="OOPSLA"}
  34 @string{oopsla08="OOPSLA"}
  35 @string{oopsla09="OOPSLA"}
  36 @string{oopsla10="OOPSLA"}
  37 @string{oopsla13="OOPSLA"}
  38
  39 @string{hotpar09="HotPar"}
  40 @string{hotpar10="HotPar"}
  41
  42 @string{atc="ATC"}
  43
  44 @string{ismm08="ISMM"}
  45 @string{ismm09="ISMM"}
  46 @string{ismm10="ISMM"}
  47
  48 @string{esop09="ESOP"}
  49
  50 @string{scool05="SCOOL"}
  51
  52 @string{paste08="PASTE"}
  53
  54 @string{ecoop10="ECOOP"}
  55
  56 @string{osdi04="OSDI"}
  57 @string{osdi08="OSDI"}
  58
  59 @string{toplas02="TOPLAS"}
  60 @string{toplas09="TOPLAS"}
  61
  62 @string{pact01="PACT"}
  63 @string{pact08="PACT"}
  64
  65 @string{cc08="CC"}
  66 @string{cc10="CC"}
  67 @string{cc11="CC"}
  68
  69 @string{asplos91="ASPLOS"}
  70 @string{asplos02="ASPLOS"}
  71 @string{asplos09="ASPLOS"}
  72
  73 @string{sc01="SC"}
  74 @string{sc06="SC"}
  75
  76 @string{spaa98="SPAA"}
  77 @string{toplas="TOPLAS"}
  78 @string{tocs="TOCS"}
  79 @string{tpds="TPDS"}
  80 @string{vee05="VEE"}
  81 @string{vee08="VEE"}
  82 @string{jvm01="JVM"}
  83
  84 @string{ics95="ICS"}
  85 @string{ics99="ICS"}
  86
  87 @string{icse05="ICSE"}
  88 @string{icse10="ICSE"}
  89 @string{icse00="ICSE"}
  90
  91 @string{sc97="SC"}
  92 @string{sc01="SC"}
  93 @string{lcpc08="LCPC"}
  94 @string{lcpc01="LCPC"}
  95 @string{pldi="PLDI"}
  96 @string{pldi93="PLDI"}
  97 @string{pldi94="PLDI"}
  98 @string{pldi95="PLDI"}
  99 @string{pldi96="PLDI"}
 100 @string{pldi97="PLDI"}
 101 @string{pldi98="PLDI"}
 102 @string{pldi99="PLDI"}
 103 @string{pldi00="PLDI"}
 104 @string{pldi01="PLDI"}
 105 @string{pldi02="PLDI"}
 106 @string{pldi03="PLDI"}
 107 @string{pldi04="PLDI"}
 108 @string{pldi05="PLDI"}
 109 @string{pldi06="PLDI"}
 110 @string{pldi07="PLDI"}
 111 @string{pldi08="PLDI"}
 112 @string{pldi09="PLDI"}
 113 @string{pldi10="PLDI"}
 114 @string{pldi11="PLDI"}
 115 @string{pldi12="PLDI"}
 116 @string{pldi13="PLDI"}
 117
 118 @string{issta11="ISSTA"}
 119 @string{isca90="ISCA"}
 120 @string{isca09="ISCA"}
 121 @string{isca10="ISCA"}
 122 @string{ppopp97="PPoPP"}
 123 @string{ppopp01="PPoPP"}
 124 @string{ppopp07="PPoPP"}
 125 @string{ppopp09="PPoPP"}
 126 @string{ppopp10="PPoPP"}
 127 @string{ppopp11="PPoPP"}
 128 @string{ppopp12="PPoPP"}
 129 @string{ppopp13="PPoPP"}
 130
 131 @string{cgo10="CGO"}
 132 @string{cgo11="CGO"}
 133
 134 @string{ispass09="ISPASS"}
 135
 136 @string{iiswc08="IISWC"}
 137 @string{iiswc09="IISWC"}
 138
 139 @string{iccl88="ICCL"}
 140
 141 @string{micro05="MICRO"}
 142 @string{micro10="MICRO"}
 143
 144 @string{hpdc07="HPDC"}
 145
 146 @string{cav08="CAV"}
 147 @string{cav07="CAV"}
 148 @string{cav06="CAV"}
 149 @string{cav04="CAV"}
 150
 151 @string{procomet90="PROCOMET"}
 152 @string{hpca07="HPCA"}
 153 @string{dexa04="DEXA"}
 154
 155 @string{lics="LICS"}
 156 @string{lncs="LNCS"}
 157 @string{lcpc="LCPC"}
 158 @string{vmcai="VMCAI"}
 159 @string{vmcai09="VMCAI"}
 160 @string{tacas11="TACAS"}
 161
 162 @string{ieeecmpscieng="IEEE Comput. Sci. Eng."}
 163 @string{higherordersymbcomp="HOSC"}
 164 @string{ibmjrd="IBM J. of Res. Dev."}
 165 @string{ieeetc="TC"}
 166 @string{cacm="CACM"}
 167 @string{jsac="J-SAC"}
 168
 169 @string{conpar90vappIV="CONPAR 90 - VAPP IV"}
 170
 171 @string{asplos91="ASPLOS"}
 172
 173 @string{ipdps09="IPDPS"}