[[news]]
date = "2023-01-16"
event = "<a href=\"/docs/cpp23/slides_msgssa.pdf\">Presented</a> our <a href=\"/papers/cpp23_msgssa.pdf\">CPP'23 paper</a> in Boston."

[[news]]
date = "2022-12-19"
event = "Internship at Amazon in the Prime Video Automated Reasoning Group."

[[news]]
date = "2022-10-31"
event = "Present verified GSA semantics at <a href=\"https://talks.ee.ic.ac.uk/talk/index/3280\">CAS Group</a>."

[[news]]
date = "2022-08-12"
event = "Talk at the <a href=\"https://johnwickerson.github.io/cw2022.html\">Concurrency Meeting 2022</a> about <a href=\"/docs/ini22/ini22-formalised-predicates.pdf\">Formalising Predicated Execution</a>."

[[news]]
date = "2022-06-28"
event = "Program Committee for <a href=\"https://perr-workshop.github.io/2022/\">PERR'22</a>."

[[news]]
date = "2022-06-17"
event = "Presented the <a href=\"https://dx.doi.org/10.1145/3485494\">OOPSLA'21</a> paper at <a href=\"https://pldi22.sigplan.org\">PLDI'22</a>."

[[news]]
date = "2022-05-18"
event = "<a href=\"https://flashlight-workshop.github.io/slides/yann_slides.pdf\">Invited talk</a> at the <a href=\"https://flashlight-workshop.github.io\">FLASHLIGHT</a> workshop at <a href=\"https://www.fccm.org\">FCCM'22</a>."

[[news]]
date = "2022-03-04"
event = "Artefact evaluation for <a href=\"https://pldi22.sigplan.org/track/pldi-2022-PLDI-Research-Artifacts#About\">PLDI'22</a>."

[[news]]
date = "2022-02-24"
event = "Invited talk at <a href=\"https://isoft.acm.org/isec2022/iwpe\">PEQ'22</a>."

[[news]]
date = "2022-02-07"
event = "Subreviewer for <a href=\"https://www.fccm.org/\">FCCM'22</a>."

[[news]]
date = "2021-11-24"
event = "Artifact evaluation for <a href=\"https://conf.researchr.org/committee/cgo-2022/cgo-2022-call-for-artifacts-artifact-evaluation-committee\">CGO'22</a>."

[[news]]
date = "2021-11-22"
event = "Present hyperblock scheduling at <a href=\"https://talks.ee.ic.ac.uk/talk/index/1248\">CAS Group</a>."

[[news]]
date = "2021-09-16"
event = "Present Vericert at the <a href=\"https://www.chalmers.se/en/departments/cse/organisation/computingscience/Pages/default.aspx\">Formal Methods group at Chalmers</a>."

[[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-12-07"
event = "Present Vericert in front of <a href=\"https://talks.ee.ic.ac.uk/talk/index/1221\">CAS Group</a>."

[[news]]
date = "2020-09-10"
event = "<a href=\"https://2020.splashcon.org/committee/splash-2020-Artifacts-artifact-evaluation-committee\">Artifact review committee</a> 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 = "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."

[[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."

[[news]]
date = "2019-07-01"
event = "Present fuzzing Verilog for CAS Group."