Aarti Gupta

Registered user since Tue 5 Jan 2016

Name:Aarti Gupta
Affiliation:Princeton University
Research interests:Formal verification, model checking, program analysis, logic decision procedures, SAT/SMT solvers

Contributions

VMCAI 2021 Author of Syntax-Guided Synthesis for Lemma Generation in Hardware Model Checking within the VMCAI-track
Author of Unbounded Procedure Summaries from Bounded Environments within the VMCAI-track
VMCAI 2020 Author of Synthesizing Environment Invariants for Modular Hardware Verification within the VMCAI 2020-track
PLDI 2020 Committee Member in External Review Committee within the PLDI Research Papers-track
POPL 2020 Author of Abstract Interpretation of Distributed Network Control Planes within the Research Papers-track
VMCAI 2019 Author of Lazy but Effective Functional Synthesis within the VMCAI 2019-track
TACAS 2019 Author of ILAng: A Modeling Platform for SoC Verification using Instruction-Level Abstractions within the TACAS 2019-track
ETAPS 2019 Author of ILAng: A Modeling and Verification Platform for SoCs using Instruction-Level Abstractions within the Posters-track
PLDI 2019 Committee Member in External Review Committee within the PLDI Research Papers-track
FMS 2018 Committee Member in Program Committee within the FMS 2018-track
PLDI 2017 Committee Member in External Review Committee
PLMW Author of Academia or Industry? within the PLMW-track
VMCAI Committee Member in Program Committee
Session Chair of Dynamic and Static Verification (part of VMCAI)