Brian Demsky Program Analysis and Software Engineering bdemsky@uci.edu (949) 824-0356 https://plrg.ics.uci.edu/