Arlen Cox

12 papers A* 2A 3B 4Journal 3
YearRankTypeTitle / Venue / Authors
2020 B conf
EUFicient Reachability in Software with Arrays.
FMCAD
Denis Bueno, Arlen Cox, Karem A. Sakallah
2018 B conf
Volume-Based Merge Heuristics for Disjunctive Numeric Domains.
SAS
Andrew Ruef, Kesha Hietala, Arlen Cox
2017 J jnl
Model Checking Regular Language Constraints.
CoRR
Arlen Cox, Jason Leasure
2015 B conf
Abstract Domains and Solvers for Sets Reasoning.
LPAR
Arlen Cox, Bor-Yuh Evan Chang, Huisong Li, Xavier Rival
2015 J jnl
Binary-Decision-Diagrams for Set Abstraction.
CoRR
Arlen Cox
2015 A conf
Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages.
ESOP
Arlen Cox, Bor-Yuh Evan Chang, Xavier Rival
2014 J jnl
A bit too precise? Verification of quantized digital filters.
Int. J. Softw. Tools Technol. Transf.
Arlen Cox, Sriram Sankaranarayanan, Bor-Yuh Evan Chang
2014 B conf
Automatic Analysis of Open Objects in Dynamic Language Programs.
SAS
Arlen Cox, Bor-Yuh Evan Chang, Xavier Rival
2014 A* conf
QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers.
CAV
Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan
2013 A conf
QUIC Graphs: Relational Invariant Generation for Containers.
ECOOP
Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan
2012 A conf
A Bit Too Precise? Bounded Verification of Quantized Digital Filters.
TACAS
Arlen Cox, Sriram Sankaranarayanan, Bor-Yuh Evan Chang
2012 A* conf
Diagnosing Abstraction Failure for Separation Logic-Based Analyses.
CAV
Josh Berdine, Arlen Cox, Samin Ishtiaq, Christoph M. Wintersteiger