Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
POPL 2019 (series) / Kedar Namjoshi

Registered user since Fri 7 Sep 2018

Name: Kedar Namjoshi

Affiliation: Bell Labs, Nokia

Contributions

PriSC 2019Author of Security Witnesses for Compiler Transformations within the PriSC 2019-track
VMCAI 2019Invited 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

Using general profile