| 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 | 55 | 2016 |
| 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 | 38 | 2020 |
| Shoal: Smart Allocation and Replication of Memory For Parallel Programs. S Kaestle, R Achermann, T Roscoe, T Harris USENIX Annual Technical Conference, 263-276, 2015 | 33 | 2015 |
| 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 | 31 | 2015 |
| Machine-Aware Atomic Broadcast Trees for Multicores. S Kaestle, R Achermann, R Haecki, M Hoffmann, S Ramos, T Roscoe OSDI 16, 33-48, 2016 | 28 | 2016 |
| 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 | 17 | 2022 |
| 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 | 17 | 2017 |
| Formalizing memory accesses and interrupts R Achermann, L Humbel, D Cock, T Roscoe arXiv preprint arXiv:1703.06571, 2017 | 16 | 2017 |
| Physical addressing on real hardware in Isabelle/HOL R Achermann, L Humbel, D Cock, T Roscoe Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as …, 2018 | 11 | 2018 |
| 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 | 8 | 2021 |
| Towards correct-by-construction interrupt routing on real hardware L Humbel, R Achermann, D Cock, T Roscoe Proceedings of the 9th Workshop on Programming Languages and Operating …, 2017 | 8 | 2017 |
| NrOS: Effective Replication and Sharing in an Operating System. A Bhardwaj, C Kulkarni, R Achermann, I Calciu, S Kashyap, R Stutsman, ... OSDI, 295-312, 2021 | 7 | 2021 |
| Message passing and bulk transport on heterogenous multiprocessors R Achermann ETH-Zürich, 2014 | 7 | 2014 |
| mitosis-project/mitosis-workload-hashjoin: The HashJoin workload used for evaluation R Achermann Retrieved May 10, 2022, 2020 | 6 | 2020 |
| 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 | 5 | 2021 |
| On memory addressing R Achermann ETH Zurich, 2020 | 5 | 2020 |
| Memory-side protection with a capability enforcement co-processor L Azriel, L Humbel, R Achermann, A Richardson, M Hoffmann, ... ACM Transactions on Architecture and Code Optimization (TACO) 16 (1), 1-26, 2019 | 4 | 2019 |
| 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 | 3 | 2022 |
| How smart guessing strategies can yield massive scalability improvements for sparse decision tree optimization H McTavish, C Zhong, R Achermann, I Karimalis, J Chen, C Rudin, ... arXiv preprint arXiv:2112.00798, 2021 | 3 | 2021 |
| A least-privilege memory protection model for modern hardware R Achermann, N Hossle, L Humbel, D Schwyn, D Cock, T Roscoe arXiv preprint arXiv:1908.08707, 2019 | 3 | 2019 |
Gerd ZellwegerVMware ResearchAdresse e-mail validée de vmware.com
