Automatic generation of library bindings using static analysis. - Tristan Ravitch; Steve Jackson 002; Eric Aderhold; Ben Liblit (PLDI, 2009)