• Sign in
  • Sign up
conf.researchr.org / Kedar Namjoshi
  • POPL 2019 profile
  • POPL 2020 profile
  • POPL 2021 profile
  • SPLASH 2020 profile
  • SPLASH 2021 profile
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)

Share
xWed 3 Mar 19:40
using conf.researchr.org (v1.43.1)
Support page
Sign Up