Vijay D'Silva -

Not registered as user yet

Name:Vijay D'Silva

Affiliation:Google

Personal website:http://research.google.com/pubs/VijayDSilva.html

Contributions

SAS 2021	Committee Member in Program Committee within the SAS-track
APLAS 2019	Ordinary PC member in Program Committee within the Research Papers-track
PriSC 2018	Author of Secure Compilation in a Production Environment within the PriSC 2018-track
Onward! 2017	Committee Member in Program Committee within the Onward! Papers-track
VMCAI 2017	Author of Complete Abstractions and Subclassical Modal Logics within the VMCAI-track