Commit fee10cc1 authored by Peter Schwabe's avatar Peter Schwabe
Browse files

Fixed undefined pldi string in bibtex

parent b6216b9e
......@@ -10,7 +10,7 @@
Tamara Rezk and
Gilles Barthe},
title = {Constant-time foundations for the new spectre era},
booktitle = pldi,
booktitle = {Programming Language Design and Implementation (PLDI)},
pages = {913--926},
publisher = {{ACM}},
year = {2020}
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