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