2018

Differential dataflow does a great number of interesting bits of data processing, but what about when you want to use complicated types, like strings? In this post we’ll check out how to use differential dataflow to intern strings, replacing them with integer identifiers that will allow the rest of our computation to execute more efficiently. From there, we’ll see how this generalizes to automatically assigning distinct record identifiers to collection elements, much like a database does!  

Zsolt István is one of the ETH Outstanding Doctoral Theses 2018 Award Winners for his PhD Thesis: "Building Distributed Storage with Specialized Hardware".

Modern memory systems are much more complicated than the traditionally assumed virtual and physical address space separation. We explain in this post which effects can not solely expressed by the basic model and are important for correct function of operating systems. We summarize our recent paper. In this work we present a theory for addressing in such modern memory subsystems. We formalize the theory in Isabelle/HOL.

Onur Mutlu has been elected as a member of the Academy of Europe (Academia Europea).

Today we’re looking at the rust borrow checker from a different perspective. As you may know, the borrow checker is designed to safely handle memory allocation and ownership, preventing accessess to invalid memory and ensuring data-race freedom. This is a form of resource management: the borrow checker is tracking who’s in charge of a chunk of memory, and who is currently allowed to read or write to it. In this post, we’ll see how these facilities can be used to enforce higher-level API ...

Special award for the best paper on research inspired by human language learning and processing to Nora Hollenstein, and co-authors for "Sequence Classification with Human Attention".

Kaan Kara obtained second place in the System Design Contest (FPGA category) at the 55th Design Automation Conference (DAC 2018).

Gustavo Alonso received the Distinguished Alumnus Award from the Department of Computer Science at the University of California, Santa Barbara, where he obtained his PhD.