| 2026 |
J |
jnl |
IEEE Trans. Dependable Secur. Comput.
Chenxu Wang, Kun Lu, Fengwei Zhang, Yunjie Deng, Kevin Leach, Jiannong Cao, Zhenyu Ning, Shoumeng Yan, Tao Wei, Zhengyu He
|
| 2026 |
J |
jnl |
ACM Trans. Softw. Eng. Methodol.
Skyler Grandel, Scott Thomas Andersen, Yu Huang, Kevin Leach
|
| 2026 |
J |
jnl |
CoRR
Michael Tompkins, Nihaarika Agarwal, Ananta Soneji, Robert Wasinger, Connor Nelson, Kevin Leach, Rakibul Hasan, Adam Doupé, Daniel Votipka, Yan Shoshitaishvili, Jaron Mink
|
| 2026 |
J |
jnl |
CoRR
Jiahao Zhang, Yifan Zhang, Kevin Leach, Yu Huang
|
| 2025 |
— |
conf |
CompEd (2)
Saman Rengber Kittani, Stephanie Zeiger, Gordon Stein, Corey E. Brady, Shuchi Grover, Kevin Leach, Ákos Lédeczi
|
| 2025 |
A |
conf |
DSN
Yuwei Yang, Skyler Grandel, Jeremy Lacomis, Edward J. Schwartz, Bogdan Vasilescu, Claire Le Goues, Kevin Leach
|
| 2025 |
J |
jnl |
CoRR
Yuwei Yang, Skyler Grandel, Daniel Balasubramanian, Yu Huang, Kevin Leach
|
| 2025 |
— |
conf |
SIGSOFT FSE Companion
Skyler Grandel, Douglas C. Schmidt, Kevin Leach
|
| 2025 |
A* |
conf |
ASE
Yueke Zhang, Zihan Fang, Greg Trafton, Daniel Levin, Kevin Leach, Yu Huang
|
| 2025 |
J |
jnl |
CoRR
Yueke Zhang, Yifan Zhang, Kevin Leach, Yu Huang
|
| 2025 |
J |
jnl |
CoRR
Xiaohan Wang, Yuxin Hu, Kevin Leach
|
| 2025 |
J |
jnl |
CoRR
Zihan Fang, Yifan Zhang, Yueke Zhang, Kevin Leach, Yu Huang
|
| 2025 |
B |
conf |
DocEng
Zhijian Li, Stefan Larson, Kevin Leach
|
| 2025 |
— |
conf |
SIGSOFT FSE Companion
Yifan Zhang, Chen Huang, Zachary Karas, Dung Thuy Nguyen, Kevin Leach, Yu Huang
|
| 2025 |
J |
jnl |
CoRR
Yifan Zhang, Chen Huang, Zachary Karas, Dung Thuy Nguyen, Kevin Leach, Yu Huang
|
| 2025 |
J |
jnl |
CoRR
Yifan Zhang, Chen Huang, Yueke Zhang, Jiahao Zhang, Toby Jia-Jun Li, Collin McMillan, Kevin Leach, Yu Huang
|
| 2025 |
— |
conf |
SIGSOFT FSE Companion
Yifan Zhang, Kevin Leach
|
| 2025 |
A |
conf |
EuroS&P
Jiliang Li, Yifan Zhang, Yu Huang, Kevin Leach
|
| 2025 |
A |
conf |
ICPC
Manish Acharya, Yifan Zhang, Kevin Leach, Yu Huang
|
| 2025 |
J |
jnl |
CoRR
Manish Acharya, Yifan Zhang, Kevin Leach, Yu Huang
|
| 2025 |
A |
conf |
ICDCS
Dung Thuy Nguyen, Taylor T. Johnson, Kevin Leach
|
| 2025 |
A* |
conf |
NDSS
Dung Thuy Nguyen, Ngoc N. Tran, Taylor T. Johnson, Kevin Leach
|
| 2025 |
J |
jnl |
Trans. Mach. Learn. Res.
Yifan Zhang, Chen Huang, Yueke Zhang, Huajie Shao, Kevin Leach, Yu Huang
|
| 2025 |
— |
conf |
DeepTest
Gordon Lim, Stefan Larson, Kevin Leach
|
| 2025 |
J |
jnl |
CoRR
Dung Thuy Nguyen, Quang Nguyen, Preston K. Robinette, Eli Jiang, Taylor T. Johnson, Kevin Leach
|
| 2025 |
B |
conf |
DocEng
Stefan Larson, Sharad Duwal, Brian Vilnrotter, Gayatri Chakkithara, Vedant Padwal, Kevin Leach
|
| 2025 |
— |
conf |
SIGSOFT FSE Companion
Evan Krueger, Taylor J. Carpenter, Kevin Leach, James Weimer
|
| 2025 |
— |
conf |
SIGSOFT FSE Companion
Yifan Zhang, Kevin Leach
|
| 2025 |
A* |
conf |
ICSE
Yueke Zhang, Anda Liang, Xiaohan Wang, Pamela J. Wisniewski, Fengwei Zhang, Kevin Leach, Yu Huang
|
| 2024 |
— |
conf |
LLM4CODE@ICSE
Skyler Grandel, Douglas C. Schmidt, Kevin Leach
|
| 2024 |
A* |
conf |
ICSE
Yimeng Ma, Yu Huang, Kevin Leach
|
| 2024 |
J |
jnl |
IEEE Trans. Dependable Secur. Comput.
Chenxu Wang, Yunjie Deng, Zhenyu Ning, Kevin Leach, Jin Li, Shoumeng Yan, Zhengyu He, Jiannong Cao, Fengwei Zhang
|
| 2024 |
A* |
conf |
NDSS
Chenxu Wang, Fengwei Zhang, Yunjie Deng, Kevin Leach, Jiannong Cao, Zhenyu Ning, Shoumeng Yan, Zhengyu He
|
| 2024 |
J |
jnl |
CoRR
Skyler Grandel, Scott Thomas Andersen, Yu Huang, Kevin Leach
|
| 2024 |
— |
conf |
FormaliSE@ICSE
Preston K. Robinette, Diego Manzanas Lopez, Serena Serbinowska, Kevin Leach, Taylor T. Johnson
|
| 2024 |
J |
jnl |
CoRR
Preston K. Robinette, Diego Manzanas Lopez, Serena Serbinowska, Kevin Leach, Taylor T. Johnson
|
| 2024 |
A |
conf |
ICWSM
Haonan Hou, Kevin Leach, Yu Huang
|
| 2024 |
A* |
conf |
EMNLP
Stefan Larson, Nicole Lima, Santiago Diaz, Amogh Manoj Joshi, Siddharth Betala, Jamiu Suleiman, Yash Mathur, Kaushal Prajapati, Ramla Alakraa, Junjie Shen, Temi Okotore, Kevin Leach
|
| 2024 |
A |
conf |
ICPC
Jiliang Li, Yifan Zhang, Zachary Karas, Collin McMillan, Kevin Leach, Yu Huang
|
| 2024 |
J |
jnl |
CoRR
Jiliang Li, Yifan Zhang, Zachary Karas, Collin McMillan, Kevin Leach, Yu Huang
|
| 2024 |
J |
jnl |
CoRR
Zhijian Li, Stefan Larson, Kevin Leach
|
| 2024 |
J |
jnl |
CoRR
Yifan Zhang, Jiliang Li, Zachary Karas, Aakash Bansal, Toby Jia-Jun Li, Collin McMillan, Kevin Leach, Yu Huang
|
| 2024 |
J |
jnl |
Proc. ACM Softw. Eng.
Yifan Zhang, Jiliang Li, Zachary Karas, Aakash Bansal, Toby Jia-Jun Li, Collin McMillan, Kevin Leach, Yu Huang
|
| 2024 |
J |
jnl |
CoRR
Dung Thuy Nguyen, Taylor T. Johnson, Kevin Leach
|
| 2024 |
J |
jnl |
CoRR
Dung Thuy Nguyen, Ziyan An, Taylor T. Johnson, Meiyi Ma, Kevin Leach
|
| 2024 |
— |
conf |
LREC/COLING
Zhijian Li, Stefan Larson, Kevin Leach
|
| 2024 |
J |
jnl |
CoRR
Zhijian Li, Stefan Larson, Kevin Leach
|
| 2024 |
— |
conf |
GI@ICSE
Hunter Baxter, Yu Huang, Kevin Leach
|
| 2024 |
J |
jnl |
IEEE Trans. Dependable Secur. Comput.
Lei Zhou, Fengwei Zhang, Kevin Leach, Xuhua Ding, Zhenyu Ning, Guojun Wang, Jidong Xiao
|
| 2024 |
J |
jnl |
CoRR
Gordon Lim, Stefan Larson, Kevin Leach
|
| 2024 |
J |
jnl |
CoRR
Eric Li, Yifan Zhang, Yu Huang, Kevin Leach
|
| 2024 |
J |
jnl |
CoRR
Dung Thuy Nguyen, Ngoc N. Tran, Taylor T. Johnson, Kevin Leach
|
| 2024 |
J |
jnl |
IEEE Trans. Dependable Secur. Comput.
Michael Sandborn, Zach Stoebner, Westley Weimer, Stephanie Forrest, Ryan E. Dougherty, Jules White, Kevin Leach
|
| 2024 |
J |
jnl |
CoRR
Gordon Lim, Stefan Larson, Kevin Leach
|
| 2024 |
— |
conf |
ICCPS
Cailani Lemieux Mack, Kevin Leach, Kevin Angstadt
|
| 2024 |
J |
jnl |
CoRR
Gordon Lim, Stefan Larson, Yu Huang, Kevin Leach
|
| 2023 |
— |
conf |
ESEC/SIGSOFT FSE
Zihan Fang, Madeline Endres, Thomas Zimmermann, Denae Ford, Westley Weimer, Kevin Leach, Yu Huang
|
| 2023 |
A |
conf |
ESEM
Yueke Zhang, Kevin Leach, Yu Huang
|
| 2023 |
J |
jnl |
CoRR
Stefan Larson, Gordon Lim, Kevin Leach
|
| 2023 |
A |
conf |
EACL
Stefan Larson, Gordon Lim, Kevin Leach
|
| 2023 |
A |
conf |
ICPC
Kevin Cao, Kevin Leach
|
| 2023 |
J |
jnl |
CoRR
Kevin Cao, Kevin Leach
|
| 2023 |
A |
conf |
ICPC
Jason Kim, Daniel Genkin, Kevin Leach
|
| 2023 |
J |
jnl |
CoRR
Jason Kim, Daniel Genkin, Kevin Leach
|
| 2022 |
J |
jnl |
CoRR
Stefan Larson, Kevin Leach
|
| 2022 |
J |
jnl |
CoRR
Yifan Zhang, Junwen Yang, Haoyu Dong, Qingchen Wang, Huajie Shao, Kevin Leach, Yu Huang
|
| 2022 |
J |
jnl |
CoRR
Andrew Lee, Zhenguo Chen, Kevin Leach, Jonathan K. Kummerfeld
|
| 2022 |
J |
jnl |
CoRR
Yifan Zhang, Chen Huang, Yueke Zhang, Kevin Cao, Scott Thomas Andersen, Huajie Shao, Kevin Leach, Yu Huang
|
| 2022 |
A* |
conf |
NeurIPS
Stefan Larson, Gordon Lim, Yutong Ai, David Kuang, Kevin Leach
|
| 2022 |
J |
jnl |
CoRR
Stefan Larson, Gordon Lim, Yutong Ai, David Kuang, Kevin Leach
|
| 2022 |
— |
conf |
ACL (Findings)
Christopher Clarke, Joseph Peper, Karthik Krishnamurthy, Walter Talamonti, Kevin Leach, Walter S. Lasecki, Yiping Kang, Lingjia Tang, Jason Mars
|
| 2022 |
J |
jnl |
CoRR
Christopher Clarke, Joseph Joshua Peper, Karthik Krishnamurthy, Walter Talamonti, Kevin Leach, Walter S. Lasecki, Yiping Kang, Lingjia Tang, Jason Mars
|
| 2022 |
B |
conf |
SIGDIAL
Stefan Larson, Kevin Leach
|
| 2022 |
J |
jnl |
CoRR
Stefan Larson, Kevin Leach
|
| 2022 |
A |
conf |
ISSRE
Kevin Leach, Christopher Steven Timperley, Kevin Angstadt, Anh Nguyen-Tuong, Jason Hiser, Aaron Paulos, Partha P. Pal, Patrick Hurley, Carl Thomas, Jack W. Davidson, Stephanie Forrest, Claire Le Goues, Westley Weimer
|
| 2022 |
A* |
conf |
CCS
Yunjie Deng, Chenxu Wang, Shunchang Yu, Shiqing Liu, Zhenyu Ning, Kevin Leach, Jin Li, Shoumeng Yan, Zhengyu He, Jiannong Cao, Fengwei Zhang
|
| 2021 |
J |
jnl |
IEEE Trans. Dependable Secur. Comput.
Lei Zhou, Fengwei Zhang, Jidong Xiao, Kevin Leach, Westley Weimer, Xuhua Ding, Guojun Wang
|
| 2021 |
J |
jnl |
CoRR
Mohsen Ahmadi, Kevin Leach, Ryan E. Dougherty, Stephanie Forrest, Westley Weimer
|
| 2021 |
J |
jnl |
ACM Trans. Softw. Eng. Methodol.
Zohreh Sharafi, Yu Huang, Kevin Leach, Westley Weimer
|
| 2020 |
A |
conf |
ICPC
Sean Stapleton, Yashmeet Gambhir, Alexander LeClair, Zachary Eberhart, Westley Weimer, Kevin Leach, Yu Huang
|
| 2020 |
— |
conf |
ESEC/SIGSOFT FSE
Yu Huang, Kevin Leach, Zohreh Sharafi, Nicholas McKay, Tyler Santander, Westley Weimer
|
| 2020 |
B |
conf |
LREC
Stefan Larson, Eric Guldan, Kevin Leach
|
| 2020 |
B |
conf |
COLING
Stefan Larson, Adrian Cheung, Anish Mahendran, Kevin Leach, Jonathan K. Kummerfeld
|
| 2020 |
— |
conf |
EMNLP (1)
Stefan Larson, Anthony Zheng, Anish Mahendran, Rishi Tekriwal, Adrian Cheung, Eric Guldan, Kevin Leach, Jonathan K. Kummerfeld
|
| 2020 |
A |
conf |
DSN
Lei Zhou, Fengwei Zhang, Jinghui Liao, Zhenyu Ning, Jidong Xiao, Kevin Leach, Westley Weimer, Guojun Wang
|
| 2020 |
— |
conf |
CCSW
Yujun Qin, Samuel Gonzalez, Kevin Angstadt, Xiaowei Wang, Stephanie Forrest, Reetuparna Das, Kevin Leach, Westley Weimer
|
| 2020 |
A* |
conf |
ICSE
Ryan Krueger, Yu Huang, Xinyu Liu, Tyler Santander, Westley Weimer, Kevin Leach
|
| 2020 |
— |
conf |
ICSE (Workshops)
Yu Huang, Kevin Angstadt, Kevin Leach, Westley Weimer
|
| 2020 |
— |
conf |
CNS
Chad Spensky, Aravind Machiry, Marcel Busch, Kevin Leach, Rick Housley, Christopher Kruegel, Giovanni Vigna
|
| 2019 |
— |
conf |
EMNLP/IJCNLP (1)
Stefan Larson, Anish Mahendran, Joseph J. Peper, Christopher Clarke, Andrew Lee, Parker Hill, Jonathan K. Kummerfeld, Kevin Leach, Michael A. Laurenzano, Lingjia Tang, Jason Mars
|
| 2019 |
J |
jnl |
CoRR
Stefan Larson, Anish Mahendran, Joseph J. Peper, Christopher Clarke, Andrew Lee, Parker Hill, Jonathan K. Kummerfeld, Kevin Leach, Michael A. Laurenzano, Lingjia Tang, Jason Mars
|
| 2019 |
A* |
conf |
ICSE
Yu Huang, Xinyu Liu, Ryan Krueger, Tyler Santander, Xiaosu Hu, Kevin Leach, Westley Weimer
|
| 2019 |
— |
conf |
GI@ICSE
Kevin Leach, Ryan E. Dougherty, Chad Spensky, Stephanie Forrest, Westley Weimer
|
| 2019 |
— |
conf |
ESORICS (2)
Lei Zhou, Jidong Xiao, Kevin Leach, Westley Weimer, Fengwei Zhang, Guojun Wang
|
| 2019 |
— |
conf |
OSS
Brandon Carlson, Kevin Leach, Darko Marinov, Meiyappan Nagappan, Atul Prakash
|
| 2019 |
J |
jnl |
CoRR
William B. Langdon, Westley Weimer, Christopher Steven Timperley, Oliver Krauss, Zhen Yu Ding, Yiwei Lyu, Nicolas Chausseau, Eric M. Schulte, Shin Hwei Tan, Kevin Leach, Yu Huang, Gabin An
|
| 2019 |
J |
jnl |
ACM SIGSOFT Softw. Eng. Notes
William B. Langdon, Westley Weimer, Christopher Steven Timperley, Oliver Krauss, Zhen Yu Ding, Yiwei Lyu, Nicolas Chausseau, Eric M. Schulte, Shin Hwei Tan, Kevin Leach, Yu Huang, Gabin An
|
| 2018 |
J |
jnl |
IEEE Trans. Dependable Secur. Comput.
Fengwei Zhang, Kevin Leach, Angelos Stavrou, Haining Wang
|
| 2017 |
— |
conf |
MWSCAS
Jacob Breiholz, Farah B. Yahya, Christopher J. Lukas, Xing Chen, Kevin Leach, David D. Wentzloff, Benton H. Calhoun
|
| 2017 |
A |
conf |
RAID
Kevin Leach, Fengwei Zhang, Westley Weimer
|
| 2016 |
— |
conf |
BigComp
Nicholas J. Napoli, Kevin Leach, Laura E. Barnes, Westley Weimer
|
| 2016 |
— |
conf |
DSN Workshops
Kate Highnam, Kevin Angstadt, Kevin Leach, Westley Weimer, Aaron Paulos, Patrick Hurley
|
| 2016 |
Misc |
conf |
UbiComp
Yu Huang, Haoyi Xiong, Kevin Leach, Yuyan Zhang, Philip Chow, Karl C. Fua, Bethany A. Teachman, Laura E. Barnes
|
| 2016 |
A* |
conf |
NDSS
Chad Spensky, Hongyi Hu, Kevin Leach
|
| 2016 |
A |
conf |
SANER
Kevin Leach, Chad Spensky, Westley Weimer, Fengwei Zhang
|
| 2015 |
— |
conf |
IEEE BigData
Jinghe Zhang, Haoyi Xiong, Yu Huang, Hao Wu, Kevin Leach, Laura E. Barnes
|
| 2015 |
A |
conf |
AsiaCCS
Fengwei Zhang, Kevin Leach, Haining Wang, Angelos Stavrou
|
| 2015 |
A* |
conf |
IEEE Symposium on Security and Privacy
Fengwei Zhang, Kevin Leach, Angelos Stavrou, Haining Wang, Kun Sun
|
| 2014 |
— |
conf |
ESORICS (1)
Fengwei Zhang, Haining Wang, Kevin Leach, Angelos Stavrou
|
| 2013 |
— |
conf |
DSN Workshops
Kevin Leach
|
| 2013 |
A |
conf |
DSN
Fengwei Zhang, Kevin Leach, Kun Sun, Angelos Stavrou
|