Arlen Cox

Publication Activity (10 Years)

Years Active: 2012-2020
Publications (10 Years): 3

Top Topics

Automatic Analysis

Significant Bit

Natural Language

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

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