Diagnosing Abstraction Failure for Separation Logic-Based Analyses. - Josh Berdine; Arlen Cox; Samin Ishtiaq; Christoph M. Wintersteiger (CAV, 2012)

A Bit Too Precise? Bounded Verification of Quantized Digital Filters. - Arlen Cox; Sriram Sankaranarayanan 001; Bor-Yuh Evan Chang (TACAS, 2012)

QUIC Graphs: Relational Invariant Generation for Containers. - Arlen Cox; Bor-Yuh Evan Chang; Sriram Sankaranarayanan 001 (ECOOP, 2013)

QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers. - Arlen Cox; Bor-Yuh Evan Chang; Sriram Sankaranarayanan 001 (CAV, 2014)

Automatic Analysis of Open Objects in Dynamic Language Programs. - Arlen Cox; Bor-Yuh Evan Chang; Xavier Rival (SAS, 2014)

A bit too precise? Verification of quantized digital filters. - Arlen Cox; Sriram Sankaranarayanan 001; Bor-Yuh Evan Chang (Int. J. Softw. Tools Technol. Transf., 2014)

Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages. - Arlen Cox; Bor-Yuh Evan Chang; Xavier Rival (ESOP, 2015)

Abstract Domains and Solvers for Sets Reasoning. - Arlen Cox; Bor-Yuh Evan Chang; Huisong Li; Xavier Rival (LPAR, 2015)

Binary-Decision-Diagrams for Set Abstraction. - Arlen Cox (CoRR, 2015)

Model Checking Regular Language Constraints. - Arlen Cox; Jason Leasure (CoRR, 2017)

Volume-Based Merge Heuristics for Disjunctive Numeric Domains. - Andrew Ruef; Kesha Hietala; Arlen Cox (SAS, 2018)

EUFicient Reachability in Software with Arrays. - Denis Bueno; Arlen Cox; Karem A. Sakallah (FMCAD, 2020)