MaSiF: machine learning guided auto-tuning of parallel skeletons. - Alexander Collins; Christian Fensch; Hugh Leather (PACT, 2012)

Auto-Tuning Parallel Skeletons. - Alexander Collins; Christian Fensch; Hugh Leather (Parallel Process. Lett., 2012)

MaSiF: Machine learning guided auto-tuning of parallel skeletons. - Alexander Collins; Christian Fensch; Hugh Leather; Murray Cole (HiPC, 2013)

NOVA: A Functional Language for Data Parallelism. - Alexander Collins; Dominik Grewe; Vinod Grover; Sean Lee; Adriana Susnea (ARRAY@PLDI, 2014)

LIRA: Adaptive Contention-Aware Thread Placement for Parallel Runtime Systems. - Alexander Collins; Tim Harris 001; Murray Cole; Christian Fensch (ROSS@HPDC, 2015)

Cooperative auto-tuning of parallel skeletons. - Alexander Collins (2015)

Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers. - Peter Heidlauf; Alexander Collins; Michael Bolender; Stanley Bak (ARCH@ADHS, 2018)

Space Debris Collision Detection using Reachability. - Kerianne Hobbs; Peter Heidlauf; Alexander Collins; Stanley Bak (ARCH@ADHS, 2018)

Modeling and Verifying Dynamic Architectures with FACTum Studio. - Habtom Kahsay Gidey; Alexander Collins; Diego Marmsoler (FACS, 2019)

Probabilistic Programming with CuPPL. - Alexander Collins; Vinod Grover (CoRR, 2020)

Axon: A Language for Dynamic Shapes in Deep Learning Graphs. - Alexander Collins; Vinod Grover (CoRR, 2022)