Sunday, June 12, 2016

Pre PLDI 2016

Dear all,

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!


No comments:

Post a Comment