Dan Grossman - SPLASH 2014

Mon 20 - Fri 24 October 2014 Portland, Oregon, United States

Registered user since Sun 12 Jun 2016

Name:Dan Grossman

Affiliation:University of Washington

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

Contributions

2014

SPLASH

Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts

Show activities from other conferences

SPLASH 2014-profile
View general profile