Kedar Namjoshi - POPL 2019

Sun 13 - Sat 19 January 2019 Cascais, Portugal

Registered user since Fri 7 Sep 2018

Name: Kedar Namjoshi

Affiliation: Bell Labs, Nokia

Contributions

PriSC 2019	Security Witnesses for Compiler Transformations
VMCAI 2019	Invited Speaker in Invited Speakers within the VMCAI 2019-track Committee Member in Program Committee within the VMCAI 2019-track Designing Self-Certifying Software Systems Session Chair of Decision Procedures (part of VMCAI 2019)
Show activities from other conferences