The University of Arizona
banner image

Michelle Mills Strout

Software Artifacts

See the github organization for the CompOpt4Apps: Compiler Optimizations For Applications Research Group for some of our research software.

IEGenLib: Inspector/Executor Generation Library for manipulating sets and relations with uninterpreted function symbols.

mjsim: Simulator for AVR assembly code and emulator for the MeggyJr.

ParCubed: Fast Graph Partitioner for use with Inspector/Executor Strategies

TVIS: tiling visualizer, primarily designed and implemented by Jonathon Roelofs in 2011 as an undergraduate research assistant