Performance Evolution of Mitigating Transient Execution Attacks by Behrens, Jonathan, Belay, Adam, Kaashoek, M

Get full text

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

Get full text

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

Get full text
Get full text

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

Get full text

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

Get full text
Get full text

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

Get full text

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

Get full text
Get full text
Get full text

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

Get full text
Get full text
Get full text

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

Get full text
Get full text
Get full text

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

Get full text
Get full text
Get full text

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

Get full text

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

Get full text
Get full text
Get full text
Get full text

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

Get full text
Get full text
Get full text

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

Get full text

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

Get full text

Position: GDPR Compliance by Construction by Schwarzkopf, Malte, Kohler, Eddie, Frans Kaashoek, M, Morris, Robert

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text