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.
Group Publications
-
SaBRe: Load-time Selective Binary Rewriting
Paul-Antoine Arras, Anastasios Andronidis, Luís Pina, Karolis Mituzas, Qianyi Shu, Daniel Grumberg, Cristian Cadar
International Journal on Software Tools for Technology Transfer (STTT 2022)
-
Mvedsua: Higher Availability Dynamic Software Updates via Multi-Version Execution
Luís Pina, Anastasios Andronidis, Michael Hicks, Cristian Cadar
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
Luís Pina, Anastasios Andronidis, Cristian Cadar
ACM International Conference on Computing Frontiers (CF 2018)
-
A DSL Approach to Reconcile Equivalent Divergent Program Executions
Luís Pina, Daniel Grumberg, Anastasios Andronidis, Cristian Cadar
USENIX Annual Technical Conference (USENIX ATC 2017)
-
Towards Deployment-Time Dynamic Analysis of Server Applications
International Workshop on Dynamic Analysis (WODA 2015)