2018-annual-report

94
annual report
20
4. Awards
4.1. Paper Awards
4.2. Thesis Awards
1. Gilles Barthe, Benjamin Grégoire and Vincent
Laporte. Secure compilation of side-channel
countermeasures: the case of cryptographic
“constant-time”. CSF 2018. Distinguished
paper award.
2. Gregory Chockler and Alexey Gotsman. Multishot
distributed transaction commit. International
Symposium on Distributed Computing.
Best paper award.
3. Platon Kotzias, Abbas Razaghpanah, Johanna
Amann, Kenneth G. Paterson, Narseo
Vallina-Rodríguez, Juan Caballero. Coming
of Age: A Longitudinal Study of TLS Deployment.
SIGCOMM Internet Measurement Conference.
Distinguished paper award.
4. Niki Vazou, Éric Tanter, and David Van Horn.
Gradual Liquid Type Inference. OOPSLA
2018. Best Paper Award.
1. Umer Liquat. Slicing probabilistic and reactive
systems for model reduction. PhD thesis
Cum Laude award.
2. Zsolt István. Building Distributed Storage
with Specialized Hardware. ETH Zurich Medal
for Outstanding Doctoral Thesis 2018.
3. Nataliia Stulova. Improving Run-time Checking
in Dynamic Programming Languages. PhD
thesis Cum Laude award.
4.3. Other Awards
1. Silvia Sebastián. Community of Madrid Fellowship
(Call 2018).
2. Anaïs Querol. “La Caixa” Fellowship for Doctoral
Studies at Spanish Universities or Research
Centres (Call 2018).