>_
Anil Madhavapeddy
@avsm
/
About
Projects
Ideas
Papers
Notes
Talks
Network
Links
Subscribe
Atom
full
JSON Feed
full
Atom
perma
JSON Feed
perma
>_
Anil Madhavapeddy
About
Projects
Ideas
Papers
Notes
Talks
Network
Links
>_
3 on this site · 0 links
On this site
relevance
date
3
Lineage first computing: towards a frugal userspace for Linux
1st Dec 2024
#abstract
#linux
#shark
#systems
#zfs
Enabling Lightweight Privilege Separation in Applications with MicroGuards
1st Oct 2023
#conference
#difc-tee
#linux
#os
#security
SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems
1st Oct 2015
#conference
#formal
#linux
#storage
#systems
