diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-10-09 13:55:21 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-10-09 13:55:21 +0100 |
| commit | 167a2bbdb2190a7b4189d1bb3fab2b961e9615a8 (patch) | |
| tree | 50e50e660b77725b96a65267751c721a78af249b | |
| parent | df73266cc8aebc90ad4974f144ae1fb6d416aa4f (diff) | |
| download | vericert-docs-167a2bbdb2190a7b4189d1bb3fab2b961e9615a8.tar.gz vericert-docs-167a2bbdb2190a7b4189d1bb3fab2b961e9615a8.zip | |
Add first blog post
| -rw-r--r-- | documentation.org | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/documentation.org b/documentation.org index 11b93a2..406a3df 100644 --- a/documentation.org +++ b/documentation.org @@ -627,7 +627,7 @@ A small standalone Coq file that exhibits many of the style points. Blog posts: -** TODO A First Look at Vericert :introduction:summary:@article: +** A First Look at Vericert :introduction:summary:@article: :PROPERTIES: :EXPORT_DATE: 2021-09-21 :EXPORT_FILE_NAME: a-first-look-at-vericert @@ -744,8 +744,9 @@ to reason about the RAM when it isn't enabled. *** Useful links -- [[https://yannherklotz.com/papers/fvhls_oopsla21.pdf][OOPSLA'21 preprint]] -- [[https://github.com/ymherklotz/vericert][Github repository]] +- [[https://yannherklotz.com/papers/fvhls_oopsla21.pdf][OOPSLA'21 preprint]]. +- [[https://youtu.be/clPiKbKVlUA][OOPSLA'21 presentation]]. +- [[https://github.com/ymherklotz/vericert][Github repository]]. * Future Work |