Articles from dl.acm.org

Articles from dl.acm.org

Understanding misunderstandings in source code (dl.acm.org)
2024-5-15

SEQUEL: a structured English query language (May 1974) (dl.acm.org)
2024-5-14

Survey of Distributed File System Design Choices (dl.acm.org)
2024-4-2

Interval Parsing Grammars for File Format Parsing (dl.acm.org)
2024-3-26

More Fixpoints! (Functional Pearl) (dl.acm.org)
2024-3-12 Functional

Concurrent Processes and Their Syntax (1979) [pdf] (dl.acm.org)
2024-2-7

Kernel extension verification is untenable (dl.acm.org)
2024-1-15

A Google's proposal for an alternative to microservices. "Towards Modern Development of Cloud Applications" (dl.acm.org)
2024-1-14 Microservice Cloud Google

Kernel vs. User-Level Networking: Don't Throw Out the Stack with the Interrupts (dl.acm.org)
2023-12-14

Phantom: Exploiting Decoder-detectable Mispredictions (dl.acm.org)
2023-12-10

Clockhands: Rename-free Instruction Set Architecture for Out-of-order Processors (dl.acm.org)
2023-12-10 Architecture

META II: Digital Vellum in the Digital Scriptorium (dl.acm.org)
2023-12-7

What if mass storage were free? – George Copeland (1980) [pdf] (dl.acm.org)
2023-12-2

Aesop: White-Box Best-First Proof Search for Lean (dl.acm.org)
2023-12-1

An Empirical Comparison of the RISCV and AArch64 Instruction Sets (dl.acm.org)
2023-11-15

CHERI-picking: Leveraging capability hardware for prefetching (dl.acm.org)
2023-11-14

From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers (dl.acm.org)
2023-11-10

Waffle: A Workload-Aware and Query-Sensitive Framework for Disk-Based Spatial Indexing (dl.acm.org)
2023-10-27

YJIT: a basic block versioning JIT compiler for CRuby (dl.acm.org)
2023-10-27

When Concurrency Matters: Behaviour-Oriented Concurrency (dl.acm.org)
2023-10-18

The object oriented pre-compiler (1983) (dl.acm.org)
2023-10-17

ICFP (International Conference on Functional Programming) 2023 Proceedings (dl.acm.org)
2023-9-13 Functional programming

ICFP (International Conference on Functional Programming) 2023 Proceedings (dl.acm.org)
2023-9-2 Functional programming

Garbage Collection in a Large Lisp System (1984) (dl.acm.org)
2023-8-22 Lisp

META II: a syntax-oriented compiler writing language (dl.acm.org)
2023-8-21

Xerox PARC: A Metaobject Protocol for C++ (1995) (dl.acm.org)
2023-8-15 C++

(1972) Aesthetics and the Human Factor in Programming (dl.acm.org)
2023-7-23 programming

Putting out the hardware dumpster fire (dl.acm.org)
2023-6-24

The Fallacy of AI Functionality (dl.acm.org)
2023-6-10 AI

Beyond Relooper: recursive translation of unstructured control flow to structured control flow (dl.acm.org)
2023-5-21

Previous Page Next Page