progscrape: dl.acm.org

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

15 months ago dl.acm.org pdf

A Relational Model of Data (1969)

15 months ago dl.acm.org compsci database pdf

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

15 months ago dl.acm.org compiler meta

Data Race Freedom à la Mode

15 months ago dl.acm.org

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

16 months ago dl.acm.org c

File Systems Unfit as Distributed Storage Back Ends (2019)

15 months ago dl.acm.org distributed pdf

Empowering WebAssembly with Thin Kernel Interfaces

15 months ago dl.acm.org kernel linux wasm

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

16 months ago dl.acm.org

Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus

16 months ago dl.acm.org editors pdf vcs

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

16 months ago dl.acm.org aws formalmethods