Loading...

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

Pushdown automata in statistical machine translation (2014)

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)

A Core Calculus for Documents (2024)

Technical Perspective: Making Equality Saturation Usable for Developing Vectorized Compilers

Compiling Strassen-like Matrix Multiplication Algorithms to Fast CUDA Kernels

Using Task Graph Caching to Accelerate TVM Code Generation

NEURA: A Unified and Retargetable Compilation Framework for Coarse-Grained Reconfigurable Architectures

Nabokov's pale fire: the lost 'father of all hypertext demos'? (2011)

More →