progscrape: dl.acm.org

The Dangers of Stochastic Parrots: Can Language Models Be Too Big?

9 days ago dl.acm.org

Simulating Time with Square-Root Space

29 hours ago dl.acm.org

Structuring Arrays with Algebraic Shapes

18 days ago dl.acm.org pdf plt

A study of Starbucks workers finds that difficult working conditions for service-industry workers are exacerbated by isolation from others facing similar challenges

32 days ago dl.acm.org

Magnetic Tape Storage Technology: usage, history, and future outlook

16 days ago dl.acm.org

Lifetime Dispersion and Generational GC: An Intellectual Abstract

21 days ago dl.acm.org plt

LLM Hallucinations in Practical Code Generation

22 days ago dl.acm.org llm

A Dynamic Graph Approach to Immediate Cycle Collection

26 days ago dl.acm.org compiler lisp

Verifiably Correct Lifting of Position-Independent x86-64 Binaries (2024)

20 days ago dl.acm.org

StarMalloc: verified memory allocator

32 days ago dl.acm.org compsci formalmethods security

The Ubiquitous Skiplist: A Survey of What Cannot be Skipped About the Skiplist and its Applications in Data Systems

26 days ago dl.acm.org

Handling bidirectional control flow

41 days ago dl.acm.org pdf plt

A Case for Feminism in Programming Language Design (2024)

40 days ago dl.acm.org

New Reddit post analysis identifies potentially harmful online actors based solely on their behavioral patterns

2 months ago dl.acm.org reddit

Ada in China (1994)

2 months ago dl.acm.org china historical pdf plt

Study investigates motivational foundations of digital self control in social media: Both high and low personal investment lead to regret and negative outcomes

2 months ago dl.acm.org media

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

2 months ago dl.acm.org compiler

Unikernel Linux (UKL) (2023)

2 months ago dl.acm.org linux

Investigating the Luna-Terra Collapse as a Temporal Multilayer Graph

3 months ago dl.acm.org

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

3 months ago dl.acm.org pdf

A Relational Model of Data (1969)

3 months ago dl.acm.org compsci database pdf

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

3 months ago dl.acm.org compiler meta

Data Race Freedom à la Mode

3 months ago dl.acm.org

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

4 months ago dl.acm.org c

File Systems Unfit as Distributed Storage Back Ends (2019)

3 months ago dl.acm.org distributed pdf

Empowering WebAssembly with Thin Kernel Interfaces

3 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

4 months ago dl.acm.org

Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus

4 months ago dl.acm.org editors pdf vcs

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

4 months ago dl.acm.org aws formalmethods

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