Andrew Gacek
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
8
Active years
2007–2024
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | FMCAD | Projective Model Counting for IP Addresses in Access Control Policies. | Loris D'Antoni, Andrew Gacek, Amit Goel, Dejan Jovanovic, Rami Gkhan Kici, Daniel Peebles, Neha Rungta, Yasmine Sharoda, Chungha Sung |
| 2023 | CAV | Automated Analyses of IOT Event Monitoring Systems. | Andrew Apicelli, Sam Bayless, Ankush Das, Andrew Gacek, Dhiva Jaganathan, Saswat Padhi, Vaibhav Sharma, Michael W. Whalen, Raveesh Yadav |
| 2020 | CAV | Stratified Abstraction of Access Control Policies. | John Backes, Ulises Berrueco, Tyler Bray, Daniel Brim, Byron Cook, Andrew Gacek, Ranjit Jhala, Kasper Se Luckow, Sean McLaughlin, Madhav Menon, Daniel Peebles, Ujjwal Pugalia, Neha Rungta, Cole Schlesinger, Adam Schodde, Anvesh Tanuku, Carsten Varming, Deepa Viswanathan |
| 2019 | CAV | Reachability Analysis for AWS-Based Networks. | John Backes, Sam Bayless, Byron Cook, Catherine Dodge, Andrew Gacek, Alan J. Hu, Temesghen Kahsai, Bill Kocik, Evgenii Kotelnikov, Jure Kukovec, Sean McLaughlin, Jason Reed, Neha Rungta, John Sizemore, Mark A. Stalzer, Preethi Srinivasan, Pavle Subotic, Carsten Varming, Blake Whaley |
| 2018 | CAV | The JKind Model Checker. | Andrew Gacek, John Backes, Mike Whalen, Lucas G. Wagner, Elaheh Ghassabani |
| 2018 | FMCAD | Semantic-based Automated Reasoning for AWS Access Policies using SMT. | John Backes, Pauline Bolignano, Byron Cook, Catherine Dodge, Andrew Gacek, Kasper Se Luckow, Neha Rungta, Oksana Tkachuk, Carsten Varming |
| 2018 | TACAS | Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts. | Andreas Katis, Grigory Fedyukovich, Huajun Guo, Andrew Gacek, John Backes, Arie Gurfinkel, Michael W. Whalen |
| 2017 | FMCAD | Efficient generation of all minimal inductive validity cores. | Elaheh Ghassabani, Michael W. Whalen, Andrew Gacek |
| 2016 | ICSE | Towards synthesis from assume-guarantee contracts involving infinite theories: a preliminary report. | Andreas Katis, Andrew Gacek, Michael W. Whalen |
| 2013 | PPDP | Reasoning about higher-order relational specifications. | Yuting Wang, Kaustuv Chaudhuri, Andrew Gacek, Gopalan Nadathur |
| 2012 | ITP | Abella: A Tutorial. | Andrew Gacek |
| 2010 | PPDP | Relating nominal and higher-order abstract syntax specifications. | Andrew Gacek |
| 2008 | CADE | The Abella Interactive Theorem Prover (System Description). | Andrew Gacek |
| 2008 | LICS | Combining Generic Judgments with Recursive Definitions. | Andrew Gacek, Dale Miller, Gopalan Nadathur |
| 2007 | CADE | The Bedwyr System for Model Checking over Syntactic Expressions. | David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu |