changes

[cdsspec-compiler.git] / correctness-model / writeup / confstrs-abbrv.bib

diff --git a/correctness-model/writeup/confstrs-abbrv.bib b/correctness-model/writeup/confstrs-abbrv.bib
new file mode 100644 (file)
index 0000000..ef42052
--- /dev/null
+++ b/correctness-model/writeup/confstrs-abbrv.bib
@@ -0,0 +1,173 @@
+@string{mspc12="MSPC"}
+@string{ppdp11="PPDP"}
+@string{spin04="SPIN"}
+@string{spin07="SPIN"}
+@string{spin08="SPIN"}
+@string{spin09="SPIN"}
+@string{ijpp="IJPP"}
+@string{jlap="JLAP"}
+@string{fcad10="FCAD"}
+@strign{sc="SC"}
+@string{iwops99="POS"}
+@string{podc96="PODC"}
+@string{popl73="POPL"}
+@string{popl93="POPL"}
+@string{popl96="POPL"}
+@string{popl97="POPL"}
+@string{popl99="POPL"}
+@string{popl05="POPL"}
+@string{popl07="POPL"}
+@string{popl08="POPL"}
+@string{popl09="POPL"}
+@string{popl11="POPL"}
+@string{popl13="POPL"}
+
+@string{dac07="DAC"}
+@string{sosp05="SOSP"}
+@string{sosp03="SOSP"}
+@string{oopsla02="OOPSLA"}
+@string{oopsla03="OOPSLA"}
+@string{oopsla04="OOPSLA"}
+@string{oopsla05="OOPSLA"}
+@string{oopsla06="OOPSLA"}
+@string{oopsla07="OOPSLA"}
+@string{oopsla08="OOPSLA"}
+@string{oopsla09="OOPSLA"}
+@string{oopsla10="OOPSLA"}
+@string{oopsla13="OOPSLA"}
+
+@string{hotpar09="HotPar"}
+@string{hotpar10="HotPar"}
+
+@string{atc="ATC"}
+
+@string{ismm08="ISMM"}
+@string{ismm09="ISMM"}
+@string{ismm10="ISMM"}
+
+@string{esop09="ESOP"}
+
+@string{scool05="SCOOL"}
+
+@string{paste08="PASTE"}
+
+@string{ecoop10="ECOOP"}
+
+@string{osdi04="OSDI"}
+@string{osdi08="OSDI"}
+
+@string{toplas02="TOPLAS"}
+@string{toplas09="TOPLAS"}
+
+@string{pact01="PACT"}
+@string{pact08="PACT"}
+
+@string{cc08="CC"}
+@string{cc10="CC"}
+@string{cc11="CC"}
+
+@string{asplos91="ASPLOS"}
+@string{asplos02="ASPLOS"}
+@string{asplos09="ASPLOS"}
+
+@string{sc01="SC"}
+@string{sc06="SC"}
+
+@string{spaa98="SPAA"}
+@string{toplas="TOPLAS"}
+@string{tocs="TOCS"}
+@string{tpds="TPDS"}
+@string{vee05="VEE"}
+@string{vee08="VEE"}
+@string{jvm01="JVM"}
+
+@string{ics95="ICS"}
+@string{ics99="ICS"}
+
+@string{icse05="ICSE"}
+@string{icse10="ICSE"}
+@string{icse00="ICSE"}
+
+@string{sc97="SC"}
+@string{sc01="SC"}
+@string{lcpc08="LCPC"}
+@string{lcpc01="LCPC"}
+@string{pldi="PLDI"}
+@string{pldi93="PLDI"}
+@string{pldi94="PLDI"}
+@string{pldi95="PLDI"}
+@string{pldi96="PLDI"}
+@string{pldi97="PLDI"}
+@string{pldi98="PLDI"}
+@string{pldi99="PLDI"}
+@string{pldi00="PLDI"}
+@string{pldi01="PLDI"}
+@string{pldi02="PLDI"}
+@string{pldi03="PLDI"}
+@string{pldi04="PLDI"}
+@string{pldi05="PLDI"}
+@string{pldi06="PLDI"}
+@string{pldi07="PLDI"}
+@string{pldi08="PLDI"}
+@string{pldi09="PLDI"}
+@string{pldi10="PLDI"}
+@string{pldi11="PLDI"}
+@string{pldi12="PLDI"}
+@string{pldi13="PLDI"}
+
+@string{issta11="ISSTA"}
+@string{isca90="ISCA"}
+@string{isca09="ISCA"}
+@string{isca10="ISCA"}
+@string{ppopp97="PPoPP"}
+@string{ppopp01="PPoPP"}
+@string{ppopp07="PPoPP"}
+@string{ppopp09="PPoPP"}
+@string{ppopp10="PPoPP"}
+@string{ppopp11="PPoPP"}
+@string{ppopp12="PPoPP"}
+@string{ppopp13="PPoPP"}
+
+@string{cgo10="CGO"}
+@string{cgo11="CGO"}
+
+@string{ispass09="ISPASS"}
+
+@string{iiswc08="IISWC"}
+@string{iiswc09="IISWC"}
+
+@string{iccl88="ICCL"}
+
+@string{micro05="MICRO"}
+@string{micro10="MICRO"}
+
+@string{hpdc07="HPDC"}
+
+@string{cav08="CAV"}
+@string{cav07="CAV"}
+@string{cav06="CAV"}
+@string{cav04="CAV"}
+
+@string{procomet90="PROCOMET"}
+@string{hpca07="HPCA"}
+@string{dexa04="DEXA"}
+
+@string{lics="LICS"}
+@string{lncs="LNCS"}
+@string{lcpc="LCPC"}
+@string{vmcai="VMCAI"}
+@string{vmcai09="VMCAI"}
+@string{tacas11="TACAS"}
+
+@string{ieeecmpscieng="IEEE Comput. Sci. Eng."}
+@string{higherordersymbcomp="HOSC"}
+@string{ibmjrd="IBM J. of Res. Dev."}
+@string{ieeetc="TC"}
+@string{cacm="CACM"}
+@string{jsac="J-SAC"}
+
+@string{conpar90vappIV="CONPAR 90 - VAPP IV"}
+
+@string{asplos91="ASPLOS"}
+
+@string{ipdps09="IPDPS"}