Maxwell Pirtle

According to our database, Maxwell Pirtle authored at least 1 paper in 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

McMini: A Programmable DPOR-Based Model Checker for Multithreaded Programs.

Maxwell Pirtle, Luka Jovanovic, Gene Cooperman

Art Sci. Eng. Program., June, 2023