John Toman -

Registered user since Thu 14 Apr 2016

Name:John Toman

Country:United States

Affiliation:University of Washington, Seattle

Personal website: http://homes.cs.washington.edu/~jtoman/

Research interests:Static Analysis, Program Analysis, Configurable Software Systems, Dynamic Configuration Updates

Contributions

2020

ECOOP

Committee Member in Artifact Evaluation Committee within the Artifacts-track

2019

POPL

Author of Concerto: A Framework for Combined Concrete and Abstract Interpretation within the Research Papers-track

2018

ECOOP

Author of Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates within the ECOOP Research Papers-track

PLDI

Committee Member in Artifact Evaluation Committee

2017

ECOOP

Committee Member in Program Committee within the ECOOP Doctoral Symposium-track

2016

ECOOP