Hypermedia Controls: Feral to Formal (PDF: ACM HT'24)

Faster Integer Programming

MIT CS Professor Tests AI's Impact on Educating Programmers

Snapshottable Stores

10 Things Software Developers Should Learn about Learning

GenAI diminishes creativity instead of inspiration

A systematic approach to deriving incremental type checkers (2020)

What does it mean to be a programming language, anyhow? (2021) [pdf]

Calendar Queues: A Fast O(1) Priority Queue Implementation (1988)

The historical distinction between coder and programmer

Compiling Loop-Based Nested Parallelism for Irregular Workloads

Don't Write, but Return: Replacing Output Parameters with Algebraic Data Types in C-to-Rust Translation

Just-In-Time Compilation on ARM—A Closer Look at Call-Site Code Consistency

Interval parsing grammars for file format parsing (2023)

Alive and Well, as a Matter of Fax

SQL/SE Query Language Extension for Schema Evolution (1992) [pdf]

The Impact of AI on Computer Science Education

Free and Open Source Software–and Other Market Failures

APL Since 1978 [pdf] (2020)

A survey of general-purpose polyhedral compilers

Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior

ACM Profits Considered Harmful

Elligator: Elliptic-curve points indistinguishable from uniform random strings (2013)

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

Understanding GPU Memory Corruption at Extreme Scale: The Summit Case Study

Boosting Compiler Testing by Injecting Real-World Code

Air-Bus Hijacking: Silently Taking over Avionics Systems

Explainability is not a game

Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior

Misconceptions about loops in C

More →