blob: 3a2610476da0b6746d0c5513658000025a8bb13c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
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."
|
