
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