Stella Lau
email: stellal@mit.edu
I am a PhD student in the Programming Languages and Verification group at
MIT, advised by Adam Chlipala.
My research interests include programming languages, formal methods, computer security, and computer architecture.
Previously I was at the University of Cambridge, where I obtained an MEng and BA working with Peter Sewell, Marcelo Fiore, and Timothy Griffin. In
the past, I have interned at Google, Jane Street, Facebook, and Microsoft Research.
Publications
-
Specification and Verification of Strong Timing Isolation of Hardware Enclaves
Stella Lau, Thomas Bourgeat, Clément Pit-Claudel, and Adam Chlipala.
In Proc. 2024 ACM SIGSAC Conference on Computer and Communications Security (CCS 2024)
Distinguished artifact award.
-
Nimble: Rollback Protection for Confidential Cloud Services
Sebastian Angel, Aditya Basu, Weidong Cui, Trent Jaeger, Stella Lau, Srinath Setty, and Sudheesh Singanamalla.
In Proc. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2023)
-
Pensieve: Microarchitectural Modeling for Security Evaluation
Yuheng Yang, Thomas Bourgeat, Stella Lau, and Mengjia Yan.
In Proc. 50th International Symposium on Computer Architecture (ISCA 2023)
-
Effective Simulation and Debugging for a High-Level Hardware Language Using Software Compilers
Clément Pit-Claudel, Thomas Bourgeat, Stella Lau, Arvind, and Adam Chlipala.
In Proc. 26th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2021)
-
Cerberus-BMC: a Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C
Stella Lau, Victor B. F. Gomes, Kayvan Memarian, Jean Pichon-Pharabod, and Peter Sewell.
In Proc. 31st International Conference on Computer-Aided Verification (CAV 2019)
Theses