Frans Kaashoek

Marinus Frans (Frans) Kaashoek (born 1965, Leiden) is a Dutch computer scientist, entrepreneur, and Charles Piper Professor at the Massachusetts Institute of Technology. Provided by Wikipedia
Showing 1 - 20 results of 58 for search 'Kaashoek, M. Frans', query time: 0.08s Refine Results
  1. 1
    Whanaungatanga: Sybil-proof routing with social networks

    Whanaungatanga: Sybil-proof routing with social networks by Lesniewski-Laas, Chris, Kaashoek, M. Frans

    Published 2009
    Get full text
  2. 2
    Ksplice: Automatic Rebootless Kernel Updates

    Ksplice: Automatic Rebootless Kernel Updates by Kaashoek, M. Frans, Arnold, Jeffrey B.

    Published 2010
    Get full text
    Get full text
    Article
  3. 3
    Extracting and Optimizing Formally Verified Code for Systems Programming

    Extracting and Optimizing Formally Verified Code for Systems Programming by Ioannidis, Eleftherios, Kaashoek, M. Frans, Zeldovich, Nickolai

    Published 2020
    Get full text
    Book
  4. 4
    Whanau: A Sybil-Proof Distributed Hash Table

    Whanau: A Sybil-Proof Distributed Hash Table by Kaashoek, M. Frans, Lesniewski-Laas, Christopher Tur

    Published 2011
    Get full text
    Get full text
    Article
  5. 5
    CPHash: A Cache-Partitioned Hash Table

    CPHash: A Cache-Partitioned Hash Table by Metreveli, Zviad, Zeldovich, Nickolai, Kaashoek, M. Frans

    Published 2011
    Get full text
  6. 6
    Retroactive auditing

    Retroactive auditing by Wang, Xi, Zeldovich, Nickolai, Kaashoek, M. Frans

    Published 2012
    Get full text
    Get full text
    Get full text
    Article
  7. 7
    CPHASH: A cache-partitioned hash table

    CPHASH: A cache-partitioned hash table by Metreveli, Zviad, Zeldovich, Nickolai, Kaashoek, M. Frans

    Published 2012
    Get full text
    Get full text
    Get full text
    Article
  8. 8
    Scalable Address Spaces Using Rcu Balanced Trees

    Scalable Address Spaces Using Rcu Balanced Trees by Clements, Austin T., Kaashoek, M. Frans, Zeldovich, Nickolai

    Published 2012
    Get full text
    Get full text
    Get full text
    Article
  9. 9
    RadixVM: Scalable address spaces for multithreaded applications

    RadixVM: Scalable address spaces for multithreaded applications by Clements, Austin T., Kaashoek, M. Frans, Zeldovich, Nickolai

    Published 2014
    Get full text
    Get full text
    Get full text
    Article
  10. 10
    Implementing Sequentially Consistant Shared Objects using Broadcast and Point-To-Point Communications

    Implementing Sequentially Consistant Shared Objects using Broadcast and Point-To-Point Communications by Fekete, Alan, Kaashoek, M. Frans, Lynch, Nancy A.

    Published 2023
    Get full text
  11. 11
    VerSum: Verifiable Computations over Large Public Logs

    VerSum: Verifiable Computations over Large Public Logs by van den Hooff, Jelle, Kaashoek, M. Frans, Zeldovich, Nickolai

    Published 2015
    Get full text
    Get full text
    Get full text
    Get full text
    Article
  12. 12
    Hare: a file system for non-cache-coherent multicores

    Hare: a file system for non-cache-coherent multicores by Gruenwald, Charles, Sironi, Filippo, Kaashoek, M. Frans, Zeldovich, Nickolai

    Published 2016
    Get full text
    Get full text
    Get full text
    Article
  13. 13
    Verifying concurrent, crash-safe systems with Perennial

    Verifying concurrent, crash-safe systems with Perennial by Chajed, Tej, Tassarotti, Joseph, Kaashoek, M. Frans, Zeldovich, Nickolai

    Published 2021
    Get full text
    Article
  14. 14
    Argosy: verifying layered storage systems with recovery refinement

    Argosy: verifying layered storage systems with recovery refinement by Chajed, Tej, Tassarotti, Joseph, Kaashoek, M. Frans, Zeldovich, Nickolai

    Published 2021
    Get full text
    Article
  15. 15
    FUGU: Implementing Translation and Protection in a Multiuser, Multimodel Multiprocessor

    FUGU: Implementing Translation and Protection in a Multiuser, Multimodel Multiprocessor by Mackenzie, Kenneth, Kubiatowicz, John, Agarwal, Anant, Kaashoek, M. Frans

    Published 2023
    Get full text
  16. 16
    CRL: High - Performance All-Software Distributed Shared Memory*

    CRL: High - Performance All-Software Distributed Shared Memory* by Johnson, Kirk L., Kaashoek, M. Frans, Wallach, Deborah A.

    Published 2023
    Get full text
  17. 17
    'C: A Language for High-Level, Efficient, and Machine-independant Dynamic Code Generation

    'C: A Language for High-Level, Efficient, and Machine-independant Dynamic Code Generation by Engler, Dawson R., Hsieh, Wilson C., Kaashoek, M. Frans

    Published 2023
    Get full text
  18. 18
    Logical Disk: A Simple New Approach to Improving File System Performance

    Logical Disk: A Simple New Approach to Improving File System Performance by de Jonge, Wiebren, Kaashoek, M. Frans, Hsieh, Wilson C.

    Published 2023
    Get full text
  19. 19
    Intrusion Recovery Using Selective Re-execution

    Intrusion Recovery Using Selective Re-execution by Kim, Taesoo, Wang, Xi, Zeldovich, Nickolai, Kaashoek, M. Frans

    Published 2011
    Get full text
    Get full text
    Get full text
    Article
  20. 20
    Reinventing Scheduling for Multicore Systems

    Reinventing Scheduling for Multicore Systems by Boyd-Wickizer, Silas, Morris, Robert Tappan, Kaashoek, M. Frans

    Published 2011
    Get full text
    Get full text
    Get full text
    Article

Search Tools: