Loading...

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

If we can find information by asking GenAI, who needs the Web?

"The theory of parsing, translation, and compiling" by Aho and Ullman (1972) can be downloaded from ACM

An Introduction to Trellis-Owl (1986)

A Case for Protecting Computer Games with SGX (2016)

An AI-first program synthesis framework built around a new programming language

When Is WebAssembly Going to Get DOM Support?

ACM Transitions to Full Open Access

WebAssembly: How Low Can a Bytecode Go?

Linear Matching of JavaScript Regular Expressions

SRAM Has No Chill: Exploiting Power Domain Separation to Steal On-Chip Secrets

Hidden interface controls that affect usability

Stop Training Your Competitor's AI

The Dangers of Stochastic Parrots: Can Language Models Be Too Big?

Beyond Downtime: Architectural Resilience on Hyperscalers

Simulating Time with Square-Root Space

WebAssembly: Yes, but for What?

An Algorithm for a Better Bookshelf

Structuring Arrays with Algebraic Shapes

A study of Starbucks workers finds that difficult working conditions for service-industry workers are exacerbated by isolation from others facing similar challenges

Magnetic Tape Storage Technology: usage, history, and future outlook

Lifetime Dispersion and Generational GC: An Intellectual Abstract

LLM Hallucinations in Practical Code Generation

A Dynamic Graph Approach to Immediate Cycle Collection

Verifiably Correct Lifting of Position-Independent x86-64 Binaries (2024)

StarMalloc: verified memory allocator

The Ubiquitous Skiplist: A Survey of What Cannot be Skipped About the Skiplist and its Applications in Data Systems

Handling bidirectional control flow

A Case for Feminism in Programming Language Design (2024)

Systems Correctness Practices at AWS: Leveraging Formal and Semi-formal Methods

Systems Correctness Practices at Amazon Web Services

More →