Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at matthew@mastracci.com

Metaobject Protocols: Why we want them and what else they can do (1993)

Metaobject protocols: Why we want them and what else they can do

In Best Paper Award Nominee study researchers describe CARMEN (i.e., Cognitively Assistive Robot for Motivation and Neurorehabilitation) - a small, tabletop robot designed to help people with mild cognitive impairment (MCI) learn skills to improve memory…

An Architectural Overview of QNX (1992) [pdf]

Half&Half: Demystifying Intel’s Directional Branch Predictors [pdf]

The "World-Famous" UC San Diego Semiotic Zoo (2000)

State of the Art in Monte Carlo Ray Tracing for Realistic Image Synthesis [2001]

Personalized Machine Learning

Optimal Probabilistic Cache Stampede Prevention (pdf, 2015)

Development of the Domain Name System (1988)

Liquid information flow control

Programming with a Read-Eval-Synth Loop

Small-Step Live Programming by Example

[Paper] Understanding Memory and Thread Safety Practices and Issues in Real-World Rust Programs

The Geometry Engine: A VLSI Geometry System for Graphics (1982)

Reliably Erasing Data from Flash-Based Solid State Drives [2010]

IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (2015)

Principled and Practical Web Application Security (2015)

Ivan Sutherland: Technology and Courage (1996)

The Evolution of Bitcoin Hardware

FaCT: A Flexible, Constant-Time Programming Language

Tossing Algebraic Flowers Down the Great Divide (1997)

Is Dark Silicon Useful? (2012)

The Inside Story on Shared Libraries and Dynamic Loading

Printing Floating-Point Numbers: A Faster, Always Correct Method

The Inside story on Shared Libraries and Dynamic Loading

The Dolev-Yao model

Writing an Operating System with Modula-3 (1995)

The State Machine Approach: A tutorial

Life in the Fast Lane – Viewed from the Confluence Lens [pdf]

More →