Aarti Gupta -

Registered user since Tue 5 Jan 2016

Name:Aarti Gupta

Affiliation:Princeton University

Personal website:http://www.cs.princeton.edu/~aartig/

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
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 2020	Author of Synthesizing Environment Invariants for Modular Hardware Verification within the VMCAI 2020-track
PLDI 2019	Committee Member in External Review Committee within the PLDI Research Papers-track
ETAPS 2019	Author of ILAng: A Modeling and Verification Platform for SoCs using Instruction-Level Abstractions within the Posters-track
TACAS 2019	Author of ILAng: A Modeling Platform for SoC Verification using Instruction-Level Abstractions within the TACAS 2019-track
VMCAI 2019	Author of Lazy but Effective Functional Synthesis within the VMCAI 2019-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)