ContexloT: Towards Providing Contextual Integrity to Appified IoT Platforms. - Yunhan Jack Jia; Qi Alfred Chen; Shiqi Wang 002; Amir Rahmati; Earlence Fernandes; Zhuoqing Morley Mao; Atul Prakash 001 (NDSS, 2017)

Efficient Formal Safety Analysis of Neural Networks. - Shiqi Wang 002; Kexin Pei; Justin Whitehouse; Junfeng Yang; Suman Jana (NeurIPS, 2018)

Formal Security Analysis of Neural Networks using Symbolic Intervals. - Shiqi Wang 002; Kexin Pei; Justin Whitehouse; Junfeng Yang; Suman Jana (USENIX Security Symposium, 2018)

MixTrain: Scalable Training of Formally Robust Neural Networks. - Shiqi Wang 002; Yizheng Chen 001; Ahmed Abdou; Suman Jana (CoRR, 2018)

Prediction of a hotspot pattern in keyword search results. - Jie Gao; Axinia Radeva; Chuyao Shen; Shiqi Wang 002; Qianbo Wang; Rebecca J. Passonneau (Comput. Speech Lang., 2018)

Enhancing Gradient-based Attacks with Symbolic Intervals. - Shiqi Wang 002; Yizheng Chen 001; Ahmed Abdou; Suman Jana (CoRR, 2019)

Towards Compact and Robust Deep Neural Networks. - Vikash Sehwag; Shiqi Wang 002; Prateek Mittal; Suman Jana (CoRR, 2019)

Training Robust Tree Ensembles for Security. - Yizheng Chen 001; Shiqi Wang 002; Weifan Jiang; Asaf Cidon; Suman Jana (CoRR, 2019)

Bringing Engineering Rigor to Deep Learning. - Kexin Pei; Shiqi Wang 002; Yuchi Tian; Justin Whitehouse; Carl Vondrick; Yinzhi Cao; Baishakhi Ray; Suman Jana; Junfeng Yang (ACM SIGOPS Oper. Syst. Rev., 2019)

HYDRA: Pruning Adversarially Robust Neural Networks. - Vikash Sehwag; Shiqi Wang 002; Prateek Mittal; Suman Jana (NeurIPS, 2020)

On Training Robust PDF Malware Classifiers. - Yizheng Chen 001; Shiqi Wang 002; Dongdong She; Suman Jana (USENIX Security Symposium, 2020)

On Pruning Adversarially Robust Neural Networks. - Vikash Sehwag; Shiqi Wang 002; Prateek Mittal; Suman Jana (CoRR, 2020)

Towards Practical Lottery Ticket Hypothesis for Adversarial Training. - Bai Li 001; Shiqi Wang 002; Yunhan Jia; Yantao Lu; Zhenyu Zhong; Lawrence Carin; Suman Jana (CoRR, 2020)

Towards Understanding Fast Adversarial Training. - Bai Li 001; Shiqi Wang 002; Suman Jana; Lawrence Carin (CoRR, 2020)

Adaptive Verifiable Training Using Pairwise Class Similarity. - Shiqi Wang 002; Kevin Eykholt; Taesung Lee; Jiyong Jang; Ian M. Molloy (AAAI, 2021)

Learning Security Classifiers with Verified Global Robustness Properties. - Yizheng Chen 001; Shiqi Wang 002; Yue Qin; Xiaojing Liao; Suman Jana; David A. Wagner 001 (CCS, 2021)

Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers. - Kaidi Xu; Huan Zhang 001; Shiqi Wang 002; Yihan Wang; Suman Jana; Xue Lin 001; Cho-Jui Hsieh (ICLR, 2021)

Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Robustness Verification. - Shiqi Wang 002; Huan Zhang 001; Kaidi Xu; Xue Lin 001; Suman Jana; Cho-Jui Hsieh; J. Zico Kolter (NeurIPS, 2021)

Cost-Aware Robust Tree Ensembles for Security Applications. - Yizheng Chen 001; Shiqi Wang 002; Weifan Jiang; Asaf Cidon; Suman Jana (USENIX Security Symposium, 2021)

Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Verification. - Shiqi Wang 002; Huan Zhang 001; Kaidi Xu; Xue Lin 001; Suman Jana; Cho-Jui Hsieh; J. Zico Kolter (CoRR, 2021)

A Branch and Bound Framework for Stronger Adversarial Attacks of ReLU Networks. - Huan Zhang 001; Shiqi Wang 002; Kaidi Xu; Yihan Wang; Suman Jana; Cho-Jui Hsieh; J. Zico Kolter (ICML, 2022)

General Cutting Planes for Bound-Propagation-Based Neural Network Verification. - Huan Zhang 001; Shiqi Wang 002; Kaidi Xu; Linyi Li 001; Bo Li 026; Suman Jana; Cho-Jui Hsieh; J. Zico Kolter (NeurIPS, 2022)

Multi-lingual Evaluation of Code Generation Models. - Ben Athiwaratkun; Sanjay Krishna Gouda; Zijian Wang 002; Xiaopeng Li 002; Yuchen Tian; Ming Tan; Wasi Uddin Ahmad; Shiqi Wang 002; Qing Sun; Mingyue Shang; Sujan Kumar Gonugondla; Hantian Ding; et al. (CoRR, 2022)

Efficient Neural Network Verification Using Branch and Bound - Shiqi Wang 002 (2022)

ReCode: Robustness Evaluation of Code Generation Models. - Shiqi Wang 002; Zheng Li; Haifeng Qian; Chenghao Yang 001; Zijian Wang 002; Mingyue Shang; Varun Kumar; Samson Tan; Baishakhi Ray; Parminder Bhatia; Ramesh Nallapati; Murali Krishna Ramanathan; et al. (ACL (1), 2023)

Multi-lingual Evaluation of Code Generation Models. - Ben Athiwaratkun; Sanjay Krishna Gouda; Zijian Wang 002; Xiaopeng Li 002; Yuchen Tian; Ming Tan; Wasi Uddin Ahmad; Shiqi Wang 002; Qing Sun; Mingyue Shang; Sujan Kumar Gonugondla; Hantian Ding; et al. (ICLR, 2023)

Are Diffusion Models Vulnerable to Membership Inference Attacks? - Jinhao Duan; Fei Kong; Shiqi Wang 002; Xiaoshuang Shi; Kaidi Xu (ICML, 2023)

Towards Greener Yet Powerful Code Generation via Quantization: An Empirical Study. - Xiaokai Wei; Sujan Kumar Gonugondla; Shiqi Wang 002; Wasi Uddin Ahmad; Baishakhi Ray; Haifeng Qian; Xiaopeng Li 002; Varun Kumar; Zijian Wang 002; Yuchen Tian; Qing Sun; Ben Athiwaratkun; et al. (ESEC/SIGSOFT FSE, 2023)

Greener yet Powerful: Taming Large Code Generation Models with Quantization. - Xiaokai Wei; Sujan K. Gonugondla; Wasi Uddin Ahmad; Shiqi Wang 002; Baishakhi Ray; Haifeng Qian; Xiaopeng Li 002; Varun Kumar; Zijian Wang 002; Yuchen Tian; Qing Sun; Ben Athiwaratkun; et al. (CoRR, 2023)

Shifting Attention to Relevance: Towards the Uncertainty Estimation of Large Language Models. - Jinhao Duan; Hao Cheng 015; Shiqi Wang 002; Chenan Wang; Alex Zavalny; Renjing Xu; Bhavya Kailkhura; Kaidi Xu (CoRR, 2023)

Token Alignment via Character Matching for Subword Completion. - Ben Athiwaratkun; Shiqi Wang 002; Mingyue Shang; Yuchen Tian; Zijian Wang 002; Sujan Kumar Gonugondla; Sanjay Krishna Gouda; Robert Kwiatkowski; Ramesh Nallapati; Parminder Bhatia; Bing Xiang (ACL (Findings), 2024)

Shifting Attention to Relevance: Towards the Predictive Uncertainty Quantification of Free-Form Large Language Models. - Jinhao Duan; Hao Cheng 015; Shiqi Wang 002; Alex Zavalny; Chenan Wang; Renjing Xu; Bhavya Kailkhura; Kaidi Xu (ACL (1), 2024)

CodeFort: Robust Training for Code Generation Models. - Yuhao Zhang; Shiqi Wang 002; Haifeng Qian; Zijian Wang 002; Mingyue Shang; Linbo Liu; Sanjay Krishna Gouda; Baishakhi Ray; Murali Krishna Ramanathan; Xiaofei Ma 001; Anoop Deoras (EMNLP (Findings), 2024)

Reasoning and Planning with Large Language Models in Code Development. - Hao Ding 003; Ziwei Fan 001; Ingo Gühring; Gaurav Gupta; Wooseok Ha; Jun Huan; Linbo Liu; Behrooz Omidvar-Tehrani; Shiqi Wang 002; Hao Zhou 036 (KDD, 2024)

ReTA: Recursively Thinking Ahead to Improve the Strategic Reasoning of Large Language Models. - Jinhao Duan; Shiqi Wang 002; James Diffenderfer; Lichao Sun 001; Tianlong Chen 001; Bhavya Kailkhura; Kaidi Xu (NAACL-HLT, 2024)

LeDex: Training LLMs to Better Self-Debug and Explain Code. - Nan Jiang 012; Xiaopeng Li 002; Shiqi Wang 002; Qiang Zhou 009; Soneya Binta Hossain; Baishakhi Ray; Varun Kumar; Xiaofei Ma 001; Anoop Deoras (NeurIPS, 2024)

Token Alignment via Character Matching for Subword Completion. - Ben Athiwaratkun; Shiqi Wang 002; Mingyue Shang; Yuchen Tian; Zijian Wang 002; Sujan Kumar Gonugondla; Sanjay Krishna Gouda; Rob Kwiatkowski; Ramesh Nallapati; Bing Xiang (CoRR, 2024)

Training LLMs to Better Self-Debug and Explain Code. - Nan Jiang 012; Xiaopeng Li 002; Shiqi Wang 002; Qiang Zhou 009; Soneya Binta Hossain; Baishakhi Ray; Varun Kumar; Xiaofei Ma 001; Anoop Deoras (CoRR, 2024)

Horizon-Length Prediction: Advancing Fill-in-the-Middle Capabilities for Code Generation with Lookahead Planning. - Yifeng Ding; Hantian Ding; Shiqi Wang 002; Qing Sun; Varun Kumar; Zijian Wang 002 (CoRR, 2024)

Code-Aware Prompting: A Study of Coverage-Guided Test Generation in Regression Setting using LLM. - Gabriel Ryan; Siddhartha Jain 001; Mingyue Shang; Shiqi Wang 002; Xiaofei Ma 001; Murali Krishna Ramanathan; Baishakhi Ray (Proc. ACM Softw. Eng., 2024)

UTFix: Change Aware Unit Test Repairing using LLM. - Shanto Rahman; Sachit Kuhar; Berk Çirisci; Pranav Garg 001; Shiqi Wang 002; Xiaofei Ma 001; Anoop Deoras; Baishakhi Ray (Proc. ACM Program. Lang., 2025)