• Sign in
  • Sign up
conf.researchr.org / Arlen Cox
  • ESOP 2015 profile
  • SPLASH 2022 profile
No Photo

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
xMon 19 May 08:43
using conf.researchr.org (v1.69.0)
Support page
Sign Up