21 stories from 19 submitters
  1. 3
    Algorithmic realism ai practices dl.acm.org
    chobeat avatar via chobeat 16 days ago | cached | 1 comment
  2. 21
    Dependent type systems as macros lisp plt dl.acm.org
    WilhelmVonWeiner avatar via WilhelmVonWeiner 23 days ago | cached | 2 comments
  3. 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
  4. 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
  5. 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
  6. 10
    LittleTable: A Time Series DB Used by Cisco Meraki Devices for Event Data databases dl.acm.org
    amontalenti avatar via amontalenti 2 years ago | cached | 3 comments
  7. 1
    Information Effects ☶ pdf compsci dl.acm.org
    praalhans avatar via praalhans 2 years ago | cached | 1 comment
  8. 1
    The next 700 syntactical models of type theory compsci dl.acm.org
    bitemyapp avatar via bitemyapp 3 years ago | cached | no comments
  9. 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
  10. 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
  11. 2
    Foundations of Session Types and Behavioural Contracts ☶ pdf compsci dl.acm.org
    craigstuntz avatar via craigstuntz 3 years ago | cached | no comments
  12. 1
    Three layer cake for shared-memory programming [2010] pdf programming dl.acm.org
    chadski avatar via chadski 3 years ago | cached | 2 comments
  13. 1
    Negative inertia: a dynamic pointing function hardware historical dl.acm.org
    zkms avatar via zkms 4 years ago | cached | no comments
  14. 5
    The Netflix Recommender System: Algorithms, Business Value, and Innovation compsci dl.acm.org
    svm avatar via svm 4 years ago | cached | 1 comment
  15. 5
    Compiler support for lightweight context switching compilers dl.acm.org
    sanxiyn avatar via sanxiyn 4 years ago | cached | 2 comments
  16. 12
    Measuring polymorphism in python programs ☶ pdf python dl.acm.org
    pushcx avatar via pushcx 4 years ago | cached | 14 comments
  17. 1
    The Programming Language Wars: Questions and Responsibilities for the Programming Language Community pdf programming science dl.acm.org
    englishm avatar via englishm 4 years ago | cached | 8 comments
  18. 5
    Adaptive lock-free maps: purely-functional to scalable pdf compsci haskell java programming dl.acm.org
    BruceM avatar via BruceM 4 years ago | cached | no comments
  19. 8
    Freer monads, more extensible effects haskell dl.acm.org
    tylerholien avatar via tylerholien 4 years ago | cached | 1 comment
  20. 5
    Safe Zero-cost Coercions for Haskell ☶ pdf haskell dl.acm.org
    SeanTAllen avatar via SeanTAllen 5 years ago | cached | 5 comments
  21. 4
    Efficient memory management for concurrent programs that use message passing programming dl.acm.org
    SeanTAllen avatar via SeanTAllen 6 years ago | cached | no comments