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 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

MIT CSAIL

Massachusetts Institute of Technology

Computer Science & Artificial Intelligence Laboratory

32 Vassar St, Cambridge MA 02139

  • Contact
  • Press Requests
  • Accessibility
MIT Schwarzman College of Computing