Hongce Zhang
Hongce Zhang
Home
Projects
Publications
Posts
Teaching
Light
Dark
Automatic
Publications
Type
Conference paper
Journal article
Date
2021
2020
2019
2018
2016
Yu Zeng
,
Bo-Yuan Huang
,
Hongce Zhang
,
Aarti Gupta
,
Sharad Malik
(2021).
Generating Architecture-Level Abstractions from RTL Designs for Processors and Accelerators Part I: Determining Architectural State Variables
. In ICCAD.
PDF
Cite
Makai Mann
,
Ahmed Irfan
,
Florian Lonsing
,
Yahan Yang
,
Hongce Zhang
,
Kristopher Brown
,
Aarti Gupta
,
Clark Barrett
(2021).
Pono: A Flexible and Extensible SMT-based Model Checker
. In CAV.
PDF
Cite
Hongce Zhang
,
Aarti Gupta
,
Sharad Malik
(2021).
Syntax-Guided Synthesis for Lemma Generation in Hardware Model Checking
. In VMCAI.
PDF
Cite
Hongce Zhang
,
Maxwell Shinn
,
Aarti Gupta
,
Arie Gurfinkel
,
Nham Le
,
Nina Narodytska
(2020).
Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis
. In ECAI.
PDF
Cite
Nina Narodytska
,
Hongce Zhang
,
Aarti Gupta
,
Toby Walsh
(2020).
In Search for a SAT-Friendly Binarized Neural Network Architecture
. In ICLR.
PDF
Cite
Hongce Zhang
,
Weikun Yang
,
Grigory Fedyukovich
,
Aarti Gupta
,
Sharad Malik
(2020).
Synthesizing Environment Invariants for Modular Hardware Verification
. In VMCAI.
PDF
Cite
Bo-Yuan Huang
,
Hongce Zhang
,
Aarti Gupta
,
Sharad Malik
(2019).
ILAng: a Modeling and Verification Platform for SoCs using Instruction-Level Abstractions
. In TACAS.
PDF
Cite
Bo-Yuan Huang
,
Hongce Zhang
,
Pramod Subramanyan
,
Yakir Vizel
,
Aarti Gupta
,
Sharad Malik
(2018).
Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification
. In TODAES.
PDF
Cite
Hongce Zhang
,
Caroline Trippel
,
Yatin A. Manerkar
,
Aarti Gupta
,
Margaret Martonosi
,
Sharad Malik
(2018).
ILA-MCM: Integrating Memory Consistency Models with Instruction-Level Abstractions for Heterogeneous System-on-Chip Verification
. In FMCAD.
PDF
Cite
Jangseop, Shin
,
Hongce Zhang
,
Jinyong Lee
,
Ingoo Heo
,
Yu-Yuan Chen
,
Ruby Lee
,
Yunheung Paek
(2016).
A Hardware-based Technique for Efficient Implicit Information Flow Tracking
. In ICCAD.
PDF
Cite
Cite
×