52 stories from 37 submitters
  1. 2
    Write-protection enforcement: hypervisor-backed kernel hardening pdf security dl.acm.org
    fro avatar via fro 1 year ago | cached | 1 comment
  2. 7
    Concurrent Hash Tables ☶ pdf compsci programming dl.acm.org
    calvin avatar via calvin 1 year ago | cached | no comments
  3. 2
    Debugging Distributed Systems pdf debugging distributed dl.acm.org
    calvin avatar via calvin 1 year ago | cached | no comments
  4. 2
    A Linux in unikernel clothing pdf linux osdev dl.acm.org
    calvin avatar via calvin 1 year ago | cached | 4 comments
  5. 1
    MERR: Improving Security of Persistent Memory Objects via Efficient Memory Exposure Reduction pdf security dl.acm.org
    fro avatar via fro 1 year ago | cached | no comments
  6. 3
    Algorithmic realism ai practices dl.acm.org
    chobeat avatar via chobeat 1 year ago | cached | 1 comment
  7. 22
    Dependent type systems as macros lisp plt dl.acm.org
    WilhelmVonWeiner avatar via WilhelmVonWeiner 1 year ago | cached | 2 comments
  8. 49
    Rust's ownership model formally proven with Coq ☶ compsci formalmethods rust dl.acm.org
    klingtnet avatar via klingtnet 3 years ago | cached | 3 comments
  9. 35
    My VM is Lighter (and Safer) than your Container security virtualization dl.acm.org
    apy avatar via apy 4 years ago | cached | 9 comments
  10. 10
    Mosaic: Processing a Trillion-Edge Graph on a Single Machine ☶ pdf programming dl.acm.org
    pushcx avatar via pushcx 4 years ago | cached | no comments
  11. 10
    LittleTable: A Time Series DB Used by Cisco Meraki Devices for Event Data databases dl.acm.org
    amontalenti avatar via amontalenti 4 years ago | cached | 3 comments
  12. 1
    Information Effects ☶ pdf compsci dl.acm.org
    praalhans avatar via praalhans 4 years ago | cached | 1 comment
  13. 1
    The next 700 syntactical models of type theory compsci dl.acm.org
    bitemyapp avatar via bitemyapp 4 years ago | cached | no comments
  14. 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 5 years ago | cached | 4 comments
  15. 1
    Some Trouble with Transparency: An Analysis of Student Errors with Object-oriented Python ☶ pdf compsci python dl.acm.org
    ngoldbaum avatar via ngoldbaum 5 years ago | cached | no comments
  16. 2
    Foundations of Session Types and Behavioural Contracts ☶ pdf compsci dl.acm.org
    craigstuntz avatar via craigstuntz 5 years ago | cached | no comments
  17. 1
    Three layer cake for shared-memory programming [2010] pdf programming dl.acm.org
    chadski avatar via chadski 5 years ago | cached | 2 comments
  18. 1
    Negative inertia: a dynamic pointing function hardware historical dl.acm.org
    zkms avatar via zkms 5 years ago | cached | no comments
  19. 5
    The Netflix Recommender System: Algorithms, Business Value, and Innovation compsci dl.acm.org
    svm avatar via svm 5 years ago | cached | 1 comment
  20. 5
    Compiler support for lightweight context switching compilers dl.acm.org
    sanxiyn avatar via sanxiyn 6 years ago | cached | 2 comments
  21. 12
    Measuring polymorphism in python programs ☶ pdf python dl.acm.org
    pushcx avatar via pushcx 6 years ago | cached | 14 comments
  22. 1
    The Programming Language Wars: Questions and Responsibilities for the Programming Language Community pdf programming science dl.acm.org
    englishm avatar via englishm 6 years ago | cached | 8 comments
  23. 5
    Adaptive lock-free maps: purely-functional to scalable pdf compsci haskell java programming dl.acm.org
    BruceM avatar via BruceM 6 years ago | cached | no comments
  24. 8
    Freer monads, more extensible effects haskell dl.acm.org
    tylerholien avatar via tylerholien 6 years ago | cached | 1 comment
  25. 5
    Safe Zero-cost Coercions for Haskell ☶ pdf haskell dl.acm.org
    SeanTAllen avatar via SeanTAllen 7 years ago | cached | 5 comments
<< Page 1 | Page 3 >>