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

Examining the Use of VR as a Study Aid for University Students with ADHD | Proceedings of the CHI Conference on Human Factors in Computing Systems

My VM is lighter (and safer) than your container (2017)

BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework

SEQUEL: a structured English query language (May 1974)

Hydride: A Retargetable and Extensible Synthesis-based Compiler for Modern Hardware Architectures

50 years ago, SQL was first presented at the SIGFIDET Conference

Modeling Dynamic (De)Allocations of Local Memory for Translation Validation

Understanding misunderstandings in source code

Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour

The Essence of Compiling with Continuations (1993) [pdf]

Serious flaws in SQL (1990)

Polynima: Practical Hybrid Recompilation for Multithreaded Binaries

Paradigms of Artificial Intelligence Programming: CASE STUDIES IN COMMON LISP by Peter Norvig (online book)

Anatomy of LISP: | Guide books | ACM Digital Library , PDF available

Development of the Domain Name System (1988)

Trusting Trust: Ken Thompson on supply chain security (1984)

Survey of Distributed File System Design Choices

Interval Parsing Grammars for File Format Parsing (2023) [pdf]

More →