Write a Blog >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais/Lisbon, Portugal
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


POPL 2019Author of Concerto: A Framework for Combined Concrete and Abstract Interpretation within the Research Papers-track
Show activities from other conferences

Using general profile