Skip to main content
For Students
For Industry
For Members
Accessibility
Login
MIT CSAIL
Research
People
News
Events
Symposia
Forum
About
Research
People
News
Events
Symposia
Forum
About
For Students
For Industry
For Members
Accessibility
Login
Contact
Press Requests
Accessibility
Search
Search Keywords
15 results for
people
(2)
projects
(1)
news
(12)
(-)
events
(15)
other
(1)
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
Load More