progscrape: acm.org

The End of Programming

12 days ago cacm.acm.org

War on JITs: Software-Based Attacks and Hybrid Defenses for JIT Compilers

14 days ago dl.acm.org compiler

The Outlook for Programmers

16 days ago cacm.acm.org

Reversing the fossilization of computer science conferences

10 days ago cacm.acm.org compsci

Why R the Critical Value and Emergent Behavior of Large Language Models Fake?

20 days ago cacm.acm.org

Efficiency vs. Resilience

9 days ago cacm.acm.org philosophy

Unikernel Linux (UKL) (2023)

20 days ago dl.acm.org linux

ACM's flagship magazine seeks submissions by/for practitioners

13 days ago cacm.acm.org

Fifty Years of Open Source Software Supply Chain Security

31 days ago queue.acm.org security

Investigating the Luna-Terra Collapse as a Temporal Multilayer Graph

23 days ago dl.acm.org

The Last Solo Programmers

33 days ago cacm.acm.org

Efficient Computation of LALR(1) Look-Ahead Sets (1982) [pdf]

34 days ago dl.acm.org pdf

Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods

37 days ago queue.acm.org aws

A Relational Model of Data (1969)

23 days ago dl.acm.org compsci database pdf

Your Mouse Is a Database (2012)

31 days ago queue.acm.org database

Meta II a syntax-oriented compiler writing language (1964)

29 days ago dl.acm.org compiler meta

Data Race Freedom à la Mode

34 days ago dl.acm.org

C Is Not a Low-level Language: Your computer is not a fast PDP-11 (2018)

2 months ago dl.acm.org c

Richard Sutton and Andrew Barto Win 2024 Turing Award

2 months ago awards.acm.org ai turing

File Systems Unfit as Distributed Storage Back Ends (2019)

39 days ago dl.acm.org distributed pdf

Empowering WebAssembly with Thin Kernel Interfaces

38 days ago dl.acm.org kernel linux wasm

The Surprise of Multiple Dependency Graphs

39 days ago queue.acm.org pdf security

A systematic review of CS degree requirements of 250 programs worldwide finds only half offer a computing ethics class, and only a third require it

2 months ago dl.acm.org

Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus

59 days ago dl.acm.org editors pdf vcs

Systems Correctness Practices at AWS: Leveraging Formal and Semi-formal Methods

2 months ago dl.acm.org aws formalmethods

On the criteria to be used in decomposing systems into modules (1972)