Commit e2f11b33 authored by Viktor Vafeiadis's avatar Viktor Vafeiadis
Browse files

bib: add Leaky semicolon

parent 6ecd5d86
Pipeline #64646 failed with stage
in 48 seconds
......@@ -2109,6 +2109,21 @@
location = {New York, NY, USA}
}
@Article{ jeffrey2022:leaky-semicolon,
author = {Alan Jeffrey and James Riely and Mark Batty and
Simon Cooksey and Ilya Kaysin and Anton Podkopaev},
title = {The leaky semicolon: Compositional semantic dependencies for
relaxed-memory concurrency},
journal = {\bibPACMPL},
volume = {6},
number = {{POPL}},
pages = {1--30},
year = {2022},
publisher = {ACM},
location = {New York, NY, USA}
doi = {10.1145/3498716},
}
@InProceedings{ jensen2012:fsl,
title = {Fictional separation logic},
author = {Jonas Jensen and Lars Birkedal},
......
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