diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-12-12 16:12:07 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-12-12 16:12:07 +0000 |
commit | 08bf20331c473f40581007640661278bdc5ee640 (patch) | |
tree | ceb88dac7c8d27efacef6ac721d00d2f598daef6 /data | |
parent | bfba60f048fd906768d05996826295ccb91d3ed2 (diff) | |
download | yannherklotz.com-08bf20331c473f40581007640661278bdc5ee640.tar.gz yannherklotz.com-08bf20331c473f40581007640661278bdc5ee640.zip |
Update the introduction
Diffstat (limited to 'data')
-rw-r--r-- | data/news.toml | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/data/news.toml b/data/news.toml index bf0ac6f..52b1b76 100644 --- a/data/news.toml +++ b/data/news.toml @@ -1,4 +1,8 @@ [[news]] +date = "2021-11-22" +event = "Present hyperblock scheduling at CAS Group." + +[[news]] date = "2021-09-16" event = "Presented Vericert at the Formal Methods group at Chalmers." @@ -15,6 +19,10 @@ date = "2021-02-05" event = "Invited seminar talk for the <a href=\"https://team.inria.fr/celtique/\">Celtique project</a>." [[news]] +date = "2020-12-07" +event = "Presented Vericert in front of CAS Group." + +[[news]] date = "2020-09-10" event = "Artifact review committee at OOPSLA 2020." @@ -31,6 +39,10 @@ date = "2020-02-25" event = "Presented Verismith at FPGA 2020." [[news]] +date = "2020-02-03" +event = "Presented Verismith in front of CAS Group." + +[[news]] date = "2019-12-15" event = "FPGA 2020 <a href=\"/papers/fubfst_fpga2020.pdf\">Verismith paper</a> accepted." @@ -45,3 +57,7 @@ event = "Submitted <a href=\"/papers/fubfst_fpga2020.pdf\">Verismith paper</a> t [[news]] date = "2019-07-15" event = "Student volunteer at ECOOP 2019." + +[[news]] +date = "2019-07-01" +event = "Present fuzzing Verilog for CAS Group." |