diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-09-02 11:28:21 +0200 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-09-02 11:28:21 +0200 |
commit | 77afcd337370da8c8e5425e86978cacd72850ae0 (patch) | |
tree | f056fc39908e8c72523acd3cc1594b6b8040028e /data | |
download | yannherklotz.com-77afcd337370da8c8e5425e86978cacd72850ae0.tar.gz yannherklotz.com-77afcd337370da8c8e5425e86978cacd72850ae0.zip |
Add initial files
Diffstat (limited to 'data')
-rw-r--r-- | data/news.toml | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/data/news.toml b/data/news.toml new file mode 100644 index 0000000..1099a6e --- /dev/null +++ b/data/news.toml @@ -0,0 +1,43 @@ +[[news]] +date = 2021-08-31 +event = "<a href=\"/papers/fvhls_oopsla21.pdf\">Paper on Vericert</a> accepted at OOPSLA'21" + +[[news]] +date = 2021-05-31 +event = "Internship with <a href=\"https://people.irisa.fr/Sandrine.Blazy/\">Sandrine Blazy</a> and <a href=\"https://people.irisa.fr/Delphine.Demange/\">Delphine Demange</a> on <a href=\"https://gitlab.inria.fr/compcertgsa/compcertssa\">CompCertSSA</a>." + +[[news]] +date = 2021-02-05 +event = "Invited seminar talk for the <a href=\"https://team.inria.fr/celtique/\">Celtique project</a>." + +[[news]] +date = 2020-09-10 +event = "Artifact review committee at OOPSLA 2020." + +[[news]] +date = 2020-06-17 +event = "Gold medal at <a href=\"https://www.youtube.com/watch?v=gCEtTfz5dok\">PLDI 2020 SRC Presentation</a>." + +[[news]] +date = 2020-06-15 +event = "Student volunteer at PLDI 2020." + +[[news]] +date = 2020-02-25 +event = "Presented Verismith at FPGA 2020." + +[[news]] +date = 2019-12-15 +event = "FPGA 2020 <a href=\"/papers/fubfst_fpga2020.pdf\">Verismith paper</a> accepted." + +[[news]] +date = 2019-10-03 +event = "Started PhD at Imperial College London with John Wickerson." + +[[news]] +date = 2019-09-15 +event = "Submitted <a href=\"/papers/fubfst_fpga2020.pdf\">Verismith paper</a> to FPGA 2020." + +[[news]] +date = 2019-07-15 +event = "Student volunteer at ECOOP 2019." |