Commit 7ff125dd authored by Michalis Kokologiannakis's avatar Michalis Kokologiannakis
Browse files

bib: Formatting and macro usage


Signed-off-by: Michalis Kokologiannakis's avatarMichalis Kokologiannakis <mixaskok@gmail.com>
parent 444b9183
......@@ -68,23 +68,23 @@
\newcommand{\bibVSTTE}[1]{VSTTE #1}
\newcommand{\bibWPTE}[1]{WPTE #1}
\newcommand{\bibACMCS}{ACM Comput. Surv.}
\newcommand{\bibACMTCS}{ACM Trans. Comput. Syst.}
\newcommand{\bibACMCS}{{ACM} Comput. Surv.}
\newcommand{\bibACMTCS}{{ACM} Trans. Comput. Syst.}
\newcommand{\bibAI}{Act. Inform.}
\newcommand{\bibASE}{Autom. Softw. Eng.}
\newcommand{\bibCAN}{{SIGARCH} Comput. Archit. News}
\newcommand{\bibCACM}{Commun. ACM}
\newcommand{\bibCACM}{Commun. {ACM}}
\newcommand{\bibCOMPUTER}{{IEEE} Comput.}
\newcommand{\bibCORR}{CoRR}
\newcommand{\bibCORR}{{CoRR}}
\newcommand{\bibDC}{Dist. Comput.}
\newcommand{\bibDI}{Digital Investigation}
\newcommand{\bibENTCS}{Elect. Not. Theor. Comput. Sci.}
\newcommand{\bibFAC}{Formal Asp. Comput.}
\newcommand{\bibFMSD}{Form. Meth. Syst. Des.}
\newcommand{\bibHAL}{HAL}
\newcommand{\bibJACM}{J. ACM}
\newcommand{\bibJCOMP}{SIAM J. Comput.}
\newcommand{\bibJFP}{J. FP}
\newcommand{\bibHAL}{{HAL}}
\newcommand{\bibJACM}{J. {ACM}}
\newcommand{\bibJCOMP}{{SIAM} J. Comput.}
\newcommand{\bibJFP}{J. {FP}}
\newcommand{\bibJPDC}{J. Parallel Distrib. Comput.}
\newcommand{\bibOSR}{Oper. Syst. Rev.}
\newcommand{\bibPACMPL}{Proc. ACM Program. Lang.}
......@@ -96,7 +96,7 @@
\newcommand{\bibTCOMPUTS}{{ACM} Trans. Comput. Syst.}
\newcommand{\bibTCS}{Theor. Comput. Sci.}
\newcommand{\bibTINYTOCS}{Tin. Trans. Comput. Sci.}
\newcommand{\bibTOPLAS}{ACM Trans. Program. Lang. Syst.}
\newcommand{\bibTOPLAS}{{ACM} Trans. Program. Lang. Syst.}
\newcommand{\bibTPDS}{{IEEE} Trans. Parallel Distrib. Syst.}
\newcommand{\bibTS}{{ACM} Trans. Storage}
"}
......@@ -1097,16 +1097,17 @@
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},
@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 = {\bibFMSD},
year = {1996},
volume = {9},
number = {1/2},
pages = {77--104},
url = {https://doi.org/10.1007/BF00625969},
doi = {10.1007/BF00625969}
}
@InProceedings{ clarke1998:alias-protection,
......@@ -1159,16 +1160,16 @@
pages = {93-110}
}
@Article{ conway1963:coroutine,
author = {Melvin E. Conway},
title = {Design of a separable transition-diagram compiler},
journal = {Commun. {ACM}},
volume = {6},
number = {7},
pages = {396--408},
year = {1963},
url = {https://doi.org/10.1145/366663.366704},
doi = {10.1145/366663.366704},
@Article{ conway1963:coroutine,
title = {Design of a separable transition-diagram compiler},
author = {Melvin E. Conway},
journal = {\bibCACM},
year = {1963},
volume = {6},
number = {7},
pages = {396--408},
url = {https://doi.org/10.1145/366663.366704},
doi = {10.1145/366663.366704}
}
@Misc{ corbet2008:ticket-locks,
......@@ -1405,18 +1406,18 @@
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},
@InProceedings{ emerson2005:symmetry,
title = {Dynamic Symmetry Reduction},
author = {E. Allen Emerson and Thomas Wahl},
booktitle = {\bibTACAS{2005}},
year = {2005},
editor = {Nicolas Halbwachs and Lenore D. Zuck},
series = {LNCS},
volume = {3440},
pages = {382--396},
publisher = {Springer},
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,
......@@ -2911,12 +2912,12 @@
}
@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},
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
}
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment