Articles from dl.acm.org

Articles from dl.acm.org

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

DRAMHiT: A Hash Table Architected for the Speed of DRAM (dl.acm.org)
2023-5-10

On the Dangers of Stochastic Parrots: Can Language Models Be Too Big? (2021) (dl.acm.org)
2023-3-19

Configurable Open-source Data Structure for Distributed Conforming Unstructured Homogeneous Meshes with GPU Support (dl.acm.org)
2023-3-8

On Designing Programming Error Messages for Novices: Readability and its Constituent Factors (dl.acm.org)
2023-2-21 programming

Google Stores Billions of Lines of Code in a Single Repository (2016) (dl.acm.org)
2023-2-13 Google

RegCPython: A Register-based Python Interpreter for Better Performance (dl.acm.org)
2023-2-2 Python

PiDRAM: A Holistic End-to-end FPGA-based Framework for Processing-in-DRAM (dl.acm.org)
2023-1-21

Faster general parsing through context-free memoization (PLDI 2020) (dl.acm.org)
2023-1-7

Fail-Slow at Scale: Evidence of Hardware Performance Faults in Large Production Systems (2018) (dl.acm.org)
2022-12-12

Workgraph: personal focus vs. interruption for engineers at Meta (dl.acm.org)
2022-11-30

Optimization Techniques for GPU Programming | ACM Computing Surveys (dl.acm.org)
2022-11-22 programming

C to Checked C by 3C (dl.acm.org)
2022-11-3

How to design a good API and why it matters (2006) (dl.acm.org)
2022-10-3 API

Previous Page Next Page