Stella Lau
Orcid: 0000-0003-3921-9440
According to our database1,
Stella Lau
authored at least 6 papers
between 2019 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2019
2020
2021
2022
2023
2024
0
1
2
3
4
1
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024
2023
IACR Cryptol. ePrint Arch., 2023
Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 2023
Proceedings of the 50th Annual International Symposium on Computer Architecture, 2023
2021
Effective simulation and debugging for a high-level hardware language using software compilers.
Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021
2019
Cerberus-BMC: A Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019