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]

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

Serious flaws in SQL (1990)

Polynima: Practical Hybrid Recompilation for Multithreaded Binaries

Development of the Domain Name System (1988)

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

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]

Towards Understanding the Runtime Performance of Rust | Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering

More Fixpoints (Functional Pearl) [pdf]

Experience with an Uncommon Lisp (1986) [pdf]

Homeostasis: Design and Implementation of a Self-Stabilizing Compiler

Fast Template-Based Code Generation for MLIR

An interview study of members of r/bisexual finds that the group helps members to better understand their own lived experiences, mitigating "hermeneutical injustice" (when one doesn't have enough information to understand one's own experiences)

The Lincoln TX-2 Computer Development (1957) [pdf]

Not Without Us – Joseph Weizenbaum (1986)

CC 2024: Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction

Concurrent Processes and Their Syntax (1979) [pdf]

Towards Modern Development of Cloud Applications (2023)

Protecting Secrets from Computers (2023)

More →