June 13 @ 12:00 pm - 2:00 pm Graduate Defense: Kenny Ballou City Center Plaza – Room 368 101 S Capitol Blvd, Boise Dissertation Information Title: Leveraging Incrementality Of Data-Flow Program Analysis To Improve Analysis Over Weakly-Relational Abstract...
June 13 @ 2:00 pm - 3:00 pm Graduate Defense: Augustus Tropea Mathematics Building – Room 226 2000 University Dr., Boise Thesis Information Title: Numerical Simulation Of The Atmospheric Lamb Waves Generated By The Hunga Tonga-Hunga...