Sharad Malik -

Registered user since Fri 3 Mar 2023

Name:Sharad Malik

Country:United States

Affiliation:Princeton University

Personal website: http://www.princeton.edu/~sharad

Contributions

2026

SPLASH

Author of Specy: Learning Specifications for Distributed Systems from Event Traces within the OOPSLA-track

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