Registered user since Sun 12 Jun 2016

Name: Dan Grossman

Affiliation: University of Washington

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

SPLASH 2014 Activities

• Author of Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts within the OOPSLA-track in SPLASH 2014
• Show activities from other conferences