denizyuret/tacl2013dynamicoracles archive