Kedar Namjoshi

Registered user since Fri 7 Sep 2018

Name:Kedar Namjoshi
Country:United States
Affiliation:Nokia Bell Labs
Research interests:Semantics, Deductive Verification, Model Checking, Security, Synthesis

Contributions

SAS 2021 Session Chair of Session 3C (part of SAS)
Session Chair of Session 1A (part of SAS)
Session Chair of Session 3B (part of SAS)
Co-chair in Organizing Committee within the SAS-track
Co-chair in Program Committee within the SAS-track
Session Chair of Session 4B (part of SAS)
SPLASH 2021 Session Chair of Program Synthesis (part of OOPSLA)
VMCAI 2021 Author of A Self-Certifying Compilation Framework for WebAssembly within the VMCAI-track
POPL 2021 Committee Member in Program Committee within the POPL-track
SAS 2020 Committee Member in Program Committee within the SAS-track
Session Chair of 7 (part of SAS)
VMCAI 2020 Session Chair of Papers 2 (part of VMCAI 2020)
PC Member in Program Committee within the VMCAI 2020-track
Author of Witnessing Secure Compilation within the VMCAI 2020-track
POPL 2020 Author of Synthesis of Coordination Programs from Linear Temporal Specifications within the Research Papers-track
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)