Luís was a post-doctoral researcher in the Department of Computing at Imperial College London, where he worked 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.
Mvedsua: Higher Availability Dynamic Software Updates via Multi-Version Execution
International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2019)
FreeDA: Deploying Incompatible Stock Dynamic Analyses in Production via Multi-Version Execution
ACM International Conference on Computing Frontiers (CF 2018)
A DSL Approach to Reconcile Equivalent Divergent Program Executions
USENIX Annual Technical Conference (USENIX ATC 2017)
Towards Deployment-Time Dynamic Analysis of Server Applications
International Workshop on Dynamic Analysis (WODA 2015)