Scalable and secure software: new and old challenges in programming languages -- Seminario relativo a procedura valutativa a prof. di I fascia SC 09/H1 SSD ING-INF/05 indetta con D.R. n. 3153/2016 del 13/12/2016
Lunedì, 11 Settembre, 2017 - 12:00
Aula Magna, DIAG
As humans, we are faulty. So is the software we build. Can machines help us counter our mistakes? The programming language community is committed to pushing the limits of how automated techniques can help us build secure and scalable software systems. In this talk, I would like to report on my recent research activities in the fascinating endeavours of compiler technologies and analysis techniques for software performance and reliability.