Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Arlen Cox
conf.researchr.org general profile
ESOP 2015 profile
SPLASH 2022 profile
Registered user since Wed 10 Jun 2020
Name:
Arlen Cox
Affiliation:
IDA
Personal website:
https://arlencox.github.io
Contributions
2022
Static Analysis Symposium
Session Chair of Model Checking and Verification (part of SAS)
Committee Member in Program Committee within the SAS-track
2015
ESOP
Author of Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages within the ESOP-track
Share
x
Sat 21 Dec 18:17