Ausgabe 1/2022
Special Issue on CAV 2017
Inhalt (3 Artikel)
Static detection of uncoalesced accesses in GPU programs
Rajeev Alur, Joseph Devietti, Omar S. Navarro Leija, Nimit Singhania
Reluplex: a calculus for reasoning about deep neural networks
Guy Katz, Clark Barrett, David L. Dill, Kyle Julian, Mykel J. Kochenderfer