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

VMCAI 2023 Committee Member in Program Committee within the VMCAI 2023-track
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)