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

bib: Add reference for LKMM companion tests


Signed-off-by: Michalis Kokologiannakis's avatarMichalis Kokologiannakis <mixaskok@gmail.com>
parent 82cf310a
......@@ -4323,6 +4323,16 @@
urldate = {2020-05-20}
}
@Misc{ www:lkmm-tests,
key = {lkmm-tests},
title = {Automatically generated litmus tests for validation
{LISA}-language {Linux-kernel} memory models},
author = {Paul E. McKenney},
year = {2021},
url = {https://github.com/paulmckrcu/litmus},
urldate = {2021-05-28}
}
@Misc{ www:lli,
key = {lli},
title = {{lli} - directly execute programs from {LLVM} bitcode},
......
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