Folgen
Reto Achermann
Reto Achermann
Bestätigte E-Mail-Adresse bei cs.ubc.ca - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
662020
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
622016
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
522022
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
422015
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
322022
{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
322016
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
312015
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
222021
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
192017
Formalizing memory accesses and interrupts
R Achermann, L Humbel, D Cock, T Roscoe
arXiv preprint arXiv:1703.06571, 2017
192017
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
152021
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
152018
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
132023
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
82022
mitosis-project/mitosis-workload-hashjoin: The HashJoin workload used for evaluation
R Achermann
Retrieved May 10, 2022, 2020
72020
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
72017
Message passing and bulk transport on heterogenous multiprocessors
R Achermann
ETH-Zürich, 2014
72014
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
62021
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
62019
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
52021
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20