Compiler Validation via Equivalence Modulo Inputs
Presented on June 18, 2018
Presenter: Mehmet
Presenter: Mehmet
Preview
Mehmet will present Compiler Validation via Equivalence Modulo Inputs by Vu Le, Mehrdad Afshari, and Zhendong Su.
Mehmet will present Compiler Validation via Equivalence Modulo Inputs by Vu Le, Mehrdad Afshari, and Zhendong Su.