Alexander Collins

According to our database, Alexander Collins authored at least 11 papers between 2012 and 2022.

Collaborative distances:

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

2022

Axon: A Language for Dynamic Shapes in Deep Learning Graphs.

Alexander Collins, Vinod Grover

CoRR, 2022

2020

Probabilistic Programming with CuPPL.

Alexander Collins, Vinod Grover

CoRR, 2020

2019

Modeling and Verifying Dynamic Architectures with FACTum Studio.

Habtom Kahsay Gidey, Alexander Collins, Diego Marmsoler

Proceedings of the Formal Aspects of Component Software - 16th International Conference, 2019

2018

Space Debris Collision Detection using Reachability.

Kerianne Hobbs, Peter Heidlauf, Alexander Collins, Stanley Bak

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers.

Peter Heidlauf, Alexander Collins, Michael Bolender, Stanley Bak

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2015

Cooperative auto-tuning of parallel skeletons.

Alexander Collins

PhD thesis, 2015

LIRA: Adaptive Contention-Aware Thread Placement for Parallel Runtime Systems.

Alexander Collins, Tim Harris, Murray Cole, Christian Fensch

Proceedings of the 5th International Workshop on Runtime and Operating Systems for Supercomputers, 2015

2014

NOVA: A Functional Language for Data Parallelism.

Alexander Collins, Dominik Grewe, Vinod Grover, Sean Lee, Adriana Susnea

Proceedings of the ARRAY'14: Proceedings of the 2014 ACM SIGPLAN International Workshop on Libraries, 2014

2013

MaSiF: Machine learning guided auto-tuning of parallel skeletons.

Alexander Collins, Christian Fensch, Hugh Leather, Murray Cole

Proceedings of the 20th Annual International Conference on High Performance Computing, 2013

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

Proceedings of the International Conference on Parallel Architectures and Compilation Techniques, 2012