Samuel Z. Guyer Calvin Lin An annotation language for optimizing software libraries. 39-52 1999 DSL http://doi.acm.org/10.1145/331960.331970 db/conf/dsl/dsl1999.html#GuyerL99