Loading...

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

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

File Systems Unfit as Distributed Storage Back Ends (2019)

Empowering WebAssembly with Thin Kernel Interfaces

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

Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus

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

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

A Priori Loop Nest Normalization: Automatic Loop Scheduling in Complex Applications

Principles of a reversible programming language

Verus: A Practical Foundation for Systems Verification

Study Examines How to Thoughtfully Represent ADHD in Video Games Through Teen Perspectives

The Ultimate Conditional Syntax

An Experimental Study of Bitmap Compression vs. Inverted List Compression

APL since 1978

Role of Composition in Computer Programming (1995)

Towards an API for the Real Numbers Hans

Arithmetic Coding for Data Compression

Derivative grammars: a symbolic approach to parsing with derivatives

C Is Not a Low-level Language (2018)

TensorRight: Automated Verification of Tensor Graph Rewrites

A history of APL in the USSR (1991)

Computer Architecture, Fifth Edition: A Quantitative Approach (2011)

Compilation on the GPU? A Feasibility Study

Ending Affirmative Action Harms Diversity Without Improving Academic Merit [pdf]

Compilation on the GPU? A feasibility study

Decentralized social media ‘increases citizen empowerment’, says Oxford study

The "Community Notes" (formerly "Birdwatch") feature on X/Twitter did not significantly slow the spread of misinformation on X/Twitter, because it was too slow

The Design of a Self-Compiling C Transpiler Targeting POSIX Shell

Bloat beneath Python’s Scales: A Fine-Grained Inter-Project Dependency Analysis

Rhombus: A New Spin on Macros (2023)

More →