Kedar Namjoshi -

Registered user since Fri 7 Sep 2018

Name:Kedar Namjoshi

Country:United States

Affiliation:Nokia Bell Labs

Personal website:https://kedar-namjoshi.github.io/

Research interests:Semantics, Deductive Verification, Model Checking, Security, Synthesis

Contributions

SAS 2021	Co-chair in Organizing Committee within the SAS-track Co-chair in Program Committee within the SAS-track
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)