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

Registered user since Fri 7 Sep 2018

Name:Kedar Namjoshi
Affiliation:Bell Labs, Nokia

Contributions

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)
PriSC 2019 Security Witnesses for Compiler Transformations
Show activities from other conferences

POPL 2019-profile
View general profile