Registered user since Mon 23 Apr 2018
Contributions
| DeepSpec 2018 | Multicore and Multithreaded Linking for Concurrent CertiKOS | ||||||||||||||||||||||||||||||||||||||||
| PLDI 2018 | Certified Concurrent Abstraction Layers | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PLDI 2018-profile
View general profile
View general profile