Post-silicon fault localisation using maximum satisfiability and backbones. - Charlie Shucheng Zhu; Georg Weissenbacher; Sharad Malik (FMCAD, 2011)

SAT-based techniques for determining backbones for post-silicon fault localisation. - Charlie Shucheng Zhu; Georg Weissenbacher; Divjyot Sethi; Sharad Malik (HLDVT, 2011)

Coverage-Based Trace Signal Selection for Fault Localisation in Post-silicon Validation. - Charlie Shucheng Zhu; Georg Weissenbacher; Sharad Malik (Haifa Verification Conference, 2012)

Silicon fault diagnosis using sequence interpolation with backbones. - Charlie Shucheng Zhu; Georg Weissenbacher; Sharad Malik (ICCAD, 2014)

Optimizing dynamic trace signal selection using machine learning and linear programming. - Charlie Shucheng Zhu; Sharad Malik (DATE, 2015)

Dialog Simulation with Realistic Variations for Training Goal-Oriented Conversational Systems. - Chien-Wei Lin; Vincent Auvray; Daniel Elkind; Arijit Biswas; Maryam Fazel-Zarandi; Nehal Belgamwar; Shubhra Chandra; Matt Zhao; Angeliki Metallinou; Tagyoung Chung; Charlie Shucheng Zhu; Suranjit Adhikari; et al. (CoRR, 2020)