Search Keywords

Event

Fast Code Seminar: Customizing the OS Storage and Memory Stacks With eBPF

Start date and time: Tue, 02/04/2025 - 13:00

Event

Bringing Linux back to the BIOS with LinuxBoot

Start date and time: Wed, 05/16/2018 - 14:00

Event

Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions

Start date and time: Thu, 06/20/2019 - 13:30

Event

PLSE Seminar — Nikos Vasilakis: Automated, Correct Parallelization of Shell Programs

Start date and time: Thu, 02/17/2022 - 16:00

Event

Making Databases Dance: hands on tutorial with Postgres, Linux, Docker, Kubernetes and more

Start date and time: Wed, 02/27/2019 - 14:00

Event

A Hardware Accelerator for Tracing Garbage Collection

Start date and time: Thu, 02/14/2019 - 10:00

Event

Thesis defense: Verifying a concurrent, crash-safe file system with sequential reasoning

Start date and time: Thu, 10/21/2021 - 13:00

Event

EECS Special Seminar: Taesoo Kim "Scaling Security Practices: Automated Approaches to Eliminate Security Vulnerabilities"

Start date and time: Mon, 04/02/2018 - 16:00

Event

Seminar: Modern Verification for a Rust-Centric World

Start date and time: Fri, 05/17/2024 - 11:00

Event

Microarchitectural Attacks and Beyond

Start date and time: Thu, 02/21/2019 - 13:00