dl.acm.org: 130 stories from 85 submitters

  1. 11
    Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior pdf compilers dl.acm.org
    GeoffWozniak avatar via GeoffWozniak 8 months ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  2. 6
    When Is Parallelism Fearless and Zero-Cost with Rust? distributed performance rust dl.acm.org
    Moonchild avatar via Moonchild 8 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 4
    Producer: A tool for translating Smalltalk-80 to Objective-C (1987) pdf compilers objectivec dl.acm.org
    calvin avatar via calvin 8 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 9
    Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back (2022) ☶ pdf plt dl.acm.org
    5d22b avatar via 5d22b 9 months ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  5. 5
    The size-change principle for program termination (2001) plt dl.acm.org
    5d22b avatar via 5d22b 9 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  6. 3
    automemcpy: a framework for automatic generation of fundamental memory operations performance dl.acm.org
    fanf avatar via fanf 9 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 6
    Understanding misunderstandings in source code programming science dl.acm.org
    pushcx avatar via pushcx 10 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  8. 9
    SEQUEL: a structured English query language (May 1974) databases dl.acm.org
    fanf avatar via fanf 10 months ago |
    Archive.org Archive.today Ghostarchive
    | 9 comments
  9. 2
    Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance c formalmethods dl.acm.org
    fanf avatar via fanf 10 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 7
    Survey of Distributed File System Design Choices distributed osdev dl.acm.org
    eatonphil avatar via eatonphil 11 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 10
    Interval Parsing Grammars for File Format Parsing pdf programming dl.acm.org
    wryl avatar via wryl 11 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  12. 9
    More Fixpoints! (Functional Pearl) ☶ pdf compilers haskell dl.acm.org
    dpercy avatar via dpercy 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  13. 1
    Kernel extension verification is untenable linux security dl.acm.org
    jerrinot avatar via jerrinot 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  14. 2
    Towards Modern Development of Cloud Applications (2023) programming dl.acm.org
    signal-11 avatar via signal-11 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  15. 7
    Kernel vs. User-Level Networking: Don't Throw Out the Stack with the Interrupts linux networking performance dl.acm.org
    ignaloidas avatar via ignaloidas 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments
  16. 2
    Phantom: Exploiting Decoder-detectable Mispredictions hardware security dl.acm.org
    knl avatar via knl 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  17. 17
    Clockhands: Rename-free Instruction Set Architecture for Out-of-order Processors hardware dl.acm.org
    knl avatar via knl 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  18. 5
    META II: Digital Vellum in the Digital Scriptorium compilers historical dl.acm.org
    surprisetalk avatar via surprisetalk 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  19. 5
    Aesop: White-Box Best-First Proof Search for Lean formalmethods dl.acm.org
    jakob avatar via jakob 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  20. 5
    An Empirical Comparison of the RISCV and AArch64 Instruction Sets ☶ pdf assembly hardware scaling dl.acm.org
    brucehoult avatar via brucehoult 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  21. 11
    CHERI-picking: Leveraging capability hardware for prefetching pdf hardware osdev dl.acm.org
    david_chisnall avatar via david_chisnall 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  22. 3
    From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers compilers performance plt dl.acm.org
    5d22b avatar via 5d22b 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  23. 1
    Waffle: A Workload-Aware and Query-Sensitive Framework for Disk-Based Spatial Indexing databases dl.acm.org
    razetime avatar via razetime 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  24. 38
    When Concurrency Matters: Behaviour-Oriented Concurrency pdf programming dl.acm.org
    david_chisnall avatar authored by david_chisnall 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 20 comments
  25. 15
    The object oriented pre-compiler (1983) objectivec plt dl.acm.org
    lorddimwit avatar via lorddimwit 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
<< Page 1 | Page 3 >>