Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

Customization: Optimizing Compiler Technology for SELF, a Dynamically-Typed Object-Oriented Programming Language (1989)

It's the Kernel's Fault! Custom Page Fault Handling With bpf_fault

Intuitive equals familiar

What Improves Developer Productivity at Google? Code Quality (2022)

Siblings of profoundly autistic individuals need specialized support over different phases of their life (living with sibling, being away, taking over primary care)

Pushdown automata in statistical machine translation (2014)

Into the depths of C: Elaborating the de facto standards (2016)

Functional State Machines in Rust: Typestate and Newtype Patterns

Context-Aware Inlining: Using Call-Stack Profiles for Fast and Smaller Binaries

Why Google stores billions of lines of code in a single repository (2016)

Functional State Machines in Rust: Typestate and Newtype Patterns

Programmable Property-Based Testing

Don't Stall Me Now: Hiding Memory Latency in eBPF

Understanding the limitations of Pubsub systems

λλ: A Programming Language for Silicon Photonics

Warnock: Harnessing GPU geometry amplification for vector graphics

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

MAGIC: Malicious Aging in Circuits/Cores

Machine-Generated, Machine-Checked Proofs for a Verified Compiler (Experience Report)

Twenty Years of Bigtable

Superoptimizer – A Look at the Smallest Program (1987) [pdf]

The drivers behind software delivery inefficiency

Stop Blaming QA and Start Diagnosing the Hidden Inefficiencies

The Birth of Prolog (1996)

Accelerating Block Low-Rank Foundation Model Inference on MemoryConstrained GPUs

Floating Companion: Exploring Design Space for Soft Floating Robots in Indoor

Why Does the Cloud Stop Computing?: Lessons from Hundreds of Service Outages (2016)

AutoCO: An Online Continuous Optimization System for Phase-Changing Database Workloads

Software Security Analysis in 2030 and Beyond: A Research Roadmap

Convolutional Neural Networks in APL (2019)

More →