Boosting Compiler Testing by Injecting Real-World Code

Air-Bus Hijacking: Silently Taking over Avionics Systems

Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior

Misconceptions about loops in C

When Is Parallelism Fearless and Zero-Cost with Rust?

Apache Arrow DataFusion: A Fast, Embeddable, Modular Analytic Query Engine

Falcon: A Scalable Analytical Cache Model

Connection Machine Lisp (1986)

The size-change principle for program termination (2001)

Researchers develop a model that uses mathematical psychology to help computers interpret and understand human emotions