Hongce Zhang

In Search for a SAT-friendly Binarized Neural Network Architecture

Nina Narodytska, Aarti Gupta, Toby Walsh, 2020, ICLR.

Synthesizing Environment Invariants for Modular Hardware Verification

Sharad Malik, Grigory Fedyukovich, Aarti Gupta, 2020, VMCAI.

Instruction-Level Abstraction (ILA)

Sharad Malik, Pramod Subramanyan, Aarti Gupta, 2018, ACM Trans. Design Autom. Electr. Syst..

ILAng: A Modeling and Verification Platform for SoCs Using Instruction-Level Abstractions

Sharad Malik, Aarti Gupta, Bo-Yuan Huang, 2019, TACAS.

Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis

Nham Le, Nina Narodytska, Arie Gurfinkel, 2020, ECAI.

ILA-MCM: Integrating Memory Consistency Models with Instruction-Level Abstractions for Heterogeneous System-on-Chip Verification

Sharad Malik, Margaret Martonosi, Aarti Gupta, 2018, 2018 Formal Methods in Computer Aided Design (FMCAD).

Syntax-Guided Synthesis for Lemma Generation in Hardware Model Checking

Sharad Malik, Aarti Gupta, Hongce Zhang, 2021, International Conference on Verification, Model Checking and Abstract Interpretation.

A hardware-based technique for efficient implicit information flow tracking

Yunheung Paek, Ruby B. Lee, Jinyong Lee, 2016, 2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).