| Effective simulation and debugging for a high-level hardware language using software compilers C Pit-Claudel, T Bourgeat, S Lau, Arvind, A Chlipala Proceedings of the 26th ACM International Conference on Architectural …, 2021 | 13 | 2021 |
| Cerberus-BMC: A principled reference semantics and exploration tool for concurrent and sequential C S Lau, VBF Gomes, K Memarian, J Pichon-Pharabod, P Sewell Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 12 | 2019 |
| Pensieve: Microarchitectural Modeling for Security Evaluation Y Yang, T Bourgeat, S Lau, M Yan Proceedings of the 50th Annual International Symposium on Computer …, 2023 | 5 | 2023 |
| Nimble: Rollback Protection for Confidential Cloud Services S Angel, A Basu, W Cui, T Jaeger, S Lau, S Setty, S Singanamalla 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2023 | 3 | 2023 |
| Nimble: Rollback protection for confidential cloud services (extended version) S Angel, A Basu, W Cui, T Jaeger, S Lau, S Setty, S Singanamalla Cryptology ePrint Archive, 2023 | 2 | 2023 |
| An approach to model checking C based on an explicit semantics S Lau | | 2018 |
| Viral: Real-world competing process simulations on multiplex networks P Velickovic, A Ivaškovic, S Lau, M Stanojevic Belgrade BioInformatics Conference 2016, 102, 0 | | |
