Shiqi Wang - RankMe

54 papers A* 17Journal 30Unranked 6

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	Planning-Aware Code Infilling via Horizon-Length Prediction. EMNLP Yifeng Ding, Hantian Ding, Shiqi Wang, Qing Sun, Varun Kumar, Zijian Wang
2025	J	`jnl`	UTFix: Change Aware Unit Test Repairing using LLM. CoRR Shanto Rahman, Sachit Kuhar, Berk Çirisci, Pranav Garg, Shiqi Wang, Xiaofei Ma, Anoop Deoras, Baishakhi Ray
2025	J	`jnl`	UTFix: Change Aware Unit Test Repairing using LLM. Proc. ACM Program. Lang. Shanto Rahman, Sachit Kuhar, Berk Çirisci, Pranav Garg, Shiqi Wang, Xiaofei Ma, Anoop Deoras, Baishakhi Ray
2024	J	`jnl`	Code-Aware Prompting: A Study of Coverage-Guided Test Generation in Regression Setting using LLM. Proc. ACM Softw. Eng. Gabriel Ryan, Siddhartha Jain, Mingyue Shang, Shiqi Wang, Xiaofei Ma, Murali Krishna Ramanathan, Baishakhi Ray
2024	J	`jnl`	Code-Aware Prompting: A study of Coverage Guided Test Generation in Regression Setting using LLM. CoRR Gabriel Ryan, Siddhartha Jain, Mingyue Shang, Shiqi Wang, Xiaofei Ma, Murali Krishna Ramanathan, Baishakhi Ray
2024	—	`conf`	CodeFort: Robust Training for Code Generation Models. EMNLP (Findings) Yuhao Zhang, Shiqi Wang, Haifeng Qian, Zijian Wang, Mingyue Shang, Linbo Liu, Sanjay Krishna Gouda, Baishakhi Ray, Murali Krishna Ramanathan, Xiaofei Ma, Anoop Deoras
2024	J	`jnl`	CodeFort: Robust Training for Code Generation Models. CoRR Yuhao Zhang, Shiqi Wang, Haifeng Qian, Zijian Wang, Mingyue Shang, Linbo Liu, Sanjay Krishna Gouda, Baishakhi Ray, Murali Krishna Ramanathan, Xiaofei Ma, Anoop Deoras
2024	J	`jnl`	Horizon-Length Prediction: Advancing Fill-in-the-Middle Capabilities for Code Generation with Lookahead Planning. CoRR Yifeng Ding, Hantian Ding, Shiqi Wang, Qing Sun, Varun Kumar, Zijian Wang
2024	A*	`conf`	LeDex: Training LLMs to Better Self-Debug and Explain Code. NeurIPS Nan Jiang, Xiaopeng Li, Shiqi Wang, Qiang Zhou, Soneya Binta Hossain, Baishakhi Ray, Varun Kumar, Xiaofei Ma, Anoop Deoras
2024	—	`conf`	ReTA: Recursively Thinking Ahead to Improve the Strategic Reasoning of Large Language Models. NAACL-HLT Jinhao Duan, Shiqi Wang, James Diffenderfer, Lichao Sun, Tianlong Chen, Bhavya Kailkhura, Kaidi Xu
2024	A*	`conf`	Reasoning and Planning with Large Language Models in Code Development. KDD Hao Ding, Ziwei Fan, Ingo Gühring, Gaurav Gupta, Wooseok Ha, Jun Huan, Linbo Liu, Behrooz Omidvar-Tehrani, Shiqi Wang, Hao Zhou
2024	—	`conf`	Shifting Attention to Relevance: Towards the Predictive Uncertainty Quantification of Free-Form Large Language Models. ACL (1) Jinhao Duan, Hao Cheng, Shiqi Wang, Alex Zavalny, Chenan Wang, Renjing Xu, Bhavya Kailkhura, Kaidi Xu
2024	—	`conf`	Token Alignment via Character Matching for Subword Completion. ACL (Findings) Ben Athiwaratkun, Shiqi Wang, Mingyue Shang, Yuchen Tian, Zijian Wang, Sujan Kumar Gonugondla, Sanjay Krishna Gouda, Robert Kwiatkowski, Ramesh Nallapati, Parminder Bhatia, Bing Xiang
2024	J	`jnl`	Token Alignment via Character Matching for Subword Completion. CoRR Ben Athiwaratkun, Shiqi Wang, Mingyue Shang, Yuchen Tian, Zijian Wang, Sujan Kumar Gonugondla, Sanjay Krishna Gouda, Rob Kwiatkowski, Ramesh Nallapati, Bing Xiang
2024	J	`jnl`	Training LLMs to Better Self-Debug and Explain Code. CoRR Nan Jiang, Xiaopeng Li, Shiqi Wang, Qiang Zhou, Soneya Binta Hossain, Baishakhi Ray, Varun Kumar, Xiaofei Ma, Anoop Deoras
2023	A*	`conf`	Are Diffusion Models Vulnerable to Membership Inference Attacks? ICML Jinhao Duan, Fei Kong, Shiqi Wang, Xiaoshuang Shi, Kaidi Xu
2023	J	`jnl`	Are Diffusion Models Vulnerable to Membership Inference Attacks? CoRR Jinhao Duan, Fei Kong, Shiqi Wang, Xiaoshuang Shi, Kaidi Xu
2023	J	`jnl`	Greener yet Powerful: Taming Large Code Generation Models with Quantization. CoRR Xiaokai Wei, Sujan K. Gonugondla, Wasi Uddin Ahmad, Shiqi Wang, Baishakhi Ray, Haifeng Qian, Xiaopeng Li, Varun Kumar, Zijian Wang, Yuchen Tian, Qing Sun, Ben Athiwaratkun, Mingyue Shang, Murali Krishna Ramanathan, Parminder Bhatia, Bing Xiang
2023	A*	`conf`	Multi-lingual Evaluation of Code Generation Models. ICLR Ben Athiwaratkun, Sanjay Krishna Gouda, Zijian Wang, Xiaopeng Li, Yuchen Tian, Ming Tan, Wasi Uddin Ahmad, Shiqi Wang, Qing Sun, Mingyue Shang, Sujan Kumar Gonugondla, Hantian Ding, Varun Kumar, Nathan Fulton, Arash Farahani, Siddhartha Jain, Robert Giaquinto, Haifeng Qian, Murali Krishna Ramanathan, Ramesh Nallapati
2023	—	`conf`	ReCode: Robustness Evaluation of Code Generation Models. ACL (1) Shiqi Wang, Zheng Li, Haifeng Qian, Chenghao Yang, Zijian Wang, Mingyue Shang, Varun Kumar, Samson Tan, Baishakhi Ray, Parminder Bhatia, Ramesh Nallapati, Murali Krishna Ramanathan, Dan Roth, Bing Xiang
2023	J	`jnl`	Shifting Attention to Relevance: Towards the Uncertainty Estimation of Large Language Models. CoRR Jinhao Duan, Hao Cheng, Shiqi Wang, Chenan Wang, Alex Zavalny, Renjing Xu, Bhavya Kailkhura, Kaidi Xu
2023	—	`conf`	Towards Greener Yet Powerful Code Generation via Quantization: An Empirical Study. ESEC/SIGSOFT FSE Xiaokai Wei, Sujan Kumar Gonugondla, Shiqi Wang, Wasi Uddin Ahmad, Baishakhi Ray, Haifeng Qian, Xiaopeng Li, Varun Kumar, Zijian Wang, Yuchen Tian, Qing Sun, Ben Athiwaratkun, Mingyue Shang, Murali Krishna Ramanathan, Parminder Bhatia, Bing Xiang
2022	A*	`conf`	A Branch and Bound Framework for Stronger Adversarial Attacks of ReLU Networks. ICML Huan Zhang, Shiqi Wang, Kaidi Xu, Yihan Wang, Suman Jana, Cho-Jui Hsieh, J. Zico Kolter
2022	—	`—`	Efficient Neural Network Verification Using Branch and Bound Shiqi Wang
2022	A*	`conf`	General Cutting Planes for Bound-Propagation-Based Neural Network Verification. NeurIPS Huan Zhang, Shiqi Wang, Kaidi Xu, Linyi Li, Bo Li, Suman Jana, Cho-Jui Hsieh, J. Zico Kolter
2022	J	`jnl`	General Cutting Planes for Bound-Propagation-Based Neural Network Verification. CoRR Huan Zhang, Shiqi Wang, Kaidi Xu, Linyi Li, Bo Li, Suman Jana, Cho-Jui Hsieh, J. Zico Kolter
2022	J	`jnl`	Multi-lingual Evaluation of Code Generation Models. CoRR Ben Athiwaratkun, Sanjay Krishna Gouda, Zijian Wang, Xiaopeng Li, Yuchen Tian, Ming Tan, Wasi Uddin Ahmad, Shiqi Wang, Qing Sun, Mingyue Shang, Sujan Kumar Gonugondla, Hantian Ding, Varun Kumar, Nathan Fulton, Arash Farahani, Siddhartha Jain, Robert Giaquinto, Haifeng Qian, Murali Krishna Ramanathan, Ramesh Nallapati, Baishakhi Ray, Parminder Bhatia, Sudipta Sengupta, Dan Roth, Bing Xiang
2022	J	`jnl`	ReCode: Robustness Evaluation of Code Generation Models. CoRR Shiqi Wang, Zheng Li, Haifeng Qian, Chenghao Yang, Zijian Wang, Mingyue Shang, Varun Kumar, Samson Tan, Baishakhi Ray, Parminder Bhatia, Ramesh Nallapati, Murali Krishna Ramanathan, Dan Roth, Bing Xiang
2021	A*	`conf`	Adaptive Verifiable Training Using Pairwise Class Similarity. AAAI Shiqi Wang, Kevin Eykholt, Taesung Lee, Jiyong Jang, Ian M. Molloy
2021	J	`jnl`	Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Verification. CoRR Shiqi Wang, Huan Zhang, Kaidi Xu, Xue Lin, Suman Jana, Cho-Jui Hsieh, J. Zico Kolter
2021	A*	`conf`	Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Robustness Verification. NeurIPS Shiqi Wang, Huan Zhang, Kaidi Xu, Xue Lin, Suman Jana, Cho-Jui Hsieh, J. Zico Kolter
2021	A*	`conf`	Cost-Aware Robust Tree Ensembles for Security Applications. USENIX Security Symposium Yizheng Chen, Shiqi Wang, Weifan Jiang, Asaf Cidon, Suman Jana
2021	A*	`conf`	Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers. ICLR Kaidi Xu, Huan Zhang, Shiqi Wang, Yihan Wang, Suman Jana, Xue Lin, Cho-Jui Hsieh
2021	A*	`conf`	Learning Security Classifiers with Verified Global Robustness Properties. CCS Yizheng Chen, Shiqi Wang, Yue Qin, Xiaojing Liao, Suman Jana, David A. Wagner
2021	J	`jnl`	Learning Security Classifiers with Verified Global Robustness Properties. CoRR Yizheng Chen, Shiqi Wang, Yue Qin, Xiaojing Liao, Suman Jana, David A. Wagner
2020	J	`jnl`	Adaptive Verifiable Training Using Pairwise Class Similarity. CoRR Shiqi Wang, Kevin Eykholt, Taesung Lee, Jiyong Jang, Ian M. Molloy
2020	J	`jnl`	Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers. CoRR Kaidi Xu, Huan Zhang, Shiqi Wang, Yihan Wang, Suman Jana, Xue Lin, Cho-Jui Hsieh
2020	A*	`conf`	HYDRA: Pruning Adversarially Robust Neural Networks. NeurIPS Vikash Sehwag, Shiqi Wang, Prateek Mittal, Suman Jana
2020	J	`jnl`	On Pruning Adversarially Robust Neural Networks. CoRR Vikash Sehwag, Shiqi Wang, Prateek Mittal, Suman Jana
2020	A*	`conf`	On Training Robust PDF Malware Classifiers. USENIX Security Symposium Yizheng Chen, Shiqi Wang, Dongdong She, Suman Jana
2020	J	`jnl`	Towards Practical Lottery Ticket Hypothesis for Adversarial Training. CoRR Bai Li, Shiqi Wang, Yunhan Jia, Yantao Lu, Zhenyu Zhong, Lawrence Carin, Suman Jana
2020	J	`jnl`	Towards Understanding Fast Adversarial Training. CoRR Bai Li, Shiqi Wang, Suman Jana, Lawrence Carin
2019	J	`jnl`	Bringing Engineering Rigor to Deep Learning. ACM SIGOPS Oper. Syst. Rev. Kexin Pei, Shiqi Wang, Yuchi Tian, Justin Whitehouse, Carl Vondrick, Yinzhi Cao, Baishakhi Ray, Suman Jana, Junfeng Yang
2019	J	`jnl`	Enhancing Gradient-based Attacks with Symbolic Intervals. CoRR Shiqi Wang, Yizheng Chen, Ahmed Abdou, Suman Jana
2019	J	`jnl`	On Training Robust PDF Malware Classifiers. CoRR Yizheng Chen, Shiqi Wang, Dongdong She, Suman Jana
2019	J	`jnl`	Towards Compact and Robust Deep Neural Networks. CoRR Vikash Sehwag, Shiqi Wang, Prateek Mittal, Suman Jana
2019	J	`jnl`	Training Robust Tree Ensembles for Security. CoRR Yizheng Chen, Shiqi Wang, Weifan Jiang, Asaf Cidon, Suman Jana
2018	A*	`conf`	Efficient Formal Safety Analysis of Neural Networks. NeurIPS Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, Suman Jana
2018	J	`jnl`	Efficient Formal Safety Analysis of Neural Networks. CoRR Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, Suman Jana
2018	A*	`conf`	Formal Security Analysis of Neural Networks using Symbolic Intervals. USENIX Security Symposium Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, Suman Jana
2018	J	`jnl`	Formal Security Analysis of Neural Networks using Symbolic Intervals. CoRR Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, Suman Jana
2018	J	`jnl`	MixTrain: Scalable Training of Formally Robust Neural Networks. CoRR Shiqi Wang, Yizheng Chen, Ahmed Abdou, Suman Jana
2018	J	`jnl`	Prediction of a hotspot pattern in keyword search results. Comput. Speech Lang. Jie Gao, Axinia Radeva, Chuyao Shen, Shiqi Wang, Qianbo Wang, Rebecca J. Passonneau
2017	A*	`conf`	ContexloT: Towards Providing Contextual Integrity to Appified IoT Platforms. NDSS Yunhan Jack Jia, Qi Alfred Chen, Shiqi Wang, Amir Rahmati, Earlence Fernandes, Zhuoqing Morley Mao, Atul Prakash