I am Pierre Wilke, a PhD student at the University of Rennes, France. My thesis concerns certified compilation of low-level C programs. I am very excited to present a poster about this research at the Poster Session of the Student Research Competition on Wednesday afternoon.
I am looking forward to hearing PLDI talks, as well as attending colocated workshops: FMS and PLMW.
See you soon!