Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Reto
    Last name: Achermann
    DBLP: 163/1550
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 6 of 6  
    Select a publication
    Show Title Venue Rating Date PDF
    Journal article
    Reto Achermann, Lukas Humbel, David Cock, Timothy Roscoe.
    Formalizing Memory Accesses and Interrupts.
    Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017, Uppsala, Sweden, 29th April 2017. 2017, Volume 244 (0) 2017
    Conference paper
    Stefan Kaestle, Reto Achermann, Roni Haecki, Moritz Hoffmann, Sabela Ramos, Timothy Roscoe.
    Machine-Aware Atomic Broadcast Trees for Multicores.
    12th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2016, Savannah, GA, USA, November 2-4, 2016. 2016 (0) 2016
    Conference paper
    Izzat El Hajj, Alex Merritt, Gerd Zellweger, Dejan S. Milojicic, Reto Achermann, Paolo Faraboschi, Wen-Mei W. Hwu, Timothy Roscoe, Karsten Schwan.
    SpaceJMP: Programming with Multiple Virtual Address Spaces.
    Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS '16, Atlanta, GA, USA, April 2-6, 2016 2016 (0) 2016
    Conference paper
    Stefan Kaestle, Reto Achermann, Timothy Roscoe, Timothy L. Harris.
    Shoal: Smart Allocation and Replication of Memory For Parallel Programs.
    2015 USENIX Annual Technical Conference, USENIX ATC '15, July 8-10, Santa Clara, CA, USA 2015 (0) 7 / 2015 Download
    Conference paper
    Simon Gerber, Gerd Zellweger, Reto Achermann, Kornilios Kourtis, Timothy Roscoe, Dejan S. Milojicic.
    Not Your Parents' Physical Address Space.
    15th Workshop on Hot Topics in Operating Systems, HotOS XV, Kartause Ittingen, Switzerland, May 18-20, 2015 2015 (0) 5 / 2015 Download
    Master's thesis
    Reto Achermann.
    Message Passing and Bulk Transport on Heterogeneous Multiprocessors
    Supervised by: Prof. Timothy Roscoe
    Systems Group Master's Thesis, no. 118; Department of Computer Science, ETH Zurich, October 2014. (0) 10 / 2014 Download
    Show item 1 to 6 of 6  

    Your query returned 6 matches in the database.