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

ECOOP 2020	Committee Member in Artifact Evaluation Committee within the Artifacts-track
POPL 2019	Author of Concerto: A Framework for Combined Concrete and Abstract Interpretation within the Research Papers-track
PLDI 2018	Committee Member in Artifact Evaluation Committee
ECOOP 2018	Author of Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates within the ECOOP Research Papers-track
ECOOP 2017	Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
ECOOP 2016	Author of Staccato: A Bug-Finder for Dynamic Configuration Updates within the Posters-track Author of Staccato: A Bug Finder for Dynamic Configuration Updates within the Artifacts-track Author of Staccato: A Bug Finder for Dynamic Configuration Updates within the Research Track-track