Interval parsing grammars for file format parsing (2023)

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

APL Since 1978 [pdf] (2020)

A survey of general-purpose polyhedral compilers

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

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

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

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

Misconceptions about loops in C

When Is Parallelism Fearless and Zero-Cost with Rust?

Apache Arrow DataFusion: A Fast, Embeddable, Modular Analytic Query Engine

Falcon: A Scalable Analytical Cache Model

Connection Machine Lisp (1986)

The size-change principle for program termination (2001)

Researchers develop a model that uses mathematical psychology to help computers interpret and understand human emotions

New methodology - using labeling functions to represent motivation of GitHub Developers

automemcpy: a framework for automatic generation of fundamental memory operations

Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back (2022)

Motivated developers contribute 300% more commits

Producer: A tool for translating Smalltalk-80 to Objective-C (1987)

Analysis of ChatGPT answers to 517 programming questions finds 52% of ChatGPT answers contain incorrect information

A study of how hard it is to cancel online subscriptions finds "dark patterns," including long and arduous cancellation flows, misleading button placements, and compulsory exit surveys

SEQUEL: A Structured English Query Language (1974)

Agenda: a personal information manager (1990) [pdf]

AdFlush

Social media sites choose what users see, but many people would prefer to make their own choices

Von Neumann's First Computer Program (1970)

(De/Re)-Composition of Data-Parallel Computations via Multi-Dimensional Homomorphisms

More →