Power-over-Skin: Full-Body Wearables Powered by Intra-Body RF Energy (2024)

Cyberpsychology's Influence on Modern Computing

The Case for Learned Index Structures

New Control Structures In APL? (1982)

Comparing a RISC and a CISC with similar hardware organization (1991)

FlexGuard: using eBPF to detect critical section preemptions and switch between spinlocks (fast) and blocking locks (resistant to oversubscription)

Fifty Years of Open Source Software Supply-Chain Security

Research introduces a comprehensive, ranked catalog of over 100 code quality defects in introductory programming, validated by an educator survey and analyzed for prevalence using a novel automated tool

Design of the SCHEME-78 Lisp-based microprocessor (1980)

Is sound gradual typing dead? Performance problems in Typed Racket (2016)