Registered user since Wed 13 Jan 2016
Name: Sebastian Wolff
Affiliation: Fraunhofer ITWM and TU Kaiserslautern
Personal website: http://concurrency.informatik.uni-kl.de/group/wolff/home.html
Contributions
| VMCAI | Author of Pointer Race Freedom within the VMCAI-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2016-profile
View general profile
View general profile