DASA: Fully Gradient-Based Program Analysis (Competition Contribution).

Felix Mchtle, Jan-Niclas Serr, Nils Loose, Thomas Eisenbarth

Browse the full TACAS paper archive.