| Mitosis: Transparently self-replicating page-tables for large-memory machines R Achermann, A Panwar, A Bhattacharjee, T Roscoe, J Gandhi Proceedings of the Twenty-Fifth International Conference on Architectural …, 2020 | 98 | 2020 |
| Enzian: an open, general, CPU/FPGA platform for systems software research D Cock, A Ramdas, D Schwyn, M Giardino, A Turowski, Z He, N Hossle, ... Proceedings of the 27th ACM International Conference on Architectural …, 2022 | 91 | 2022 |
| Fast sparse decision tree optimization via reference ensembles H McTavish, C Zhong, R Achermann, I Karimalis, J Chen, C Rudin, ... Proceedings of the AAAI conference on artificial intelligence 36 (9), 9604-9613, 2022 | 78 | 2022 |
| Verus: A practical foundation for systems verification A Lattuada, T Hance, J Bosamiya, M Brun, C Cho, H LeBlanc, ... Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles …, 2024 | 68 | 2024 |
| SpaceJMP: programming with multiple virtual address spaces I El Hajj, A Merritt, G Zellweger, D Milojicic, R Achermann, P Faraboschi, ... ACM SIGPLAN Notices 51 (4), 353-368, 2016 | 65 | 2016 |
| Shoal: Smart allocation and replication of memory for parallel programs S Kaestle, R Achermann, T Roscoe, T Harris 2015 USENIX Annual Technical Conference (USENIX ATC 15), 263-276, 2015 | 47 | 2015 |
| Fast local page-tables for virtualized numa servers with vmitosis A Panwar, R Achermann, A Basu, A Bhattacharjee, K Gopinath, J Gandhi Proceedings of the 26th ACM International Conference on Architectural …, 2021 | 39 | 2021 |
| {Machine-Aware} Atomic Broadcast Trees for Multicores S Kaestle, R Achermann, R Haecki, M Hoffmann, S Ramos, T Roscoe 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2016 | 35 | 2016 |
| NrOS: Effective replication and sharing in an operating system A Bhardwaj, C Kulkarni, R Achermann, I Calciu, S Kashyap, R Stutsman, ... 15th {USENIX} Symposium on Operating Systems Design and Implementation …, 2021 | 34 | 2021 |
| Not your parents' physical address space S Gerber, G Zellweger, R Achermann, K Kourtis, T Roscoe, D Milojicic 15th Workshop on Hot Topics in Operating Systems (HotOS XV), 2015 | 32 | 2015 |
| Sharding the state machine: Automated modular reasoning for complex concurrent systems T Hance, Y Zhou, A Lattuada, R Achermann, A Conway, R Stutsman, ... 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2023 | 24 | 2023 |
| Formalizing memory accesses and interrupts R Achermann, L Humbel, D Cock, T Roscoe arXiv preprint arXiv:1703.06571, 2017 | 21 | 2017 |
| Separating translation from protection in address spaces with dynamic remapping R Achermann, C Dalton, P Faraboschi, M Hoffmann, D Milojicic, G Ndu, ... Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 118-124, 2017 | 19 | 2017 |
| Physical addressing on real hardware in Isabelle/HOL R Achermann, L Humbel, D Cock, T Roscoe International Conference on Interactive Theorem Proving, 1-19, 2018 | 18 | 2018 |
| Cache-coherent accelerators for persistent memory crash consistency A Bhardwaj, T Thornley, V Pawar, R Achermann, G Zellweger, ... Proceedings of the 14th ACM Workshop on Hot Topics in Storage and File …, 2022 | 13 | 2022 |
| Mitosis workload btree R Achermann, A Panwar | 11 | 2019 |
| Beyond isolation: OS verification as a foundation for correct applications M Brun, R Achermann, T Chajed, J Howell, G Zellweger, A Lattuada Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 158-165, 2023 | 9 | 2023 |
| Declarative power sequencing J Schult, D Schwyn, M Giardino, D Cock, R Achermann, T Roscoe ACM Transactions on Embedded Computing Systems (TECS) 20 (5s), 1-21, 2021 | 8 | 2021 |
| mmapx: Uniform memory protection in a heterogeneous world R Achermann, D Cock, R Haecki, N Hossle, L Humbel, T Roscoe, ... Proceedings of the Workshop on Hot Topics in Operating Systems, 159-166, 2021 | 8 | 2021 |
| CleanQ: a lightweight, uniform, formally specified interface for intra-machine data transfer R Haecki, L Humbel, R Achermann, D Cock, D Schwyn, T Roscoe arXiv preprint arXiv:1911.08773, 2019 | 8 | 2019 |
Gerd ZellwegerFeldera Inc.Verified email at feldera.com
