Articles from dl.acm.org

Articles from dl.acm.org

Empowering WebAssembly with Thin Kernel Interfaces (dl.acm.org)
1 day ago WebAssembly

File Systems Unfit as Distributed Storage Backend (2019) (dl.acm.org)
2 days ago

Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus (dl.acm.org)
22 days ago

Systems Correctness Practices at AWS: Leveraging Formal and Semi-formal Methods (dl.acm.org)
26 days ago AWS

APL since 1978 (dl.acm.org)
2025-2-26

Principles of a reversible programming language (dl.acm.org)
2025-2-17 programming

Role of Composition in Computer Programming (1995) (dl.acm.org)
2025-2-14 programming

Systems Correctness Practices at AWS: Leveraging Formal and Semi-formal Methods (dl.acm.org)
2025-2-12 AWS

Arithmetic Coding for Data Compression (dl.acm.org)
2025-2-4

History of APL in the USSR (dl.acm.org)
2025-1-31

Derivative grammars: a symbolic approach to parsing with derivatives (dl.acm.org)
2025-1-14

C Is Not a Low-level Language (2018) (dl.acm.org)
2025-1-5

Compilation on the GPU? A feasibility study (dl.acm.org)
2024-12-1

Bloat beneath Python's Scales: A Fine-Grained Inter-Project Dependency Analysis (dl.acm.org)
2024-11-14 Python

The Design of a Self-Compiling C Transpiler Targeting POSIX Shell (dl.acm.org)
2024-11-11 Shell

Rhombus: A New Spin on Macros without All the Parentheses (dl.acm.org)
2024-11-3

Eliza in SNOBOL4 (dl.acm.org)
2024-10-20

DRAMHiT: A Hash Table Architected for the Speed of DRAM (2023) (dl.acm.org)
2024-9-28

QUIC is not Quick Enough over Fast Internet (dl.acm.org)
2024-9-9

Myths and Mythconceptions: What does it mean to be a programming language? (2021, HOPL) (dl.acm.org)
2024-8-24 programming

A systematic approach to deriving incremental type checkers (2020) (dl.acm.org)
2024-8-22

Don't Write, but Return: Replacing Output Parameters with Algebraic Data Types in C-to-Rust Translation (dl.acm.org)
2024-8-13 Rust

Just-In-Time Compilation on ARM—A Closer Look at Call-Site Code Consistency (dl.acm.org)
2024-8-12

APL Since 1978 [pdf] (2020) (dl.acm.org)
2024-7-28

Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior (dl.acm.org)
2024-7-8

When Is Parallelism Fearless and Zero-Cost with Rust? (dl.acm.org)
2024-6-20 Rust

Producer: A tool for translating Smalltalk-80 to Objective-C (1987) (dl.acm.org)
2024-6-17

Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back (2022) (dl.acm.org)
2024-6-9

The size-change principle for program termination (2001) (dl.acm.org)
2024-6-7

automemcpy: a framework for automatic generation of fundamental memory operations (dl.acm.org)
2024-6-4

Previous Page Next Page