Concepedia

Charlie Shucheng Zhu

CS

3

Publications

84

Citations

3

H-Index

2011

Active since

Affiliations

Princeton University(Current)

Charlie Shucheng Zhu is an author at Princeton University specializing in formal methods, formal verification, and reliability engineering.

Top concepts

Publications per year

2011–2014

3

Publications

3

Post-silicon fault localisation using maximum satisfiability and backbones

Charlie Shucheng Zhu, Georg Weißenbacher, Sharad Malik · Formal Methods in Computer-Aided Design · 2011 · 49 citations

, , +22

SAT-based techniques for determining backbones for post-silicon fault localisation

Charlie Shucheng Zhu, Georg Weißenbacher, Divjyot Sethi et al. · 2011 · 25 citations

, , +21

Silicon fault diagnosis using sequence interpolation with backbones

Charlie Shucheng Zhu, Georg Weißenbacher, Sharad Malik · 2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) · 2014 · 10 citations

, , +19

Rows per page

1–3 of 3