Commit 4cfe69ac authored by Michalis Kokologiannakis's avatar Michalis Kokologiannakis
Browse files

bib: Add vcdpor-rf + nidhugg-parallel references


Signed-off-by: Michalis Kokologiannakis's avatarMichalis Kokologiannakis <mixaskok@gmail.com>
parent 9f02429d
......@@ -12,6 +12,7 @@
\newcommand{\bibAPLAS}[1]{APLAS #1}
\newcommand{\bibAPSYS}[1]{APSys #1}
\newcommand{\bibASPLOS}[1]{ASPLOS #1}
\newcommand{\bibATVA}[1]{ATVA #1}
\newcommand{\bibCAV}[1]{CAV #1}
\newcommand{\bibCC}[1]{CC #1}
\newcommand{\bibCONCUR}[1]{CONCUR #1}
......@@ -298,6 +299,17 @@
publisher = {IEEE Computer Society Press}
}
@InProceedings{ agarwal2021:vcdpor-rf-temp,
title = {Stateless Model Checking under a Reads-Value-From
Equivalence},
author = {Agarwal, Pratyush and Chatterjee, Krishnendu and Pathak,
Shreya and Pavlogiannis, Andreas and Toman, Viktor},
journal = {\bibCAV{2021}},
year = {2021},
month = jul,
ids = {vcdpor-rf-temp}
}
@Article{ aghayev2017:evolving-ext4,
title = {Evolving {ext4} for shingled disks},
author = {Aghayev, Abutalib and Ts’o, Theodore and Gibson, Garth
......@@ -2495,6 +2507,19 @@
ids = {fastmutex}
}
@InProceedings{ lang2020:parallel-smc,
title = {Parallel Graph-Based Stateless Model Checking},
author = {Lång, Magnus and Sagonas, Konstantinos},
booktitle = {\bibATVA{2020}},
year = {2020},
editor = {Hung, Dang Van and Sokolsky, Oleg},
publisher = {Springer International Publishing},
address = {Cham},
pages = {377--393},
isbn = {978-3-030-59152-6},
ids = {nidhugg-parallel,parallel-nidhugg}
}
@InProceedings{ laviron2010:shape-graphs,
title = {Separating Shape Graphs},
author = {Vincent Laviron and Bor-Yuh Evan Chang and Xavier Rival},
......
Markdown is supported
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