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

The Last Solo Programmers

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

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

A Relational Model of Data (1969)

Your Mouse Is a Database (2012)

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

Data Race Freedom à la Mode

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

Richard Sutton and Andrew Barto Win 2024 Turing Award

File Systems Unfit as Distributed Storage Back Ends (2019)

Empowering WebAssembly with Thin Kernel Interfaces

The Surprise of Multiple Dependency Graphs

More →