17th HotOS 2019: Bertinoro, Italy

OS: Past and Future

Verification

Program Synthesis

Abstractions

Security

Memory, distributed

Data Center

Bugs

Machine Learning

SSD and Networking

a service of Schloss Dagstuhl - Leibniz Center for Informatics