Michael J. Sullivan's Blog

Introduction Unlambda is a venerable part of the esoteric programming languages canon.

Our PL reading group read the paper “μKanren: A Minimal Functional Core for Relational Programming” this week.

I have to build LLVM and Clang a lot for my research.

Often I’ve found myself wanting to point someone to a description of the x86’s memory model, but there wasn’t any that quite laid it out the way I wanted.

I have something of an unfortunate fondness for indefensible hacks.

Why We Fight, or Why Your Language Needs A (Good) Memory Model, or The Tragedy Of memory_order_consume’s Unimplementability This, one of the most terrifying technical documents I’ve ever read, is why we fight: https://www.kernel.org/doc/Documentation/RCU/…

Slides from my end of summer talks for all of my Rust internships.

Here are the slides from my end of summer brown-bag presentation: http://www.msully.net/~sully/files/inline_slides.pdf.

Introduction In this post I discuss how I used Dehydra to do analysis of the entire Tracemonkey tree.