Commit 11822163 authored by Michalis Kokologiannakis's avatar Michalis Kokologiannakis
Browse files

bib: CDS + TruSt citations


Signed-off-by: Michalis Kokologiannakis's avatarMichalis Kokologiannakis <mixaskok@gmail.com>
parent 3c015f95
......@@ -32,6 +32,7 @@
\newcommand{\bibICDCS}[1]{ICDCS #1}
\newcommand{\bibICFP}[1]{ICFP #1}
\newcommand{\bibIFIP}[1]{IFIP #1}
\newcommand{\bibIFM}[1]{IFM #1}
\newcommand{\bibIP}[1]{IP #1}
\newcommand{\bibISCA}[1]{ISCA #1}
\newcommand{\bibISP}[1]{ISP #1}
......@@ -92,6 +93,7 @@
\newcommand{\bibJPDC}{J. Parallel Distrib. Comput.}
\newcommand{\bibOSR}{Oper. Syst. Rev.}
\newcommand{\bibPACMPL}{Proc. ACM Program. Lang.}
\newcommand{\bibSCP}{Sci. Comput. Program.}
\newcommand{\bibSIGACTNEWS}{{SIGACT} News}
\newcommand{\bibSN}{{SIGPLAN} Not.}
\newcommand{\bibSOSR}{{SIGOPS} Oper. Syst. Rev.}
......@@ -581,6 +583,20 @@
year = {2008}
}
@InProceedings{ ball2004:slam,
title = {{SLAM} and {Static Driver Verifier}: Technology Transfer
of Formal Methods inside {Microsoft}},
author = {Ball, Thomas and Cook, Byron and Levin, Vladimir and
Rajamani, Sriram K.},
booktitle = {\bibIFM{2004}},
year = {2004},
editor = {Boiten, Eerke A. and Derrick, John and Smith, Graeme},
publisher = {Springer Berlin Heidelberg},
address = {Berlin, Heidelberg},
pages = {1--20},
ids = {slam}
}
@InProceedings{ barnat2014:underapproximated-tso,
title = {{LTL} model checking of parallel programs with
under-approximated {TSO} memory model},
......@@ -790,6 +806,14 @@
optpublisher = {Morgan Kaufmann Publishers Inc.}
}
@Book{ book:tbb,
title = {Intel Threading Building Blocks},
author = {James Reinders},
year = {2007},
optpublisher = {O'Reilly Media, Inc.},
ids = {tbb}
}
@InCollection{ borger2008:flash-alloy,
title = {Formal modeling and analysis of a flash filesystem in
{Alloy}},
......@@ -1864,6 +1888,21 @@
year = 1995
}
@InProceedings{ harris2002:rdcss,
title = {A Practical Multi-word Compare-and-Swap Operation},
author = {Timothy L. Harris and Keir Fraser and Ian A. Pratt},
booktitle = {\bibDISC{2002}},
year = {2002},
editor = {Dahlia Malkhi},
series = {LNCS},
volume = {2508},
pages = {265--279},
publisher = {Springer},
url = {https://doi.org/10.1007/3-540-36108-1\_18},
doi = {10.1007/3-540-36108-1\_18},
ids = {rdcss}
}
@InProceedings{ heller2005:lazy-list,
title = {A Lazy Concurrent List-Based Set Algorithm},
author = {Heller, Steve and Herlihy, Maurice and Luchangco, Victor
......@@ -1906,6 +1945,23 @@
optpublisher = {ACM}
}
@InProceedings{ henzinger2002:blast,
title = {Lazy Abstraction},
author = {Henzinger, Thomas A. and Jhala, Ranjit and Majumdar, Rupak
and Sutre, Grégoire},
booktitle = {\bibPOPL{2002}},
year = {2002},
isbn = {1581134509},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/503272.503279},
doi = {10.1145/503272.503279},
pages = {58–70},
numpages = {13},
location = {Portland, Oregon},
ids = {blast}
}
@InProceedings{ henzinger2013:aspect-linear,
title = {Aspect-Oriented Linearizability Proofs},
author = {Thomas A. Henzinger and Ali Sezgin and Viktor Vafeiadis},
......@@ -2461,6 +2517,27 @@
ids = {saver}
}
@Article{ kokologiannakis2022:trust,
title = {Truly stateless, optimal dynamic partial order reduction},
author = {Kokologiannakis, Michalis and Marmanis, Iason and
Gladstein, Vladimir and Vafeiadis, Viktor},
journal = {\bibPACMPL},
year = {2022},
month = jan,
issue_date = {January 2022},
publisher = {ACM},
address = {New York, NY, USA},
volume = {6},
number = {POPL},
url = {https://doi.org/10.1145/3498711},
doi = {10.1145/3498711},
articleno = {49},
numpages = {26},
keywords = {Model Checking; Dynamic Partial Order Reduction; Weak
Memory Models},
ids = {trust}
}
@Article{ kokologiannakis2022:trust-supp-material,
title = {Truly Stateless, Optimal Dynamic Partial Order Reduction
(supplementary material)},
......@@ -2684,6 +2761,22 @@
publisher = {ACM}
}
@Article{ lea2005:util-concurrent,
title = {The {java.util.concurrent} synchronizer framework},
author = {Doug Lea},
journal = {\bibSCP},
year = {2005},
volume = {58},
number = {3},
pages = {293-309},
note = {Special Issue on Concurrency and synchonization in Java
programs},
issn = {0167-6423},
doi = {10.1016/j.scico.2005.03.007},
url = {https://www.sciencedirect.com/science/article/pii/S0167642305000663},
ids = {java-util-concurrent}
}
@InProceedings{ lee2007:ml-metatheory,
title = {Towards a mechanized metatheory of {Standard ML}},
author = {Daniel K. Lee and Karl Crary and Robert Harper},
......@@ -3023,7 +3116,8 @@
year = {1998},
volume = {51},
number = {1},
pages = {1--26}
pages = {1--26},
ids = {ms-queue, msqueue}
}
@InProceedings{ mitchell1986:data-abstraction,
......@@ -3266,7 +3360,8 @@
numpages = {16},
keywords = {weak memory models, model checking},
location = {Virtual, USA},
optseries = {ASPLOS 2021}
optseries = {ASPLOS 2021},
ids = {vsync}
}
@InProceedings{ odersky2005:scalable,
......
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