diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-11-22 23:00:40 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-11-22 23:00:40 +0000 |
commit | 00118cf04ad5e1fa25baccf518ef3283e716f5ff (patch) | |
tree | 2639487aa50bc89cf6319c4e4d7b06300f344673 | |
parent | 4dd1a6c02cb6966654a2587837a70f222b13e78b (diff) | |
download | yannherklotz.com-00118cf04ad5e1fa25baccf518ef3283e716f5ff.tar.gz yannherklotz.com-00118cf04ad5e1fa25baccf518ef3283e716f5ff.zip |
Add CPP'23 paper
-rw-r--r-- | papers.bib | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -1,3 +1,11 @@ +@inproceedings{CPP '23, + author = {Yann Herklotz, Delphine Demange and Sandrine Blazy}, + title = {Mechanised Semantics for Gated Static Single Assignment}, + year = {2023}, + booktitle = {Certified Programs and Proofs (CPP)}, + numpages = 14 +} + @inproceedings{FCCM '22, author = {Pardalos, Michalis and Herklotz, Yann and Wickerson, John}, title = {Resource Sharing for Verified High-Level Synthesis}, |