Loading...

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

Beyond Efficiency (2013)

How CrowdStrike Stopped Everything

Tracking the historical events that lead to the interweaving of knowledge (2021)

DRAMHiT: A Hash Table Architected for the Speed of DRAM (2023)

QUIC is not quick enough over fast internet

The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing Intermediate Data Structures

Do All Problems Have Technical Fixes?

On the Operational Theory of the CPS-Calculus: Towards a Theoretical Foundation for IRs

Questioning the Criteria for Evaluating Non-Cryptographic Hash Functions

A Brief History of Blockchain Interoperability

The Lisp 2 Programming Language and System (1966) [pdf]

GPTs and Hallucination

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

More →