31 on this site · 0 links
Solving Package Management via Hypergraph Dependency Resolution1st Jun 2025
Energy-Aware Deep Learning on Resource-Constrained Hardware1st May 2025
Lineage first computing: towards a frugal userspace for Linux1st Dec 2024
Carbon-aware Name Resolution1st Dec 2024
Scheduling for Reduced Tail Task Latencies in Highly Utilized Datacenters1st Nov 2024Planetary computing for data-driven environmental policy-making1st Mar 2024
Where on Earth is the Spatial Name System?1st Nov 2023
Information Flow Tracking for Heterogeneous Compartmentalized Software1st Oct 2023
Enabling Lightweight Privilege Separation in Applications with MicroGuards1st Oct 2023
Eio 1.0 – Effects-based IO for OCaml 51st Sep 2023
Enhancing the Security & Privacy of Wearable Brain-Computer Interfaces1st Jan 2022
Retrofitting effect handlers onto OCaml1st Jun 2021
Retrofitting parallelism onto OCaml1st Aug 2020
Snape: The Dark Art of Handling Heterogeneous Enclaves1st Mar 2019
Bounding data races in space and time1st Jun 2018
An architecture for interspatial communication1st Apr 2018
FLICK: Developing and Running Application-Specific Network Services1st Jun 2016
SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems1st Oct 2015
Jitsu: Just-In-Time Summoning of Unikernels1st May 2015
Unikernels: Rise of the Virtual Library Operating System1st Nov 2013