Luís is a post-doctoral researcher in the Department of Computing at Imperial College London, where he works in the Software Reliability Group on Multi-Version Execution. Luís’ research interests include dynamic software updating, programming languages, runtime environments, and concurrency.
Luís holds a PhD from Instituto Superior Técnico since 2016. His dissertation explored how to perform Dynamic Software Updates to a Java program with minimal disruption and without requiring a custom JVM. He developed his work with Prof. João Cachopo at ESW, Prof. Luís Veiga at GSD, and Prof. Michael Hicks at PLUM.
A DSL Approach to Reconcile Equivalent Divergent Program Executions
2017 USENIX Annual Technical Conference (USENIX ATC 2017)
Towards Deployment-Time Dynamic Analysis of Server Applications
Proceedings of the 13th International Workshop on Dynamic Analysis (WODA 2015)