AutomataLab

https://www.cs.ucr.edu/~zhijia

University of California, Riverside Riverside, CA Programming Systems and High-Performance Data Analytics