Publications

(pdf) Arlen Cox, Bor-Yuh Evan Chang, Huisong Li, Xavier Rival Abstract Domains and Solvers for Sets Reasoning LPAR 2015
(pdf) Arlen Cox, Bor-Yuh Evan Chang, Xavier Rival Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages ESOP 2015
(pdf) Arlen Cox Parametric Heap Abstraction for Dynamic Language Libraries Ph.D. Thesis
(pdf) Arlen Cox, Bor-Yuh Evan Chang, Xavier Rival Automatic Analysis of Open Objects in Dynamic Language Programs SAS 2014
(pdf) Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers CAV 2014
(pdf) Arlen Cox, Sriram Sankaranarayanan, Bor-Yuh Evan Chang A bit too precise? Verification of quantized digital filters STTT 16(2)
(pdf) Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan QUIC Graphs: Relational Invariant Generation for Containers ECOOP 2013
(pdf) Josh Berdine, Arlen Cox, Samin Ishtiaq, Christoph Wintersteiger Diagnosing Abstraction Failure for Separation Logic-Based Analyses CAV 2012
(pdf) Arlen Cox, Sriram Sankaranarayanan, Bor-Yuh Evan Chang A bit too precise? Bounded verification of digital filters TACAS 2012

Projects

SETr

SETr is an abstract domain library for analyzing programs that manipulate sets.
QUICr

QUICr is an abstract domain library for analyzing programs that manipulate sets that contain numbers.
JSAna

JSAna is a static analyzer for JavaScript that focuses on analyzing library code in absence of code that uses the library.