Not registered as user yet

Name: Arlen Cox

Affiliation: University of Colorado Boulder

Contributions

ESOP 2015Author of Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages within the ESOP-track