Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

Structuring Arrays with Algebraic Shapes

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

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

Lifetime Dispersion and Generational GC: An Intellectual Abstract

LLM Hallucinations in Practical Code Generation

A Dynamic Graph Approach to Immediate Cycle Collection

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

StarMalloc: verified memory allocator

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

Handling bidirectional control flow

A Case for Feminism in Programming Language Design (2024)

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

Systems Correctness Practices at Amazon Web Services

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

Ada in China (1994)

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

Will AI systems perform poorly due to AI-generated material in training data?

C is not a low-level language (2018)

Why Computing Belongs Within the Social Sciences (2020)

Forgotten APL Influences (2016)

The End of Programming

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

The Outlook for Programmers

Reversing the fossilization of computer science conferences

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

Efficiency vs. Resilience

Unikernel Linux (UKL) (2023)

ACM's flagship magazine seeks submissions by/for practitioners

Fifty Years of Open Source Software Supply Chain Security

Investigating the Luna-Terra Collapse as a Temporal Multilayer Graph

More →