William Eiers

According to our database, William Eiers authored at least 15 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

CloudFix: Automated Policy Repair for Cloud Access Control Policies Using Large Language Models.

Bethel Hall, Owen Ungaro, William Eiers

CoRR, December, 2025

Exploring Large Language Models for Access Control Policy Synthesis and Summarization.

Adarsh Vatsa, Bethel Hall, William Eiers

CoRR, October, 2025

Synthesizing Access Control Policies Using Large Language Models.

Adarsh Vatsa, Pratyush Patel, William Eiers

Proceedings of the IEEE/ACM International Workshop on Natural Language-Based Software Engineering, 2025

Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification.

Balaji Rao, William Eiers, Carlo Lipizzi

Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning (NeSy 2025), 2025

2024

Quantitative Symbolic Robustness Verification for Quantized Neural Networks.

Mara Downing, William Eiers, Erin DeLong, Anushka Lodha, Brian Ozawa Burns, Ismet Burak Kadron, Tevfik Bultan

Proceedings of the Formal Methods and Software Engineering, 2024

2023

Quantitative Access Control Policy Analysis and Repair Using Model Counting

William Eiers

PhD thesis, 2023

Quantitative Policy Repair for Access Control on the Cloud.

William Eiers, Ganesh Sankaran, Tevfik Bultan

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

2022

Quacky: Quantitative Access Control Permissiveness Analyzer✱.

William Eiers, Ganesh Sankaran, Albert Li, Emily O'Mahony, Benjamin Prince, Tevfik Bultan

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Quantifying Permissiveness of Access Control Policies.

William Eiers, Ganesh Sankaran, Albert Li, Emily O'Mahony, Benjamin Prince, Tevfik Bultan

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2020

The Java Pathfinder Workshop 2019.

Cyrille Artho, Quoc-Sang Phan, Peter Aldous, Alyas Almaawi, Lucas Bang, Lasse Berglund, Tevfik Bultan, Zhenbang Chen, Hayes Converse, Wei Dong, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu

ACM SIGSOFT Softw. Eng. Notes, 2020

2019

Incremental Attack Synthesis.

Seemanta Saha, William Eiers, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan

ACM SIGSOFT Softw. Eng. Notes, 2019

Incremental Adaptive Attack Synthesis.

Seemanta Saha, William Eiers, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan

CoRR, 2019

Subformula Caching for Model Counting and Quantitative Program Analysis.

William Eiers, Seemanta Saha, Tegan Brennan, Tevfik Bultan

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

2018

Attack Synthesis for Strings using Meta-Heuristics.

Seemanta Saha, Ismet Burak Kadron, William Eiers, Lucas Bang, Tevfik Bultan

ACM SIGSOFT Softw. Eng. Notes, 2018

Parameterized model counting for string and numeric constraints.

Abdulbaki Aydin, William Eiers, Lucas Bang, Tegan Brennan, Miroslav Gavrilov, Tevfik Bultan, Fang Yu

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018