Registered user since Mon 25 Jun 2018
Name:Martin Bodin
Country:United Kingdom
Affiliation:Imperial College London
Personal website:https://www.doc.ic.ac.uk/~mbodin/
Contributions
| REMS-DeepSpec 2020 | WebAssembly: sequential and concurrent semantics | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PLDI 2020-profile
View general profile
View general profile