bib: Minor fixes

Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>

biblio.m4

@@ -311,7 +311,7 @@
 @InProceedings{	  alglave2013:weakness,
   title		= {Weakness is a virtue (position paper)},
   author	= {Alglave, Jade},
-  booktitle	= {EC{$^2$}},
+  booktitle	= {CONF_EC2 2013},
   year		= {2013},
   url		= {http://www0.cs.ucl.ac.uk/staff/j.alglave/papers/ec213.pdf}
 }
@@ -2201,8 +2201,6 @@
 		  Ori Lahav and Viktor Vafeiadis},
   booktitle	= {CONF_ECOOP 2017},
   year		= {2017},
-  optbooktitle	= {31st European Conference on Object-Oriented Programming
-		  (ECOOP 2017)},
   pages		= {17:1--17:29},
   optseries	= {Leibniz International Proceedings in Informatics
 		  (LIPIcs)},
@@ -2510,8 +2508,7 @@
   title		= {Pervasive detection of process races in deployed systems},
   author	= {Laadan, Oren and Viennot, Nicolas and Tsai, Chia-Che and
 		  Blinn, Chris and Yang, Junfeng and Nieh, Jason},
-  booktitle	= {Proceedings of the Twenty-Third {ACM} Symposium on
-		  Operating Systems Principles},
+  booktitle	= {CONF_SOSP 2011},
   location	= {Cascais, Portugal},
   isbn		= {978-1-4503-0977-6},
   url		= {https://doi.org/10.1145/2043556.2043589},
@@ -3614,7 +3611,6 @@
 @Book{		  pitts1998:local-states,
   title		= {Operational reasoning for functions with local state},
   author	= {Andrew Pitts and Ian Stark},
-  booktitle	= {Higher order operational techniques in semantics},
   year		= {1998},
   optpublisher	= {Cambridge University Press}
 }
@@ -4167,7 +4163,7 @@
 @InProceedings{	  svendsen2013:icap,
   title		= {Impredicative Concurrent Abstract Predicates},
   author	= {Svendsen, Kasper and Birkedal, Lars},
-  booktitle	= {Programming Languages and Systems},
+  booktitle	= {CONF_ESOP 2014},
   year		= {2014},
   editor	= {Shao, Zhong},
   publisher	= {Springer Berlin Heidelberg},

conferences.m4

@@ -15,7 +15,9 @@ define(CONF_CC, ifdef(`FULL', International Conference on Compiler Construction,
 define(CONF_CGO, ifdef(`FULL', International Symposium on Code Generation and Optimization, CGO))dnl
 define(CONF_CONCUR, ifdef(`FULL', International Conference on Concurrency Theory, CONCUR))dnl
 define(CONF_DATE, ifdef(`FULL', ``Design, Automation, and Test in Europe'', DATE))dnl
+define(CONF_DFRWS, ifdef(`FULL', Digital Forensic Research Workshop, DFRWS))dnl
 define(CONF_DISC, ifdef(`FULL', International Symposium on Distributed Computing, DISC))dnl
+define(CONF_EC2, ifdef(`FULL', International Workshop on Exploiting Concurrency Efficiently and Correctly, EC{$^2$}))dnl
 define(CONF_ECOOP, ifdef(`FULL', European Conference on Object-Oriented Programming, ECOOP))dnl
 define(CONF_ESOP, ifdef(`FULL', European Symposium on Programming, ESOP))dnl
 define(CONF_FAST, ifdef(`FULL', USENIX Conference on File and Storage Technologies, FAST))dnl