Jingbo Wang - RankMe

27 papers A* 5A 1B 3Journal 14Unranked 4

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	An Incremental Algorithm for Algebraic Program Analysis. Proc. ACM Program. Lang. Chenyu Zhou, Yuzhou Fang, Jingbo Wang, Chao Wang
2025	J	`jnl`	Efficient Symbolic Execution of Software under Fault Attacks. CoRR Yuzhou Fang, Chenyu Zhou, Jingbo Wang, Chao Wang
2025	A*	`conf`	Fairquant: Certifying and Quantifying Fairness of Deep Neural Networks. ICSE Brian Hyeongseok Kim, Jingbo Wang, Chao Wang
2025	J	`jnl`	Probabilistic Inference for Datalog with Correlated Inputs. CoRR Jingbo Wang, Shashin Halalingaiah, Weiyi Chen, Chao Wang, Isil Dillig
2025	J	`jnl`	Probabilistic Inference for Datalog with Correlated Inputs. Proc. ACM Program. Lang. Jingbo Wang, Shashin Halalingaiah, Weiyi Chen, Chao Wang, Isil Dillig
2024	J	`jnl`	An Incremental Algorithm for Algebraic Program Analysis. CoRR Chenyu Zhou, Yuzhou Fang, Jingbo Wang, Chao Wang
2024	J	`jnl`	FairQuant: Certifying and Quantifying Fairness of Deep Neural Networks. CoRR Brian Hyeongseok Kim, Jingbo Wang, Chao Wang
2023	—	`conf`	Certifying the Fairness of KNN in the Presence of Dataset Bias. CAV (2) Yannan Li, Jingbo Wang, Chao Wang
2023	J	`jnl`	Certifying the Fairness of KNN in the Presence of Dataset Bias. CoRR Yannan Li, Jingbo Wang, Chao Wang
2023	—	`conf`	Compositional Taint Analysis for Enforcing Security Policies at Scale. ESEC/SIGSOFT FSE Subarno Banerjee, Siwei Cui, Michael Emmi, Antonio Filieri, Liana Hadarean, Peixuan Li, Linghui Luo, Goran Piskachev, Nicolás Rosner, Aritra Sengupta, Omer Tripp, Jingbo Wang
2023	J	`jnl`	Synthesizing MILP Constraints for Efficient and Robust Optimization. Proc. ACM Program. Lang. Jingbo Wang, Aarti Gupta, Chao Wang
2023	A	`conf`	Systematic Testing of the Data-Poisoning Robustness of KNN. ISSTA Yannan Li, Jingbo Wang, Chao Wang
2023	J	`jnl`	Systematic Testing of the Data-Poisoning Robustness of KNN. CoRR Yannan Li, Jingbo Wang, Chao Wang
2023	B	`ed.`	Verification, Model Checking, and Abstract Interpretation - 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings VMCAI Cezara Dragoi, Michael Emmi, Jingbo Wang
2022	A*	`conf`	Learning to Synthesize Relational Invariants. ASE Jingbo Wang, Chao Wang
2022	B	`conf`	Proving Robustness of KNN Against Adversarial Data Poisoning. FMCAD Yannan Li, Jingbo Wang, Chao Wang
2022	—	`conf`	Synthesizing Fair Decision Trees via Iterative Constraint Solving. CAV (2) Jingbo Wang, Yannan Li, Chao Wang
2021	A*	`conf`	Data-Driven Synthesis of Provably Sound Side Channel Analyses. ICSE Jingbo Wang, Chungha Sung, Mukund Raghothaman, Chao Wang
2021	J	`jnl`	Data-Driven Synthesis of Provably Sound Side Channel Analyses. CoRR Jingbo Wang, Chungha Sung, Mukund Raghothaman, Chao Wang
2020	A*	`conf`	NEURODIFF: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation. ASE Brandon Paulsen, Jingbo Wang, Jiawei Wang, Chao Wang
2020	J	`jnl`	NeuroDiff: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation. CoRR Brandon Paulsen, Jingbo Wang, Jiawei Wang, Chao Wang
2020	J	`jnl`	ReluDiff: Differential Verification of Deep Neural Networks. CoRR Brandon Paulsen, Jingbo Wang, Chao Wang
2020	A*	`conf`	ReluDiff: differential verification of deep neural networks. ICSE Brandon Paulsen, Jingbo Wang, Chao Wang
2019	J	`jnl`	Mitigating Power Side Channels during Compilation. CoRR Jingbo Wang, Chungha Sung, Chao Wang
2019	—	`conf`	Mitigating power side channels during compilation. ESEC/SIGSOFT FSE Jingbo Wang, Chungha Sung, Chao Wang
2019	B	`conf`	Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems. FMCAD Meng Wu, Jingbo Wang, Jyotirmoy Deshmukh, Chao Wang
2019	J	`jnl`	Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems. CoRR Meng Wu, Jingbo Wang, Jyotirmoy Deshmukh, Chao Wang