bib: symmetry-reduction & ASPLOS'21

biblio.bib

@@ -1097,6 +1097,18 @@
   ids		= {model-checking}
 }
 
+@Article{         clarke1996:symmetry,
+  title         = {Exploiting symmetry in temporal logic model checking},
+  author        = {Edmund M. Clarke and Somesh Jha and Reinhard Enders and Thomas Filkorn},
+  journal       = {Formal Methods Syst. Des.},
+  volume        = {9},
+  number        = {1/2},
+  pages         = {77--104},
+  year          = {1996},
+  url           = {https://doi.org/10.1007/BF00625969},
+  doi           = {10.1007/BF00625969},
+}
+
 @InProceedings{	  clarke1998:alias-protection,
   title		= {Ownership types for flexible alias protection},
   author	= {David G. Clarke and John M. Potter and James Noble},
@@ -1381,6 +1393,20 @@
   pages		= {711--804}
 }
 
+@InProceedings{   emerson2005:symmetry,
+  author        = {E. Allen Emerson and Thomas Wahl},
+  editor        = {Nicolas Halbwachs and Lenore D. Zuck},
+  title         = {Dynamic Symmetry Reduction},
+  booktitle     = {\bibTACAS{2005}},
+  series        = {LNCS},
+  volume        = {3440},
+  pages         = {382--396},
+  publisher     = {Springer},
+  year          = {2005},
+  url           = {https://doi.org/10.1007/978-3-540-31980-1\_25},
+  doi           = {10.1007/978-3-540-31980-1\_25},
+}
+
 @Article{	  fairbanks2012:ext4-analysis,
   title		= {An analysis of Ext4 for digital forensics},
   author	= {Fairbanks, Kevin D.},
@@ -2872,6 +2898,17 @@
 		  separation logic}
 }
 
+@InProceedings{	  oberhauser2021:vsync,
+  title		= {{VSync}: {P}ush-button verification and optimization
+                   for synchronization primitives on weak memory models},
+  author	= {Jonas Oberhauser and {Rafael Lourenco de Lima} Chehab
+                   and Diogo Behrens and Ming Fu and Antonio Paolillo
+                   and Lilith Oberhauser and Koustubha Bhat and Yuzhong Wen
+                   and Haibo Chen and Jaeho Kim and Viktor Vafeiadis},
+  booktitle	= {\bibASPLOS{2021}},
+  year		= 2021
+}
+
 @InProceedings{	  odersky2005:scalable,
   title		= {Scalable Component Abstractions},
   author	= {Martin Odersky and Matthias Zenger},