Amit Systems Lab
Amit Systems Lab
Operating systems · Virtualization · Memory management
Led by Dr. Nadav Amit at the Technion.
We build practical mechanisms that let real software get the most out of modern hardware — without giving up on safety, debuggability, or portability.
What we work on
Memory systems & TLB efficiency
Huge pages for real-world executables, page-access tracking, TLB shootdown optimization.
Operating-system extensibility
Verified kernel extensions, hyperupcalls, and other ways to safely move policy into the guest.
Virtualization & far memory
Disaggregated memory, exitless interrupts, IOMMU efficiency, fault-driven prefetch.
Systems diagnostics
Symbolic-execution-driven root-cause analysis for system-call failures and beyond.