| 2020 | FMCAD | EUFicient Reachability in Software with Arrays. | Denis Bueno, Arlen Cox, Karem A. Sakallah |
| 2018 | SAS | Volume-Based Merge Heuristics for Disjunctive Numeric Domains. | Andrew Ruef, Kesha Hietala, Arlen Cox |
| 2015 | ESOP | Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages. | Arlen Cox, Bor-Yuh Evan Chang, Xavier Rival |
| 2015 | LPAR | Abstract Domains and Solvers for Sets Reasoning. | Arlen Cox, Bor-Yuh Evan Chang, Huisong Li, Xavier Rival |
| 2014 | CAV | QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers. | Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan |
| 2014 | SAS | Automatic Analysis of Open Objects in Dynamic Language Programs. | Arlen Cox, Bor-Yuh Evan Chang, Xavier Rival |
| 2013 | ECOOP | QUIC Graphs: Relational Invariant Generation for Containers. | Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan |
| 2012 | CAV | Diagnosing Abstraction Failure for Separation Logic-Based Analyses. | Josh Berdine, Arlen Cox, Samin Ishtiaq, Christoph M. Wintersteiger |
| 2012 | TACAS | A Bit Too Precise? Bounded Verification of Quantized Digital Filters. | Arlen Cox, Sriram Sankaranarayanan, Bor-Yuh Evan Chang |