BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Estonia
1 × France
1 × Germany
1 × USA
1 × United Kingdom
Collaborated with:
B.E.Chang S.Sankaranarayanan X.Rival J.Berdine S.Ishtiaq C.M.Wintersteiger
Talks about:
abstract (3) program (2) languag (2) dynam (2) open (2) desynchron (1) parametr (1) reusabl (1) quantiz (1) librari (1)

Person: Arlen Cox

DBLP DBLP: Cox:Arlen

Contributed to:

ESOP 20152015
CAV 20142014
SAS 20142014
ECOOP 20132013
CAV 20122012
TACAS 20122012

Wrote 6 papers:

ESOP-2015-CoxCR #abstraction #multi #source code
Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages (AC, BYEC, XR), pp. 483–509.
CAV-2014-CoxCS #abstraction #library #named #parametricity #reuse #set
QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers (AC, BYEC, SS), pp. 866–873.
SAS-2014-CoxCR #analysis #automation #source code
Automatic Analysis of Open Objects in Dynamic Language Programs (AC, BYEC, XR), pp. 134–150.
ECOOP-2013-CoxCS #generative #graph #invariant #relational
QUIC Graphs: Relational Invariant Generation for Containers (AC, BYEC, SS), pp. 401–425.
CAV-2012-BerdineCIW #abstraction #analysis
Diagnosing Abstraction Failure for Separation Logic-Based Analyses (JB, AC, SI, CMW), pp. 155–173.
TACAS-2012-CoxSC #bound #precise #verification
A Bit Too Precise? Bounded Verification of Quantized Digital Filters (AC, SS, BYEC), pp. 33–47.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.