Commit 4eeec59e authored by Viktor Vafeiadis's avatar Viktor Vafeiadis
Browse files

bib: ACM

parent ecc25e2d
......@@ -1029,7 +1029,7 @@
year = {2019},
month = oct,
issue_date = {October 2019},
publisher = {Association for Computing Machinery},
publisher = {ACM},
address = {New York, NY, USA},
volume = {3},
number = {OOPSLA},
......@@ -1482,7 +1482,7 @@
booktitle = {\bibPOPL{2017}},
year = {2017},
isbn = {9781450346603},
publisher = {Association for Computing Machinery},
publisher = {ACM},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/3009837.3009839},
doi = {10.1145/3009837.3009839},
......@@ -1862,7 +1862,7 @@
year = {2020},
month = nov,
issue_date = {November 2020},
publisher = {Association for Computing Machinery},
publisher = {ACM},
address = {New York, NY, USA},
volume = {4},
number = {OOPSLA},
......@@ -2123,7 +2123,7 @@
year = {2019},
month = oct,
issue_date = {October 2019},
publisher = {Association for Computing Machinery},
publisher = {ACM},
address = {New York, NY, USA},
volume = {3},
number = {OOPSLA},
......@@ -2155,7 +2155,7 @@
booktitle = {\bibASPLOS{2020}},
year = {2020},
isbn = {9781450371025},
publisher = {Association for Computing Machinery},
publisher = {ACM},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/3373376.3378480},
doi = {10.1145/3373376.3378480},
......@@ -2176,7 +2176,7 @@
year = {2021},
month = jan,
issue_date = {January 2021},
publisher = {Association for Computing Machinery},
publisher = {ACM},
address = {New York, NY, USA},
volume = {5},
number = {POPL},
......@@ -2233,7 +2233,7 @@
doi = {10.1145/2043556.2043589},
series = {\bibSOSP{2011}},
pages = {353--367},
publisher = {Association for Computing Machinery},
publisher = {ACM},
urldate = {2020-06-17},
date = {2011-10-23},
keywords = {debugging, model checking, race detection, record-replay}
......@@ -2410,7 +2410,7 @@
year = {1979},
month = jan,
issue_date = {July 1979},
publisher = {Association for Computing Machinery},
publisher = {ACM},
address = {New York, NY, USA},
volume = {1},
number = {1},
......@@ -2864,7 +2864,7 @@
optseries = {{OOPSLA} 2015},
shorttitle = {Reasoning about the {POSIX} file system},
pages = {201--220},
publisher = {Association for Computing Machinery},
publisher = {ACM},
urldate = {2020-06-15},
date = {2015-10-23},
keywords = {file systems, global pathnames, local reasoning, {POSIX},
......@@ -3224,7 +3224,7 @@
year = {2018},
month = oct,
issue_date = {November 2018},
publisher = {Association for Computing Machinery},
publisher = {ACM},
address = {New York, NY, USA},
volume = {2},
number = {OOPSLA},
......@@ -3629,7 +3629,7 @@
doi = {10.1145/3124680.3124722},
pages = {1--8},
optseries = {{APSys} '17},
optpublisher = {Association for Computing Machinery},
optpublisher = {ACM},
optlocation = {Mumbai, India}
}
......
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