Andrew Zhao will present "Monte Carlo for Probabilistic Programs Analysis" for the General Exam scheduled for 4/25/25 at 3pm in CS 302. Committee: David Walker (adviser), Mae Milano, and Ryan Adams Abstract and Reading List: https://docs.google.com/document/d/16yOJApNC1GWVaWDK7xcO4zoK1WCXkj1dPrEAxgkI...