Search
 
   

19 results for "domain:dl.acm.org"

  1. 49
    Rust's ownership model formally proven with Coq ☶ compsci formalmethods rust dl.acm.org
    klingtnet avatar via klingtnet 6 months ago | cached | 3 comments
  2. 35
    My VM is Lighter (and Safer) than your Container security virtualization dl.acm.org
    apy avatar via apy 9 months ago | cached | 9 comments
  3. 10
    Mosaic: Processing a Trillion-Edge Graph on a Single Machine ☶ pdf programming dl.acm.org
    pushcx avatar via pushcx 1 year ago | cached | no comments
  4. 10
    LittleTable: A Time Series DB Used by Cisco Meraki Devices for Event Data databases dl.acm.org
    amontalenti avatar via amontalenti 1 year ago | cached | 3 comments
  5. 1
    Information Effects ☶ pdf compsci dl.acm.org
    praalhans avatar via praalhans 1 year ago | cached | 1 comment
  6. 1
    The next 700 syntactical models of type theory compsci dl.acm.org
    bitemyapp avatar via bitemyapp 1 year ago | cached | no comments
  7. 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 1 year ago | cached | 4 comments
  8. 1
    Some Trouble with Transparency: An Analysis of Student Errors with Object-oriented Python ☶ pdf compsci python dl.acm.org
    ngoldbaum avatar via ngoldbaum 1 year ago | cached | no comments
  9. 2
    Foundations of Session Types and Behavioural Contracts ☶ pdf compsci dl.acm.org
    craigstuntz avatar via craigstuntz 2 years ago | cached | no comments
  10. 1
    Three layer cake for shared-memory programming [2010] pdf programming dl.acm.org
    chadski avatar via chadski 2 years ago | cached | 2 comments
  11. 1
    Negative inertia: a dynamic pointing function hardware historical dl.acm.org
    zkms avatar via zkms 2 years ago | cached | no comments
  12. 5
    The Netflix Recommender System: Algorithms, Business Value, and Innovation compsci dl.acm.org
    svm avatar via svm 2 years ago | cached | 1 comment
  13. 5
    Compiler support for lightweight context switching compilers dl.acm.org
    sanxiyn avatar via sanxiyn 2 years ago | cached | 2 comments
  14. 12
    Measuring polymorphism in python programs ☶ pdf python dl.acm.org
    pushcx avatar via pushcx 2 years ago | cached | 14 comments
  15. 1
    The Programming Language Wars: Questions and Responsibilities for the Programming Language Community pdf programming science dl.acm.org
    englishm avatar via englishm 2 years ago | cached | 8 comments
  16. 5
    Adaptive lock-free maps: purely-functional to scalable pdf compsci haskell java programming dl.acm.org
    BruceM avatar via BruceM 2 years ago | cached | no comments
  17. 8
    Freer monads, more extensible effects haskell dl.acm.org
    tylerholien avatar via tylerholien 2 years ago | cached | 1 comment
  18. 5
    Safe Zero-cost Coercions for Haskell ☶ pdf haskell dl.acm.org
    SeanTAllen avatar via SeanTAllen 3 years ago | cached | 5 comments
  19. 4
    Efficient memory management for concurrent programs that use message passing programming dl.acm.org
    SeanTAllen avatar via SeanTAllen 4 years ago | cached | no comments