31 stories from 24 submitters
  1. 8
    Why no one uses functional languages (1998) plt dl.acm.org
    geekingfrog avatar via geekingfrog 8 days ago | cached | 12 comments
  2. 4
    Kirigami Haptic Swatches: Design Methods for Cut-and-Fold Haptic Feedback Mechanisms pdf hardware dl.acm.org
    ngoldbaum avatar via ngoldbaum 11 days ago | cached | no comments
  3. 0
    [Story removed by original submitter]
    ngoldbaum avatar via ngoldbaum 11 days ago | cached
  4. 9
    Unikernels: The Next Stage of Linux's Dominance linux dl.acm.org
    indolering avatar via indolering 13 days ago | cached | 28 comments
  5. 4
    LibrettOS: a dynamically adaptable multiserver-library OS pdf compsci osdev dl.acm.org
    animatronic avatar via animatronic 15 days ago | cached | 1 comment
  6. 2
    Write-protection enforcement: hypervisor-backed kernel hardening pdf security dl.acm.org
    fro avatar via fro 25 days ago | cached | 1 comment
  7. 7
    Concurrent Hash Tables ☶ pdf compsci programming dl.acm.org
    calvin avatar via calvin 27 days ago | cached | no comments
  8. 2
    Debugging Distributed Systems pdf debugging distributed dl.acm.org
    calvin avatar via calvin 1 month ago | cached | no comments
  9. 2
    A Linux in unikernel clothing pdf linux osdev dl.acm.org
    calvin avatar via calvin 1 month ago | cached | 4 comments
  10. 1
    MERR: Improving Security of Persistent Memory Objects via Efficient Memory Exposure Reduction pdf security dl.acm.org
    fro avatar via fro 1 month ago | cached | no comments
  11. 3
    Algorithmic realism ai practices dl.acm.org
    chobeat avatar via chobeat 3 months ago | cached | 1 comment
  12. 22
    Dependent type systems as macros lisp plt dl.acm.org
    WilhelmVonWeiner avatar via WilhelmVonWeiner 4 months ago | cached | 2 comments
  13. 49
    Rust's ownership model formally proven with Coq ☶ compsci formalmethods rust dl.acm.org
    klingtnet avatar via klingtnet 2 years ago | cached | 3 comments
  14. 35
    My VM is Lighter (and Safer) than your Container security virtualization dl.acm.org
    apy avatar via apy 2 years ago | cached | 9 comments
  15. 10
    Mosaic: Processing a Trillion-Edge Graph on a Single Machine ☶ pdf programming dl.acm.org
    pushcx avatar via pushcx 2 years ago | cached | no comments
  16. 10
    LittleTable: A Time Series DB Used by Cisco Meraki Devices for Event Data databases dl.acm.org
    amontalenti avatar via amontalenti 3 years ago | cached | 3 comments
  17. 1
    Information Effects ☶ pdf compsci dl.acm.org
    praalhans avatar via praalhans 3 years ago | cached | 1 comment
  18. 1
    The next 700 syntactical models of type theory compsci dl.acm.org
    bitemyapp avatar via bitemyapp 3 years ago | cached | no comments
  19. 6
    An External Replication on the Effects of Test-driven Development Using a Multi-site Blind Analysis Approach programming science testing dl.acm.org
    karstensrage avatar via karstensrage 3 years ago | cached | 4 comments
  20. 1
    Some Trouble with Transparency: An Analysis of Student Errors with Object-oriented Python ☶ pdf compsci python dl.acm.org
    ngoldbaum avatar via ngoldbaum 3 years ago | cached | no comments
  21. 2
    Foundations of Session Types and Behavioural Contracts ☶ pdf compsci dl.acm.org
    craigstuntz avatar via craigstuntz 3 years ago | cached | no comments
  22. 1
    Three layer cake for shared-memory programming [2010] pdf programming dl.acm.org
    chadski avatar via chadski 3 years ago | cached | 2 comments
  23. 1
    Negative inertia: a dynamic pointing function hardware historical dl.acm.org
    zkms avatar via zkms 4 years ago | cached | no comments
  24. 5
    The Netflix Recommender System: Algorithms, Business Value, and Innovation compsci dl.acm.org
    svm avatar via svm 4 years ago | cached | 1 comment
  25. 5
    Compiler support for lightweight context switching compilers dl.acm.org
    sanxiyn avatar via sanxiyn 4 years ago | cached | 2 comments
Page 2 >>