7 on this site · 0 links
Nine changes needed to deliver a radical transformation in biodiversity measurement1st Jan 2026
Banyan: Coordination-Free Distributed Transactions over Mergeable Types1st Nov 2020
DaLi: Database as a Library1st May 2017
SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems1st Oct 2015
Mergeable persistent data structures1st Jan 2015
Irminsule: a branch-consistent distributed library database1st Sep 2014
Trevi: watering down storage hotspots with cool fountain codes1st Nov 2013