4 open source projects by StanfordPL

Automatic inference of a formal specification of the x86_64 instruction set

STOKE: A stochastic superoptimizer and program synthesizer

x86-64 assembler library

Miscellaneous utility code for c++ projects.