Personal information
No personal information available
Activities
Employment (1)
Employment
Source:
Jingbo Wang
Works (13)
Proceedings of the ACM on Programming Languages
2025-01-07
|
Journal article
Contributors:
Chenyu Zhou;
Yuzhou Fang;
Jingbo Wang;
Chao Wang
Source:
check_circle
Crossref
Computer Aided Verification
2023
|
Conference paper
Contributors:
Yannan Li;
Jingbo Wang;
Chao Wang
Source:
Jingbo Wang
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
2023-11-30
|
Conference paper
Contributors:
Subarno Banerjee;
Siwei Cui;
Michael Emmi;
Antonio Filieri;
Liana Hadarean;
Peixuan Li;
Linghui Luo;
Goran Piskachev;
Nicolás Rosner;
Aritra Sengupta
et al.
Source:
Jingbo Wang
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis
2023-07-12
|
Conference paper
Contributors:
Yannan Li;
Jingbo Wang;
Chao Wang
Source:
Jingbo Wang
Proceedings of the ACM on Programming Languages
2023-06-06
|
Journal article
Contributors:
Jingbo Wang;
Aarti Gupta;
Chao Wang
Source:
check_circle
Crossref
FMCAD
2022
|
Conference paper
Contributors:
Li, Y;
Wang, J;
Wang, C
Source:
Jingbo Wang
Computer Aided Verification
2022
|
Conference paper
Contributors:
Jingbo Wang;
Yannan Li;
Chao Wang
Source:
Jingbo Wang
Source:
check_circle
Crossref
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE)
2021
|
Conference paper
Contributors:
Wang, J;
Sung, C;
Raghothaman, M;
Wang, C
Source:
Jingbo Wang
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering
2020
|
Conference paper
Contributors:
Paulsen, B;
Wang, J;
Wang, J;
Wang, C
Source:
Jingbo Wang
Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering
2020-06-27
|
Conference paper
Contributors:
Brandon Paulsen;
Jingbo Wang;
Chao Wang
Source:
Jingbo Wang
2019 Formal Methods in Computer Aided Design (FMCAD)
2019
|
Conference paper
Contributors:
Wu, M;
Wang, J;
Deshmukh, J;
Wang, C
Source:
Jingbo Wang
Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
2019-08-12
|
Conference paper
Contributors:
Jingbo Wang;
Chungha Sung;
Chao Wang
Source:
Jingbo Wang