Yuxin Wang - RankMe

17 papers A* 4Journal 12Unranked 1

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	A Floating-Point Secure Implementation of the Report Noisy Max with Gap Mechanism. CoRR Zeyu Ding, John Durrell, Daniel Kifer, Prottay Protivash, Guanhong Wang, Yuxin Wang, Yingtai Xiao, Danfeng Zhang
2023	J	`jnl`	Free gap estimates from the exponential mechanism, sparse vector, noisy max and related algorithms. VLDB J. Zeyu Ding, Yuxin Wang, Yingtai Xiao, Guanhong Wang, Danfeng Zhang, Daniel Kifer
2023	—	`conf`	Last Diff Analyzer: Multi-language Automated Approver for Behavior-Preserving Code Revisions. ESEC/SIGSOFT FSE Yuxin Wang, Adam Welc, Lazaro Clapp, Lingchao Chen
2021	A*	`conf`	DPGen: Automated Program Synthesis for Differential Privacy. CCS Yuxin Wang, Zeyu Ding, Yingtai Xiao, Daniel Kifer, Danfeng Zhang
2021	J	`jnl`	DPGen: Automated Program Synthesis for Differential Privacy. CoRR Yuxin Wang, Zeyu Ding, Yingtai Xiao, Daniel Kifer, Danfeng Zhang
2021	J	`jnl`	Optimizing Fitness-For-Use of Differentially Private Linear Queries. Proc. VLDB Endow. Yingtai Xiao, Zeyu Ding, Yuxin Wang, Danfeng Zhang, Daniel Kifer
2021	J	`jnl`	The Permute-and-Flip Mechanism is Identical to Report-Noisy-Max with Exponential Noise. CoRR Zeyu Ding, Daniel Kifer, Sayed M. Saghaian N. E., Thomas Steinke, Yuxin Wang, Yingtai Xiao, Danfeng Zhang
2020	A*	`conf`	CheckDP: An Automated and Integrated Approach for Proving Differential Privacy or Finding Precise Counterexamples. CCS Yuxin Wang, Zeyu Ding, Daniel Kifer, Danfeng Zhang
2020	J	`jnl`	CheckDP: An Automated and Integrated Approach for Proving Differential Privacy or Finding Precise Counterexamples. CoRR Yuxin Wang, Zeyu Ding, Daniel Kifer, Danfeng Zhang
2020	J	`jnl`	Free Gap Estimates from the Exponential Mechanism, Sparse Vector, Noisy Max and Related Algorithms. CoRR Zeyu Ding, Yuxin Wang, Yingtai Xiao, Guanhong Wang, Danfeng Zhang, Daniel Kifer
2020	J	`jnl`	Optimizing Fitness-For-Use of Differentially Private Linear Queries. CoRR Yingtai Xiao, Zeyu Ding, Yuxin Wang, Danfeng Zhang, Daniel Kifer
2019	J	`jnl`	Free Gap Information from the Differentially Private Sparse Vector and Noisy Max Mechanisms. CoRR Zeyu Ding, Yuxin Wang, Danfeng Zhang, Daniel Kifer
2019	J	`jnl`	Free Gap Information from the Differentially Private Sparse Vector and Noisy Max Mechanisms. Proc. VLDB Endow. Zeyu Ding, Yuxin Wang, Danfeng Zhang, Dan Kifer
2019	J	`jnl`	Proving Differential Privacy with Shadow Execution. CoRR Yuxin Wang, Zeyu Ding, Guanhong Wang, Daniel Kifer, Danfeng Zhang
2019	A*	`conf`	Proving differential privacy with shadow execution. PLDI Yuxin Wang, Zeyu Ding, Guanhong Wang, Daniel Kifer, Danfeng Zhang
2018	A*	`conf`	Detecting Violations of Differential Privacy. CCS Zeyu Ding, Yuxin Wang, Guanhong Wang, Danfeng Zhang, Daniel Kifer
2018	J	`jnl`	Toward Detecting Violations of Differential Privacy. CoRR Ding Ding, Yuxin Wang, Guanhong Wang, Danfeng Zhang, Daniel Kifer