Registered user since Tue 26 Jan 2016
Name:Anton Wijs
Country:Netherlands
Affiliation:Eindhoven University of Technology
Personal website:http://www.win.tue.nl/~awijs
Research interests:model checking, equivalence checking, multi-core computing, gpu computing, graph transformation
Contributions
| FTfJP 2020 | Towards Verified Construction of Correct and Optimised GPU Software Programme Committee in Program Committee within the FTfJP-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2020-profile
View general profile
View general profile