• Sign in
  • Sign up
conf.researchr.org / Sharad Malik
  • ETAPS 2019 profile
  • PLDI 2023 profile
  • PLDI 2025 profile
  • POPL 2017 profile
  • POPL 2020 profile
  • POPL 2021 profile

Registered user since Fri 3 Mar 2023

Name:Sharad Malik
Affiliation:Princeton University
Personal website: http://www.princeton.edu/~sharad

Contributions

2025

PLDI

  • Committee Member in PLDI Review Committee within the PLDI Research Papers-track

2023

EGRAPHS

  • Author of Improving Term Extraction with Acyclic Constraints within the EGRAPHS 2023-track

PLARCH

  • Committee Member in Organizing Committee within the PLARCH 2023-track

2021

VMCAI

  • Author of Syntax-Guided Synthesis for Lemma Generation in Hardware Model Checking within the VMCAI-track

2020

VMCAI

  • Author of Synthesizing Environment Invariants for Modular Hardware Verification within the VMCAI 2020-track

2019

ETAPS

  • Author of ILAng: A Modeling and Verification Platform for SoCs using Instruction-Level Abstractions within the Posters-track

TACAS

  • Author of ILAng: A Modeling Platform for SoC Verification using Instruction-Level Abstractions within the TACAS 2019-track

2017

VMCAI

  • Author of IC3 - Flipping the E in ICE within the VMCAI-track
Share
xWed 16 Jul 06:47
using conf.researchr.org (v1.69.1)
Support page
Sign Up