Optimizations in C++ compilers: a practical journey

Practical Security in Production

Researchers use deep learning surrogate model to create the first Milky Way simulation model that tracks over 100 billion stars individually.

Domain-specific Languages and Code Synthesis Using Haskell

Using an Array of Needles to Create Solid Knitted Shapes

A Practical Guide to Transitioning to Memory-Safe Languages

The Silent Scientist: When Software Research Fails to Reach Its Audience

CodeSummit 2.O: National-Level Coding Competition

Videogame players who helped a High Need NPC reported higher levels of moral satisfaction, but were less likely to report moral reasoning than if the NPC was Low Need / No Reward

Property-Based Testing in Practice

"Fanchuan" is a form of trolling in which the attacker feigns support for an entity (like a celebrity or band), and later engages in irritating behavior to disparage the entity by association

People are exposed to more misinformation in news on Facebook than other sources, but also see more diversity of views in news on Facebook than other sources (in a study of 642 people over 12 weeks…

Place Capability Graphs: A General-Purpose Model of Rust’s Ownership and Borrowing Guarantees

To Fight Business 'Enshittification', Cory Doctorow Urges Tech Workers: Join Unions

Automatically Translating C to Rust

From Linearity to Borrowing

The World's Fastest Scrabble Program (1988)

Opportunistically Parallel Lambda Calculus

How the U.S. National Science Foundation enabled Software-Defined Networking

Gauguin, Descartes, Bayes: A Diurnal Golem’s Brain

Falcon: A Reliable, Low Latency Hardware Transport

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)

More →