Jingbo Wang
Title
Cited by
Cited by
Year
Mitigating power side channels during compilation
J Wang, C Sung, C Wang
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
162019
Reludiff: Differential verification of deep neural networks
B Paulsen, J Wang, C Wang
2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE …, 2020
102020
Shield synthesis for real: Enforcing safety in cyber-physical systems
M Wu, J Wang, J Deshmukh, C Wang
2019 Formal Methods in Computer Aided Design (FMCAD), 129-137, 2019
92019
Understanding deep representations through random weights
Y Shu, M Zhu, K He, J Hopcroft, P Zhou
arXiv preprint arXiv:1704.00330 8, 2017
72017
Data-Driven Synthesis of Provably Sound Side Channel Analyses
J Wang, C Sung, M Raghothaman, C Wang
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021
32021
NeuroDiff: scalable differential verification of neural networks using fine-grained approximation
B Paulsen, J Wang, J Wang, C Wang
2020 35th IEEE/ACM International Conference on Automated Software …, 2020
22020
ReluDiff: Differential Verification of Deep Neural Networks. In 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE)
B Paulsen, J Wang, C Wang
IEEE, 2020
12020
Randomness in Deconvolutional Networks for Visual Representation
K He, J Wang, H Li, Y Shu, M Zhang, M Zhu, L Wang, JE Hopcroft
arXiv preprint arXiv:1704.00330, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–8