

@unpublished{DouglasEngelbart1968,
 author="Douglas Engelbart",
 title="The Demo",
 year="1968",
 month="December",
 day="9",
 note="URL:
\url{http://thedemo.org/}",
 lastchecked="February 13, 2021",
}

@unpublished{StephenJohnson1977lint,
 author="Stephen Johnson",
 title="Lint, a {C} program checker",
 year="1977",
 month="December",
 note="Computer Science Technical Report 65, Bell Laboratories",
}

@article{DeMillo:1979:SPP:359104.359106,
 author = {De Millo, Richard A. and Lipton, Richard J. and Perlis, Alan J.},
 title = {Social Processes and Proofs of Theorems and Programs},
 journal = {Commun. ACM},
 issue_date = {May 1979},
 volume = {22},
 number = {5},
 month = may,
 year = {1979},
 issn = {0001-0782},
 pages = {271--280},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/359104.359106},
 doi = {10.1145/359104.359106},
 acmid = {359106},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {formal mathematics, mathematical proofs, program specification, program verification},
}

@Book{GlenfordJMyers1979,
 Author="Glenford J. Myers",
 title="The Art of Software Testing",
 Publisher="Wiley",
 Year="1979",
 pages="174",
}

@Book{MargaretAEllis1990Cplusplus,
 Author="Margaret A. Ellis and Bjarne Stroustrup",
 title="The Annotated {C++} Reference Manual",
 Publisher="Addison Wesley",
 Year="1990",
 pages="447",
}

@inproceedings{PBGibbons1992SCisNP,
 author = {P.B. Gibbons and E. Korach},
 title = {The complexity of sequential consistency},
 booktitle = {Proceedings of the Fourth IEEE Symposium on Parallel and Distributed Processing},
 month = December,
 year = {1992},
 issn = {0001-0782},
 pages = {317--325},
 doi = {10.1109/SPDP.1992.242728},
 publisher = {IEEE},
}

@unpublished{ScottGriffen2000,
 author="Scott Griffen",
 title="Internet Pioneers: Doug Englebart",
 year="2000",
 month="May",
 note="Available:
\url{http://www.ibiblio.org/pioneers/englebart.html}
[Viewed November 28, 2008]",
}

@book{Lamport:2002:SST:579617,
 author = {Lamport, Leslie},
 title = {Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers},
 year = {2002},
 isbn = {032114306X},
 publisher = {Addison-Wesley Longman Publishing Co., Inc.},
 address = {Boston, MA, USA},
}

@Book{Holzmann03a,
 Author="Gerard J. Holzmann",
 title="The {Spin} Model Checker: Primer and Reference Manual",
 Publisher="Addison-Wesley",
 address={Boston, MA, USA},
 Year="2003",
 pages="608",
}

@article{Boehm:2005:TCI:1064978.1065042,
 author = {Boehm, Hans-J.},
 title = {Threads Cannot Be Implemented As a Library},
 journal = {SIGPLAN Not.},
 issue_date = {June 2005},
 volume = {40},
 number = {6},
 month = jun,
 year = {2005},
 issn = {0362-1340},
 pages = {261--268},
 numpages = {8},
 url = {http://doi.acm.org/10.1145/1064978.1065042},
 doi = {10.1145/1064978.1065042},
 acmid = {1065042},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {data race, optimization, pthreads, register promotion, threads},
}

@unpublished{RaulSilvera2007WeakMemoryModel,
 author="Ra\'ul Silvera and Michael Wong and Paul E. McKenney and Bob Blainey",
 title="N2153: A simple and efficient memory model for weakly-ordered architectures",
 month="January",
 day="12",
 year="2007",
 note="\url{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2007/n2153.pdf}",
}

@unpublished{PeteBecker2009N3000,
 author="Pete Becker",
 title="Working Draft, Standard for Programming Language {C++}",
 month="November",
 day="9",
 year="2009",
 note="Available:
\url{http://open-std.org/jtc1/sc22/wg21/docs/papers/2009/n3000.pdf}
[Viewed: November 9, 2009]",
}

@unpublished{PeteBecker2010N3035,
 author="Pete Becker",
 title="Working Draft, Standard for Programming Language {C++}",
 month="February",
 day="16",
 year="2010",
 note="Available:
\url{http://open-std.org/jtc1/sc22/wg21/docs/papers/2010/n3035.pdf}
[Viewed: February 16, 2010]",
}

@unpublished{PeteBecker2010N3126,
 author="Pete Becker",
 title="Working Draft, Standard for Programming Language {C++}",
 month="August",
 day="21",
 year="2010",
 note="Available:
\url{http://open-std.org/jtc1/sc22/wg21/docs/papers/2010/n3126.pdf}
[Viewed: February 16, 2010]",
}

@unpublished{PaulEMcKenney2010N3125,
 author="Paul E. McKenney and Mark Batty and Clark Nelson and Hans Boehm and Anthony Williams and Scott Owens and Susmit Sarkar and Peter Sewell and Tjark Weber and Michael Wong and Lawrence Crowl",
 title="N3125: Omnibus Memory Model and Atomics Paper",
 month="August",
 day="22",
 year="2010",
 note="\url{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2010/n3125.html}",
 lastchecked="December 16, 2017",
}

@unpublished{PeteBecker2010N3225,
 author="Pete Becker",
 title="Working Draft, Standard for Programming Language {C++}",
 month="November",
 day="27",
 year="2010",
 note="Available:
\url{http://open-std.org/jtc1/sc22/wg21/docs/papers/2010/n3225.pdf}
[Viewed: March 4, 2011]",
}

@unpublished{PeteBecker2011N3242,
 author="Pete Becker",
 title="Working Draft, Standard for Programming Language {C++}",
 month="February",
 day="28",
 year="2011",
 note="\url{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2011/n3242.pdf}",
}

@article{Sevcik:2011:SOS:1993316.1993534,
 author = {\v{S}ev\v{c}\'{\i}k, Jaroslav},
 title = {Safe Optimisations for Shared-memory Concurrent Programs},
 journal = {SIGPLAN Not.},
 issue_date = {June 2011},
 volume = {46},
 number = {6},
 month = jun,
 year = {2011},
 issn = {0362-1340},
 pages = {306--316},
 numpages = {11},
 url = {http://doi.acm.org/10.1145/1993316.1993534},
 doi = {10.1145/1993316.1993534},
 acmid = {1993534},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {compiler optimizations, relaxed memory models, semantics},
}

@unpublished{BenjaminHerrenschmidt2011:powerpc:atomic_return,
 Author="Benjamin Herrenschmidt",
 Title="powerpc: Fix atomic\_xxx\_return barrier semantics",
 month="November",
 day="16",
 year="2011",
 note="Git commit:
\url{https://git.kernel.org/linus/b97021f85517}",
 lastchecked="August 7, 2019",
}

@unpublished{RexBlack2012SQA,
 author="Rex Black and Capers Jones",
 title="Economics of Software Quality: An Interview with {Capers} {Jones}, Part 1 of 2 (Podcast Transcript)",
 month="January",
 day="16",
 year="2012",
 note="\url{http://www.informit.com/articles/article.aspx?p=1824791}",
}

@unpublished{MichaelKerrisk2012testrobot,
 author="Michael Kerrisk",
 title="KS2012: Kernel build/boot testing",
 month="September",
 day="5",
 year="2012",
 note="\url{https://lwn.net/Articles/514278/}",
}

@unpublished{StefanusDuToit2013N3691,
 author="Stefanus Du Toit",
 title="Working Draft, Standard for Programming Language {C++}",
 month="May",
 day="16",
 year="2013",
 note="\url{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2013/n3691.pdf}",
}

@unpublished{RichardSmith2015N4527,
 author="Richard Smith",
 title="Working Draft, Standard for Programming Language {C++}",
 month="May",
 day="22",
 year="2015",
 note="\url{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/n4527.pdf}",
}

@unpublished{JonathanCorbet2004sparse,
 author="Jonathan Corbet",
 title="Finding kernel problems automatically",
 month="June",
 day="1",
 year="2004",
 note="\url{http://lwn.net/Articles/87538/}",
}

@article{Jackson:2000:FBC:347636.383378,
 author = {Jackson, Daniel and Vaziri, Mandana},
 title = {Finding Bugs with a Constraint Solver},
 journal = {SIGSOFT Softw. Eng. Notes},
 issue_date = {Sept. 2000},
 volume = {25},
 number = {5},
 month = aug,
 year = {2000},
 issn = {0163-5948},
 pages = {14--25},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/347636.383378},
 doi = {10.1145/347636.383378},
 acmid = {383378},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {alloy language, constraint solvers, detecting bugs, model checking, relational formulas, static analysis, testing},
}

@inproceedings{EdmundClarke2004CBMC,
 AUTHOR    = { Clarke, Edmund
               and Kroening, Daniel
               and Lerda, Flavio },
 TITLE     = { A Tool for Checking {ANSI-C} Programs },
 BOOKTITLE = { Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004) },
 YEAR      = { 2004 },
 PUBLISHER = { Springer },
 PAGES     = { 168--176 },
 ISBN      = { 3-540-21299-X },
 SERIES    = { Lecture Notes in Computer Science },
 VOLUME    = { 2988 },
 EDITOR    = { Kurt Jensen and Andreas Podelski },
 doi={10.1007/978-3-540-24730-2_15},
}

@inproceedings{YoannPadioleau2005CollateralEvolution,
 author = "Yoann Padioleau and Julia L. Lawall and Gilles Muller",
 title = "Understanding Collateral Evolution in Linux Device Drivers",
 booktitle = {Proceedings of the ACM SIGOPS EuroSys 2006 Conference},
 month = {April},
 year = {2006},
 pages = {59-71},
 publisher = {ACM},
 address = {Leuven, Belgium},
 url={http://doi.acm.org/10.1145/1217935.1217942},
}

@unpublished{JonathanCorbet2006lockdep,
 author="Jonathan Corbet",
 title="The kernel lock validator",
 month="May",
 day="31",
 year="2006",
 note="Available:
\url{http://lwn.net/Articles/185666/}
[Viewed: March 26, 2010]",
}

@unpublished{StevenRostedt2010perfHP+DeathlyMacros,
 author="Steven Rostedt",
 title="tracing: {Harry} {Potter} and the {Deathly} {Macros}",
 month="December",
 day="3",
 year="2010",
 note="Available:
\url{http://lwn.net/Articles/418710/}
[Viewed: August 28, 2011]",
}

@unpublished{StevenRostedt2010perfTraceEventP1,
 author="Steven Rostedt",
 title="Using the {TRACE\_EVENT()} macro (Part 1)",
 month="March",
 day="24",
 year="2010",
 note="Available:
\url{http://lwn.net/Articles/379903/}
[Viewed: August 28, 2011]",
}

@unpublished{StevenRostedt2010perfTraceEventP2,
 author="Steven Rostedt",
 title="Using the {TRACE\_EVENT()} macro (Part 2)",
 month="March",
 day="31",
 year="2010",
 note="Available:
\url{http://lwn.net/Articles/381064/}
[Viewed: August 28, 2011]",
}

@unpublished{StevenRostedt2010perfTraceEventP3,
 author="Steven Rostedt",
 title="Using the {TRACE\_EVENT()} macro (Part 3)",
 month="April",
 day="21",
 year="2010",
 note="Available:
\url{http://lwn.net/Articles/383362/}
[Viewed: August 28, 2011]",
}

@unpublished{MathieuDesnoyers2009LFCollabSummit,
 author="Mathieu Desnoyers and Michel R. Dagenais",
 title="LTTng, Filling the Gap Between Kernel Instrumentation and a Widely Usable Kernel Tracer",
 month="April",
 day="8",
 year="2009",
 note="Available:
\url{http://events.linuxfoundation.org/slides/lfcs09_desnoyers_paper.pdf}
[Viewed: August 28, 2011]",
}

@unpublished{Maranget2012TutorialARMPower,
 Author="Luc Maranget and Susmit Sarkar and Peter Sewell",
 Title="A Tutorial Introduction to the {ARM} and {POWER} Relaxed Memory Models",
 month="October",
 day="10",
 year="2012",
 note="\url{https://www.cl.cam.ac.uk/~pes20/ppc-supplemental/test7.pdf}",
}

@unpublished{PaulEMcKenney2011ppcmem,
 Author="Paul E. McKenney",
 Title="Validating Memory Barriers and Atomic Instructions",
 month="December",
 day="6",
 year="2011",
 note="\url{http://lwn.net/Articles/470681/}",
}

@unpublished{test6-pdf,
 Author="Susmit Sarkar and Peter Sewell and Jade Alglave and Luc Maranget
and Derek Williams",
 Title="{POWER} and {ARM} Litmus Tests",
 year="2011",
 note="\url{https://www.cl.cam.ac.uk/~pes20/ppc-supplemental/test6.pdf}",
}

@unpublished{JadeAlglave2011ppcmem,
 Author="Jade Alglave and Luc Maranget and Pankaj Pawan and Susmit Sarkar and Peter Sewell and Derek Williams and Francesco Zappa Nardelli",
 Title="{PPCMEM/ARMMEM}: A Tool for Exploring the {POWER} and {ARM} Memory Models",
 month="June",
 day="4",
 year="2011",
 note="\url{http://www.cl.cam.ac.uk/~pes20/ppc-supplemental/pldi105-sarkar.pdf}",
}

@unpublished{RichardBornat2006SheepGoats,
 Author="Richard Bornat",
 Title="Dividing the Sheep from the Goats",
 month="January",
 day="24",
 year="2006",
 note={Seminar at School of Computing, Univ. of Kent. Abstract is available at
\url{https://www.cs.kent.ac.uk/seminar_archive/2005_06/abs_2006_01_24.html}.
Retracted in July 2014:
\url{http://www.eis.mdx.ac.uk/staffpages/r_bornat/papers/camel_hump_retraction.pdf}},
 lastchecked="November 28, 2016",
}

@inproceedings{SaeedDehnadi2009SheepGoats,
 author = {Saeed Dehnadi and Richard Bornat and Ray Adams},
 title = {Meta-analysis of the effect of consistency on success in early learning of programming},
 booktitle = {PPIG 2009},
 month = {June},
 year = {2009},
 pages = {1--13},
 numpages = {13},
 publisher = {Psychology of Programming Interest Group},
 address = {University of Limerick, Ireland},
 url={http://www.ppig.org/papers/21st-dehnadi.pdf},
 lastchecked="November 12, 2016",
}

@unpublished{RegBraithwaite2007FizzBuzz,
 Author="Reg Braithwaite",
 Title="Don't Overthink FizzBuzz",
 month="January",
 day="24",
 year="2007",
 note={\url{http://weblog.raganwald.com/2007/01/dont-overthink-fizzbuzz.html}},
}

@unpublished{StevenRostedt2011locdepCryptic,
 Author="Steven Rostedt",
 Title="lockdep: How to read its cryptic output",
 month="September",
 day="9",
 year="2011",
 note={\url{http://www.linuxplumbersconf.org/2011/ocw/sessions/153}},
}

@unpublished{ValgrindHomePage,
 Author="{The Valgrind Developers}",
 Title="Valgrind",
 month="November",
 day="10",
 year="2011",
 note={\url{http://www.valgrind.org/}},
}

@unpublished{OProfileHomePage,
 Author="{The OProfile Developers}",
 Title="OProfile",
 month="April",
 day="28",
 year="2012",
 note={\url{http://oprofile.sourceforge.net}},
}

@unpublished{LinuxKernelPerfWiki,
 Author="Stephane Eranian and Eric Gouriou and Tipp Moseley and Willem de Bruijn",
 Title="Linux kernel profiling with perf",
 month="June",
 day="29",
 year="2011",
 note={\url{https://perf.wiki.kernel.org/index.php/Tutorial}},
}

@unpublished{NishanthAravamudan2005stiu,
 author="Nishanth Aravamudan",
 title="{[PATCH]} Add schedule\_timeout\_\{in\-ter\-rupt\-i\-ble,un\-in\-ter\-rupt\-i\-ble\}\{,\_msecs\}() interfaces",
 month="July",
 day="22",
 year="2005",
 url={http://lwn.net/Articles/144763/},
 note="Linux Weekly News",
}

@unpublished{JonathanCorbet2008-next,
 Author="Jonathan Corbet",
 Title="A day in the life of linux-next",
 month="June",
 day="23",
 year="2008",
 note="\url{https://lwn.net/Articles/287155/}",
}

@book{Kroening:2008:DPA:1391237,
 author = {Kroening, Daniel and Strichman, Ofer},
 title = {Decision Procedures: An Algorithmic Point of View},
 year = {2008},
 isbn = {3540741046, 9783540741046},
 edition = {1},
 publisher = {Springer Publishing Company, Incorporated},
}

@unpublished{JohnRegehr2010UndefinedBehavior,
 Author="John Regehr",
 Title="A Guide to Undefined Behavior in C and C++, Part 1",
 month="July",
 day="9",
 year="2010",
 note="\url{http://blog.regehr.org/archives/213}",
}

@inproceedings{Golovanevsky:2010:TDL:2174824.2174835,
 author = {Golovanevsky, Olga and Dayan, Alon and Zaks, Ayal and Edelsohn, David},
 title = {Trace-Based Data Layout Optimizations for Multi-core Processors},
 booktitle = {Proceedings of the 5th International Conference on High Performance Embedded Architectures and Compilers},
 series = {HiPEAC'10},
 year = {2010},
 isbn = {3-642-11514-4, 978-3-642-11514-1},
 location = {Pisa, Italy},
 pages = {81--95},
 numpages = {15},
 url = {http://dx.doi.org/10.1007/978-3-642-11515-8_8},
 doi = {10.1007/978-3-642-11515-8_8},
 acmid = {2174835},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
 keywords = {cache-conscious data layout, compiler optimizations, data affinity, false sharing, spatial locality},
}

@inproceedings{NicolasPalix2011CoccinelleTenYears,
 author = {Nicolas Palix and Ga\"{e}l Thomas and Suman Saha and Christophe Calv\`{e}s and Julia Lawall and Gilles Muller},
 title = "Faults in Linux: Ten Years Later",
 booktitle = {Proceedings of the Sixteenth International Conference on
Architectural Support for Programming Languages and Operating Systems
(ASPLOS 2011)},
 month = {March},
 year = {2011},
 pages = {305-318},
 publisher = {ACM},
 address = {Newport Beach, California, USA},
 url={http://dx.doi.org/10.1145/1950365.1950401},
}

@Conference{DaveJones2011Trinity,
 author = "Dave Jones",
 title = "Trinity: A system call fuzzer",
 booktitle = {Proceedings of the 13\textsuperscript{th} Ottawa Linux Symposium},
 month = {June},
 year = {2011},
 pages = {???--???},
 address = {Ottawa, Canada},
 note={Project repository: \url{https://github.com/kernelslacker/trinity}},
}

@unpublished{PaulEMcKenney2012SignedOverflow,
 Author="Paul E. McKenney",
 Title="Signed overflow optimization hazards in the kernel",
 month="August",
 day="15",
 year="2012",
 note="\url{http://lwn.net/Articles/511259/}",
}

@inproceedings{Alglave:2013:SVW:2450268.2450306,
 author = {Alglave, Jade and Kroening, Daniel and Nimal, Vincent and Tautschnig, Michael},
 title = {Software verification for weak memory via program transformation},
 booktitle = {Proceedings of the 22nd European conference on Programming Languages and Systems},
 series = {ESOP'13},
 year = {2013},
 isbn = {978-3-642-37035-9},
 location = {Rome, Italy},
 pages = {512--532},
 numpages = {21},
 url = {http://dx.doi.org/10.1007/978-3-642-37036-6_28},
 doi = {10.1007/978-3-642-37036-6_28},
 acmid = {2450306},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
}

@inproceedings{VijayDSilva2012-sas,
 AUTHOR={ D'Silva, Vijay and Haller, Leopold and Kroening, Daniel },
 TITLE={ Satisfiability Solvers are Static Analyzers },
 BOOKTITLE={ Static Analysis Symposium (SAS) },
 YEAR={ 2012 },
 PUBLISHER={ Springer },
 PAGES={ 317--333 },
 SERIES={ LNCS },
 VOLUME={ 7460 },
 DOI={ 10.1007/978-3-642-33125-1_22 },
}

@unpublished{KonstantinKhlebnikov2013gccstoretearing,
 Author="Konstantin Khlebnikov and Paul E. McKenney",
 Title="{RCU: non-atomic assignment to long/pointer variables in gcc}",
 month="January",
 day="15",
 year="2013",
 note="\url{https://lore.kernel.org/lkml/50F52FC8.4000701@openvz.org/}",
}

@unpublished{ThomasSewell2013L4binaryVerification,
 Author="Thomas Sewell and Toby Murray",
 Title="Above and Beyond: {seL4} Noninterference and Binary Verification ",
 month="May",
 day="28",
 year="2013",
 note="\url{https://cps-vo.org/node/7706}",
}

@inproceedings{JadeAlglave2013-WeaknessIsVirtue,
 AUTHOR={ Alglave, Jade },
 TITLE={ Weakness is a virtue },
 BOOKTITLE={ ({EC})\textsuperscript{2} 2013: 6\textsuperscript{th}
International Workshop on Exploiting Concurrency Efficiently and Correctly },
 YEAR={ 2013 },
 PAGES={3},
 URL={ http://www0.cs.ucl.ac.uk/staff/j.alglave/papers/ec213.pdf },
 LASTCHECKED={ November 12, 2016 },
}

@inproceedings{JadeAlglave2013-cav,
 AUTHOR={ Alglave, Jade and Kroening, Daniel and Tautschnig, Michael },
 TITLE={ Partial Orders for Efficient {Bounded Model Checking} of Concurrent Software },
 BOOKTITLE={ Computer Aided Verification (CAV) },
 YEAR={ 2013 },
 PUBLISHER={ Springer },
 PAGES={ 141--157 },
 SERIES={ LNCS },
 VOLUME={ 8044 },
 DOI={ 10.1007/978-3-642-39799-8_9 },
}

@unpublished{PaulEMcKenney2013PlumbersValidation,
 Author="Paul E. McKenney",
 Title="Advances in validation of concurrent software",
 month="September",
 day="19",
 year="2013",
 note="\url{http://www.rdrop.com/users/paulmck/scalability/paper/Validation.2013.09.19b.pdf}",
}

@inproceedings{Lin:2013:CMJ:2510665.2511597,
 author = {Lin, Yu and Dig, Danny},
 title = {CHECK-THEN-ACT Misuse of Java Concurrent Collections},
 booktitle = {Proceedings of the 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation},
 series = {ICST '13},
 year = {2013},
 isbn = {978-0-7695-4968-2},
 pages = {164--173},
 numpages = {10},
 url = {http://dx.doi.org/10.1109/ICST.2013.41},
 doi = {10.1109/ICST.2013.41},
 acmid = {2511597},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 keywords = {Java Concurrent Collection, Check-then-Act, Atomicity Violation, Empirical Study},
}

@unpublished{MarkBatty2013OOTA-WorkingNote,
 Author="Mark Batty and Peter Sewell",
 Title="The Thin-air Problem",
 month="February",
 day="17",
 year="2014",
 note="\url{http://www.cl.cam.ac.uk/~pes20/cpp/notes42.html}",
}

@inproceedings{Alglave:2014:HCM:2594291.2594347,
 author = {Alglave, Jade and Maranget, Luc and Tautschnig, Michael},
 title = {Herding Cats: Modelling, Simulation, Testing, and Data-mining for Weak Memory},
 booktitle = {Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation},
 series = {PLDI '14},
 year = {2014},
 isbn = {978-1-4503-2784-8},
 location = {Edinburgh, United Kingdom},
 pages = {40--40},
 numpages = {1},
 url = {http://doi.acm.org/10.1145/2594291.2594347},
 doi = {10.1145/2594291.2594347},
 acmid = {2594347},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {concurrency, verification, weak memory models},
}

@article{Palix:2014:FL:2642648.2619090,
 author = {Palix, Nicolas and Thomas, Ga\={e}l and Saha, Suman and Calv\`{e}s, Christophe and Muller, Gilles and Lawall, Julia},
 title = {Faults in Linux 2.6},
 journal = {ACM Trans. Comput. Syst.},
 issue_date = {June 2014},
 volume = {32},
 number = {2},
 month = jun,
 year = {2014},
 issn = {0734-2071},
 pages = {4:1--4:40},
 articleno = {4},
 numpages = {40},
 url = {http://doi.acm.org/10.1145/2619090},
 doi = {10.1145/2619090},
 acmid = {2619090},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Linux, fault finding},
}

@unpublished{CarlLeonardsson2014Nidhugg,
 Author="Carl Leonardsson and Kostis Sagonas and Truc Nguyen Lam and
Michalis Kokologiannakis",
 Title="Nidhugg",
 month="July",
 day="13",
 year="2014",
 note="\url{https://github.com/nidhugg/nidhugg}",
}

@unpublished{AlanJeffrey2014JavaDRF,
 Author="Alan Jeffrey",
 Title="Jmm revision status",
 month="July",
 day="18",
 year="2014",
 note="\url{http://mail.openjdk.java.net/pipermail/jmm-dev/2014-July/000072.html}",
}

@unpublished{PaulEMcKenney2014weakaxiom,
 Author="Paul E. McKenney and Alan Stern",
 Title="Axiomatic validation of memory barriers and atomic instructions",
 month="August",
 day="19",
 year="2014",
 note="\url{http://lwn.net/Articles/608550/}",
}

@phdthesis{VincentNimalPhD,
 author="Vincent Nimal",
 title="Static analyses over weak memory",
 school="University of Oxford",
 year="2014",
}

@article{DBLP:journals/amai/GroceHHJX14,
 author    = {Alex Groce and Klaus Havelund and Gerard J. Holzmann and Rajeev Joshi and Ru{-}Gang Xu},
 title     = {Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning},
 journal   = {Ann. Math. Artif. Intell.},
 volume    = {70},
 number    = {4},
 pages     = {315--349},
 year      = {2014},
 url       = {https://doi.org/10.1007/s10472-014-9408-8},
 doi       = {10.1007/s10472-014-9408-8},
 timestamp = {Sun, 28 May 2017 13:21:00 +0200},
 biburl    = {http://dblp.org/rec/bib/journals/amai/GroceHHJX14},
 bibsource = {dblp computer science bibliography, http://dblp.org},
}

@inproceedings{Boehm:2014:OGA:2618128.2618134,
 author = {Boehm, Hans-J. and Demsky, Brian},
 title = {Outlawing Ghosts: Avoiding Out-of-thin-air Results},
 booktitle = {Proceedings of the Workshop on Memory Systems Performance and Correctness},
 series = {MSPC '14},
 year = {2014},
 isbn = {978-1-4503-2917-0},
 location = {Edinburgh, United Kingdom},
 pages = {7:1--7:6},
 articleno = {7},
 numpages = {6},
 url = {http://doi.acm.org/10.1145/2618128.2618134},
 doi = {10.1145/2618128.2618134},
 acmid = {2618134},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {C++, Java, atomic operations, relaxed memory models},
}

@article{Vafeiadis:2015:CCO:2775051.2676995,
 author = {Vafeiadis, Viktor and Balabonski, Thibaut and Chakraborty, Soham and Morisset, Robin and Zappa Nardelli, Francesco},
 title = {Common Compiler Optimisations Are Invalid in the C11 Memory Model and What We Can Do About It},
 journal = {SIGPLAN Not.},
 issue_date = {January 2015},
 volume = {50},
 number = {1},
 month = jan,
 year = {2015},
 issn = {0362-1340},
 pages = {209--220},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/2775051.2676995},
 doi = {10.1145/2775051.2676995},
 acmid = {2676995},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {c/c++, compilers, concurrency, program transformations, weak memory models},
}

@incollection{conf/esop/BattyMNPS15,
 abstract = {Despite decades of research, we do not have a satisfactory concurrency semantics for any general-purpose programming language that aims to support concurrent systems code. The Java Memory Model has been shown to be unsound with respect to standard compiler optimisations, while the C/C++11 model is too weak, admitting undesirable thin-air executions.},
 added-at = {2015-05-10T22:19:48.000+0200},
 author = {Batty, Mark and Memarian, Kayvan and Nienhuis, Kyndylan and Pichon-Pharabod, Jean and Sewell, Peter},
 biburl = {https://www.bibsonomy.org/bibtex/287a422b9265426c3f4b1b1f9b505a55d/gron},
 booktitle = {Programming Languages and Systems},
 description = {The Problem of Programming Language Concurrency Semantics - Springer},
 doi = {10.1007/978-3-662-46669-8_12},
 editor = {Vitek, Jan},
 interhash = {a6b676f010ab98e5d42c26a5f6eb3a88},
 intrahash = {87a422b9265426c3f4b1b1f9b505a55d},
 isbn = {978-3-662-46668-1},
 keywords = {Concurrency LowLevel MemoryModel Semantics},
 language = {English},
 pages = {283-307},
 publisher = {Springer Berlin Heidelberg},
 series = {Lecture Notes in Computer Science},
 timestamp = {2015-05-10T22:19:48.000+0200},
 title = {The Problem of Programming Language Concurrency Semantics},
 url = {http://dx.doi.org/10.1007/978-3-662-46669-8_12},
 volume = 9032,
 year = 2015,
}

@unpublished{DeadlockEmpire2016,
 Author="Michael Pokorny",
 Title="The Deadlock Empire",
 month="February",
 day="9",
 year="2016",
 note="\url{https://deadlockempire.github.io/}",
}

@inproceedings{PaulEMcKenney2015DagstuhlVerification,
 author = {Paul E. McKenney},
 title = {Formal Verification and {Linux}-Kernel Concurrency},
 booktitle = {Compositional Verification Methods for Next-Generation Concurrency},
 series = {Dagstuhl Seminar Proceedings},
 year = {2015},
 numpages = {50},
 url = {http://materials.dagstuhl.de/files/15/15191/15191.PaulMcKenney.Slides.pdf},
 publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
 address = {Dagstuhl, Germany},
}

@unpublished{PaulEMcKenney2016P0124R2-LKMM,
 Author="Paul E. McKenney and Ulrich Weigand and Andrea Parri and Boqun Feng",
 Title="Linux-Kernel Memory Model",
 month="June",
 day="6",
 year="2016",
 note="\url{http://open-std.org/JTC1/SC22/WG21/docs/papers/2016/p0124r2.html}",
}

@unpublished{JonathanCorbet2016C11atomics,
 Author="Jonathan Corbet",
 Title="Time to move to {C11} atomics?",
 month="June",
 day="15",
 year="2016",
 note="\url{https://lwn.net/Articles/691128/}",
}

@article{Roychoudhury:2016:FSD:2963119.2856103,
 author = {Roychoudhury, Abhik and Chandra, Satish},
 title = {Formula-based Software Debugging},
 journal = {Commun. ACM},
 issue_date = {July 2016},
 volume = {59},
 number = {7},
 month = jun,
 year = {2016},
 issn = {0001-0782},
 pages = {68--77},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/2856103},
 doi = {10.1145/2856103},
 acmid = {2856103},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@inproceedings{Groce:2015:VMC:2916135.2916190,
 author = {Groce, Alex and Ahmed, Iftekhar and Jensen, Carlos and McKenney, Paul E.},
 title = {How Verified is My Code? Falsification-Driven Verification (T)},
 booktitle = {Proceedings of the 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE)},
 series = {ASE '15},
 year = {2015},
 isbn = {978-1-5090-0025-8},
 pages = {737--748},
 numpages = {12},
 url = {http://dx.doi.org/10.1109/ASE.2015.40},
 doi = {10.1109/ASE.2015.40},
 acmid = {2916190},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
}

@inproceedings{PaulEMcKenney2016Formal,
 author="Paul E. McKenney",
 title="Practical Experience With Formal Verification Tools",
 booktitle="Verified Trustworthy Software Systems Specialist Meeting",
 organization="The Royal Society",
 month="April",
 day="5",
 year="2015",
 note="\url{http://www.rdrop.com/users/paulmck/scalability/paper/Validation.2016.04.06e.SpecMtg.pdf}",
}

@unpublished{Paulmck2015:powerpc:value-returning-atomics,
 Author="Paul E. McKenney",
 Title="Re: [PATCH tip/locking/core v4 1/6] powerpc: atomic: Make *xchg and *cmpxchg a full barrier",
 month="October",
 day="14",
 year="2015",
 note="Email thread:
\url{https://lore.kernel.org/lkml/20151014201916.GB3910@linux.vnet.ibm.com/}",
 lastchecked="August 7, 2019",
}

@unpublished{BoqunFeng2015:powerpc:value-returning-atomics,
 Author="Boqun Feng",
 Title="powerpc: Make value-returning atomics fully ordered",
 month="November",
 day="2",
 year="2015",
 note="Git commit:
\url{https://git.kernel.org/linus/49e9cf3f0c04}",
 lastchecked="August 7, 2019",
}

@misc{PeterZijlstra2016aLKMM,
 author = {Peter Zijlstra},
 title = {{[tip:perf/urgent]} perf/core: Fix sys\_perf\_event\_open() vs. hotplug},
 day = "14",
 month = "January",
 year = {2016},
 howpublished = {\url{https://www.spinics.net/lists/kernel/msg2421883.html}},
}

@unpublished{PaulEMcKenney2016OOTA,
 author="Paul E. McKenney and Alan Jeffrey and Ali Sezgin and Tony Tye",
 title="Out-of-Thin-Air Execution is Vacuous",
 month="July",
 day="27",
 year="2016",
 note="\url{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0422r0.html}",
}

@techreport{Alglave2016catSyntaxSemantics,
 Author="Jade Alglave and Patrick Cousot and Luc Maranget",
 Title="Syntax and semantics of the weak consistency model specification language cat",
 month="August",
 day="26",
 year="2016",
 institution="Cornell University Library",
 note="\url{https://arxiv.org/pdf/1608.07531.pdf}",
}

@unpublished{JadeAlglave2017LWN-LKMM-1,
 author="Jade Alglave and Luc Maranget and Paul E. McKenney and Andrea Parri and Alan Stern",
 title="A formal kernel memory-ordering model (part 1)",
 month="April",
 day="14",
 year="2017",
 note="\url{https://lwn.net/Articles/718628/}",
}

@unpublished{JadeAlglave2017LWN-LKMM-2,
 author="Jade Alglave and Luc Maranget and Paul E. McKenney and Andrea Parri and Alan Stern",
 title="A formal kernel memory-ordering model (part 2)",
 month="April",
 day="20",
 year="2017",
 note="\url{https://lwn.net/Articles/720550/}",
}

@unpublished{JadeAlglave2017LWN-LKMM-N,
 author="Jade Alglave and Luc Maranget and Paul E. McKenney and Andrea Parri and Alan Stern",
 title="A formal kernel memory-ordering model (supplementary material, updated)",
 month="January",
 day="21",
 year="2017",
 note="\url{https://mirrors.edge.kernel.org/pub/linux/kernel/people/paulmck/LWNLinuxMM/}",
}

@article{Flur:2017:MCA:3093333.3009839,
 author = {Flur, Shaked and Sarkar, Susmit and Pulte, Christopher and Nienhuis, Kyndylan and Maranget, Luc and Gray, Kathryn E. and Sezgin, Ali and Batty, Mark and Sewell, Peter},
 title = {Mixed-size Concurrency: ARM, POWER, C/C++11, and SC},
 journal = {SIGPLAN Not.},
 issue_date = {January 2017},
 volume = {52},
 number = {1},
 month = jan,
 year = {2017},
 issn = {0362-1340},
 pages = {429--442},
 numpages = {14},
 url = {http://doi.acm.org/10.1145/3093333.3009839},
 doi = {10.1145/3093333.3009839},
 acmid = {3009839},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {ISA, Relaxed Memory Models, mixed-size, semantics},
}

@inproceedings{Lahav:2017:RSC:3062341.3062352,
 author = {Lahav, Ori and Vafeiadis, Viktor and Kang, Jeehoon and Hur, Chung-Kil and Dreyer, Derek},
 title = {Repairing Sequential Consistency in {C}/{C}++11},
 booktitle = {Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation},
 series = {PLDI 2017},
 year = {2017},
 isbn = {978-1-4503-4988-8},
 location = {Barcelona, Spain},
 pages = {618--632},
 numpages = {15},
 url = {http://doi.acm.org/10.1145/3062341.3062352},
 doi = {10.1145/3062341.3062352},
 acmid = {3062352},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {C++11, Weak memory models, declarative semantics, sequential consistency},
}

@article{Lahav:2017:RSC:3140587.3062352,
 author = {Lahav, Ori and Vafeiadis, Viktor and Kang, Jeehoon and Hur, Chung-Kil and Dreyer, Derek},
 title = {Repairing Sequential Consistency in C/C++11},
 journal = {SIGPLAN Not.},
 issue_date = {June 2017},
 volume = {52},
 number = {6},
 month = jun,
 year = {2017},
 issn = {0362-1340},
 pages = {618--632},
 numpages = {15},
 url = {http://doi.acm.org/10.1145/3140587.3062352},
 doi = {10.1145/3140587.3062352},
 acmid = {3062352},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {C++11, Weak memory models, declarative semantics, sequential consistency},
}

@unpublished{OlivierGiroux2017-P0668R1,
 author="Hans-J. Boehm and Olivier Giroux and Viktor Vafeiades",
 title="P0668R1: Revising the {C++} memory model",
 month="July",
 day="30",
 year="2017",
 note={\url{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/p0668r1.html}},
 lastchecked="February 9, 2018",
}

@article{Pulte:2017:SAC:3177123.3158107,
 author = {Pulte, Christopher and Flur, Shaked and Deacon, Will and French, Jon and Sarkar, Susmit and Sewell, Peter},
 title = {Simplifying ARM Concurrency: Multicopy-atomic Axiomatic and Operational Models for ARMv8},
 journal = {Proc. ACM Program. Lang.},
 issue_date = {January 2018},
 volume = {2},
 number = {POPL},
 month = dec,
 year = {2017},
 issn = {2475-1421},
 pages = {19:1--19:29},
 articleno = {19},
 numpages = {29},
 url = {http://doi.acm.org/10.1145/3158107},
 doi = {10.1145/3158107},
 acmid = {3158107},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Axiomatic, Operational, Relaxed Memory Models, Semantics},
}

@inproceedings{Liang:2018:VTB,
 title = "Verification of Tree-Based Hierarchical {Read-Copy Update} in the {Linux Kernel}",
 author = "Lihao Liang and Paul E. McKenney and Daniel Kroening and Tom Melham",
 year = "2018",
 booktitle = "2018 Design, Automation {\&amp;} Test in Europe Conference {\&amp;} Exhibition, {DATE} 2018, Dresden, Germany, March 19--23, 2018",
 url = "http://www.cs.ox.ac.uk/tom.melham/pub/Liang-2018-VTB.pdf",
}

@inproceedings{Alglave:2018:FSC:3173162.3177156,
 author = {Alglave, Jade and Maranget, Luc and McKenney, Paul E. and Parri, Andrea and Stern, Alan},
 title = {Frightening Small Children and Disconcerting Grown-ups: Concurrency in the {Linux} Kernel},
 booktitle = {Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems},
 series = {ASPLOS '18},
 year = {2018},
 isbn = {978-1-4503-4911-6},
 location = {Williamsburg, VA, USA},
 pages = {405--418},
 numpages = {14},
 url = {http://doi.acm.org/10.1145/3173162.3177156},
 doi = {10.1145/3173162.3177156},
 acmid = {3177156},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {formal models, linux, memory model, shared memory parallelism},
}

@unpublished{CatalinMarinas2018qspinlockTLA,
 author="Catalin Marinas",
 title="Queued Spinlocks Model",
 month="March",
 day="28",
 year="2018",
 note={\url{https://git.kernel.org/pub/scm/linux/kernel/git/cmarinas/kernel-tla.git}},
 lastchecked="April 6, 2018",
}

@unpublished{PaulEMcKenney2016P0124R5-LKMM,
 Author="Paul E. McKenney and Ulrich Weigand and Andrea Parri and Boqun Feng",
 Title="Linux-Kernel Memory Model",
 month="April",
 day="6",
 year="2018",
 note="\url{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0124r5.html}",
}

@inproceedings{Sinclair:2017:CAR:3079856.3080206,
 author = {Sinclair, Matthew D. and Alsop, Johnathan and Adve, Sarita V.},
 title = {Chasing Away {RAts}: Semantics and Evaluation for Relaxed Atomics on Heterogeneous Systems},
 booktitle = {Proceedings of the 44th Annual International Symposium on Computer Architecture},
 series = {ISCA '17},
 year = {2017},
 isbn = {978-1-4503-4892-8},
 location = {Toronto, ON, Canada},
 pages = {161--174},
 numpages = {14},
 url = {http://doi.acm.org/10.1145/3079856.3080206},
 doi = {10.1145/3079856.3080206},
 acmid = {3080206},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {GPGPU, data-race-free models, memory consistency, relaxed atomics},
}

@unpublished{WillDeacon2018qspinlock,
 author="Will Deacon",
 title="{[PATCH 00/10]} kernel/locking: qspinlock improvements",
 month="April",
 day="5",
 year="2018",
 note={\url{http://lkml.kernel.org/r/1522947547-24081-1-git-send-email-will.deacon@arm.com}},
 lastchecked="April 6, 2018",
}

@unpublished{LucMaranget2018lock.cat,
 author="Luc Maranget and Alan Stern",
 title="lock.cat",
 month="May",
 day="14",
 year="2018",
 note="\url{https://github.com/torvalds/linux/blob/master/tools/memory-model/lock.cat}",
}

@unpublished{RichardSmith2018N4762,
 author="Richard Smith",
 title="Working Draft, Standard for Programming Language {C++}",
 month="July",
 day="7",
 year="2018",
 note="\url{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/n4762.pdf}",
}

@unpublished{RichardSmith2019N4800,
 author="Richard Smith",
 title="Working Draft, Standard for Programming Language {C++}",
 month="January",
 day="7",
 year="2019",
 note="\url{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/n4800.pdf}",
}

@unpublished{PaulEMcKenney2016P0124R6-LKMM,
 Author="Paul E. McKenney and Ulrich Weigand and Andrea Parri and Boqun Feng",
 Title="Linux-Kernel Memory Model",
 month="September",
 day="27",
 year="2018",
 note="\url{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0124r6.html}",
}

@unpublished{JFBastien2018DeprecatingVolatile,
 Author="JF Bastien",
 Title="{P1152R0}: Deprecating volatile",
 month="October",
 day="1",
 year="2018",
 note="\url{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p1152r0.html}",
}

@unpublished{PaulEMcKenney2019PointerLifetimeEndZap,
 Author="Paul E.~McKenney and Maged Michael and Peter Sewell",
 Title="{N2369}: Pointer lifetime-end zap",
 month="April",
 day="1",
 year="2019",
 note="\url{http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2369.pdf}",
}

@unpublished{MarkBatty2019ModularRelaxedDependenciesOOTA,
 Author="Mark Batty and Simon Cooksey and Scott Owens and Anouk Paradis and Marco Paviotti and Daniel Wright",
 Title="{D1780R0}: Modular Relaxed Dependencies: A new approach to the Out-Of-Thin-Air Problem",
 month="June",
 day="14",
 year="2019",
 note="\url{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1780r0.html}",
}

@unpublished{HansBoehm2019OOTArevisitedAgain,
 Author="Hans-J. Boehm",
 Title="{P1217R2}: Out-of-thin-air, revisited, again",
 month="June",
 day="16",
 year="2019",
 note="\url{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1217r2.html}",
}

@unpublished{WillDeacon2019StoreTearingReport,
 Author="Will Deacon",
 Title="{Re: [PATCH 1/1] Fix: trace sched switch start/stop racy updates}",
 month="August",
 day="21",
 year="2019",
 note="\url{https://lore.kernel.org/lkml/20190821103200.kpufwtviqhpbuv2n@willie-the-truck/}",
}

@unpublished{DanielBristotdeOliveira2019formal,
 Author="Daniel Bristot de Oliveira",
 Title="Formal verification made easy (and fast)!",
 month="September",
 day="10",
 year="2019",
 note={\url{https://www.linuxplumbersconf.org/event/4/contributions/280/}},
}

@unpublished{JadeAlglave2019WhoAfraidCompiler,
 author="Jade Alglave and Will Deacon and Boqun Feng and David Howells and Daniel Lustig and Luc Maranget and Paul E. McKenney and Andrea Parri and Nicholas Piggin and Alan Stern and Akira Yokosawa and Peter Zijlstra",
 title="Who's afraid of a big bad optimizing compiler?",
 month="July",
 day="15",
 year="2019",
 url={https://lwn.net/Articles/793253/},
 note="Linux Weekly News",
}

@unpublished{JadeAlglave2019CalibrateFearCompiler,
 author="Jade Alglave and Will Deacon and Boqun Feng and David Howells and Daniel Lustig and Luc Maranget and Paul E. McKenney and Andrea Parri and Nicholas Piggin and Alan Stern and Akira Yokosawa and Peter Zijlstra",
 title="Calibrating your fear of big bad optimizing compilers",
 month="October",
 day="11",
 year="2019",
 url={https://lwn.net/Articles/799218/},
 note="Linux Weekly News",
}

@unpublished{JonathanCorbet2019KCSAN,
 Author="Jonathan Corbet",
 Title="Finding race conditions with {KCSAN}",
 month="June",
 day="15",
 year="2016",
 note="\url{https://lwn.net/Articles/691128/}",
}

@article{PeterWOHearn2019incorrectnessLogic,
 author = {O'Hearn, Peter W.},
 title = {Incorrectness Logic},
 year = {2019},
 issue_date = {January 2020},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 volume = {4},
 number = {POPL},
 url = {https://doi.org/10.1145/3371078},
 doi = {10.1145/3371078},
 journal = {Proc. ACM Program. Lang.},
 month = dec,
 articleno = {10},
 numpages = {32},
 keywords = {none}
}

@book{BrendanGregg2019BPFperftools,
 author = {Gregg, Brendan},
 title = {BPF Performance Tools: Linux System and Application Observability},
 year = {2019},
 isbn = {0136554822},
 publisher = {Addison-Wesley Professional},
 edition = {1st},
}

@article{ElizabethPatitsas2020GradesNotBimodal,
 author = {Elizabeth Patitsas and Jesse Berlin and Michelle Craig and Steve Easterbrook},
 title = {Evidence that Computer Science Grades Are Not Bimodal},
 journal = {Commun. ACM},
 issue_date = {January 2020},
 volume = {63},
 number = {1},
 month = jan,
 year = {2020},
 issn = {0001-0782},
 pages = {91--98},
 numpages = {8},
 url = {http://doi.acm.org/10.1145/3372161},
 doi = {10.1145/3372161},
 acmid = {2483867},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@unpublished{MarcoElver2020FearDataRaceDetector1,
 author="Marco Elver and Paul E. McKenney and Dmitry Vyukov and Andrey Konovalov and Alexander Potapenko and Kostya Serebryany and Alan Stern and Andrea Parri and Akira Yokosawa and Peter Zijlstra and Will Deacon and Daniel Lustig and Boqun Feng and Joel Fernandes and Jade Alglave and Luc Maranget",
 title="Concurrency bugs should fear the big bad data-race detector (part 1)",
 month="April",
 day="8",
 year="2020",
 url={https://lwn.net/Articles/816850/},
 note="Linux Weekly News",
}

@unpublished{MarcoElver2020FearDataRaceDetector2,
 author="Marco Elver and Paul E. McKenney and Dmitry Vyukov and Andrey Konovalov and Alexander Potapenko and Kostya Serebryany and Alan Stern and Andrea Parri and Akira Yokosawa and Peter Zijlstra and Will Deacon and Daniel Lustig and Boqun Feng and Joel Fernandes and Jade Alglave and Luc Maranget",
 title="Concurrency bugs should fear the big bad data-race detector (part 2)",
 month="April",
 day="14",
 year="2020",
 url={https://lwn.net/Articles/816854/},
 note="Linux Weekly News",
}

@unpublished{PaulEMcKenney2020PointerLifetimeEndZapCpp,
 Author="Paul E. McKenney and Maged Michael and Jens Maurer and Peter Sewell and Martin Uecker and Hans Boehm and Hubert Tong and Niall Douglas and Thomas Rodgers and Will Deacon and Michael Wong and David Goldblatt and Kostya Serebryany and Anthony Williams",
 Title="{P1726R4}: Pointer lifetime-end zap",
 month="July",
 day="8",
 year="2020",
 note="\url{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2020/p1726r4.pdf}",
}

@unpublished{HansBoehm2020ConcurrentUB,
 author="Hans Boehm",
 title={``Undefined behavior'' and the concurrency memory model},
 month="August",
 day="14",
 year="2020",
 note="\url{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2020/p2215r0.pdf}",
}

@inproceedings{JonasOberhauser2021vsync,
 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 Haibo Chen and Jaeho Kim and Viktor Vafeiadis},
 title = "{VSYNC}: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models (Extended Abstract)",
 booktitle = {Proceedings of the Sixteenth International Conference on
Architectural Support for Programming Languages and Operating Systems
(ASPLOS 2021)},
 month = {April},
 year = {2021},
 pages = {1-4},
 publisher = {ACM},
 address = {Newport Beach, California, USA},
 url={https://asplos-conference.org/abstracts/asplos21-paper922-extended_abstract.pdf},
}