Arlen Cox

According to our database, Arlen Cox authored at least 12 papers between 2012 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

EUFicient Reachability in Software with Arrays.

Denis Bueno, Arlen Cox, Karem A. Sakallah

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2018

Volume-Based Merge Heuristics for Disjunctive Numeric Domains.

Andrew Ruef, Kesha Hietala, Arlen Cox

Proceedings of the Static Analysis - 25th International Symposium, 2018

2017

Model Checking Regular Language Constraints.

Arlen Cox, Jason Leasure

CoRR, 2017

2015

Binary-Decision-Diagrams for Set Abstraction.

Arlen Cox

CoRR, 2015

Abstract Domains and Solvers for Sets Reasoning.

Arlen Cox, Bor-Yuh Evan Chang, Huisong Li, Xavier Rival

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages.

Arlen Cox, Bor-Yuh Evan Chang, Xavier Rival

Proceedings of the Programming Languages and Systems, 2015

2014

A bit too precise? Verification of quantized digital filters.

Arlen Cox, Sriram Sankaranarayanan, Bor-Yuh Evan Chang

Int. J. Softw. Tools Technol. Transf., 2014

Automatic Analysis of Open Objects in Dynamic Language Programs.

Arlen Cox, Bor-Yuh Evan Chang, Xavier Rival

Proceedings of the Static Analysis - 21st International Symposium, 2014

QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers.

Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

QUIC Graphs: Relational Invariant Generation for Containers.

Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan

Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

2012

A Bit Too Precise? Bounded Verification of Quantized Digital Filters.

Arlen Cox, Sriram Sankaranarayanan, Bor-Yuh Evan Chang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Diagnosing Abstraction Failure for Separation Logic-Based Analyses.

Josh Berdine, Arlen Cox, Samin Ishtiaq, Christoph M. Wintersteiger

Proceedings of the Computer Aided Verification - 24th International Conference, 2012