Organization

Full Program · Contributors · · Search Program · My Agenda · Happening Now

Télécom Paris

Presenters

Florian Brandner

Felipe Lisboa Malaquias

Presentations

Networking Reception

Work-in-Progress Poster

A Coq Framework for More Trustworthy DRAM Controllers