CECS Series: Petal Rejuvenation of MPI Applications/Ariadne: Static Analysis Meets Model Checking

Monday, March 19, 2018
2:00 PM - 3:15 PM
Event Type
Meeting / Conference
Contact
Kim Sapp
Department
Sim Center
Link
http://events.utc.edu/MasterCalendar/EventDetails.aspx?EventDetailId=115780

Details: Dr. Peter Pirkelbauer, assistant professor of computer science at the of Alabama at Birmingham, discusses Petal, a prototype tool that transforms point-to-point and collective MPI operations to their nonblocking and counterparts. 

Admission: Free and open to the public.

Information: More details available on the CECS Seminar Series website. 

 

 

Admission
Free and open to the public.
Parking
Parking For more information about guest parking, visit the link below. Visitors who arrive on campus are welcome to park in spots and lots without a decal where 24 hour parking is not enforced (Lots 1, 21, 24, 47, 48, and 51, Fire Lane, Handicap, and specially marked spots).

Get Directions
Event Date
Event Time
Title
Location