Shiqi Wang

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 47

Top Topics

Pairwise Classification

Safety Analysis

Top Venues

USENIX Security Symposium

Publications

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