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

OpenVPN Is Open to VPN Fingerprinting

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)

Colorless green DNNs sleep furiously in an unexplainable fantasy

Forgotten APL Influences (2016) [pdf]

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

The First Computer Program – Communications of the ACM

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

Specifying the power and limitations of randomness

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)

AI's Impact on CS Education Likened to Calculator's Impact on Math Education

2023 ACM Turing Prize awarded to Avi Wigderson

In Memoriam: Ross Anderson, 1956-2024

More →