Award Recipient Gennaro Parlato University of Molise Social website 2021 Amazon Research Award Program Analysis in the Clouds (PAC): A Distributed Symbolic Algorithm to Scale Up Bug-finding in Concurrent Programs
