Alexander Collins

Publication Activity (10 Years)

Years Active: 2012-2022
Publications (10 Years): 6

Top Topics

Collision Detection

Ground Vehicles

Machine Learning

Functional Language

Top Venues

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Alexander Collins, Vinod Grover
Axon: A Language for Dynamic Shapes in Deep Learning Graphs. CoRR (2022)
Alexander Collins, Vinod Grover
Probabilistic Programming with CuPPL. CoRR (2020)
Habtom Kahsay Gidey, Alexander Collins, Diego Marmsoler
Modeling and Verifying Dynamic Architectures with FACTum Studio. FACS (2019)
Peter Heidlauf, Alexander Collins, Michael Bolender, Stanley Bak
Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers. ARCH@ADHS (2018)
Kerianne Hobbs, Peter Heidlauf, Alexander Collins, Stanley Bak
Space Debris Collision Detection using Reachability. ARCH@ADHS (2018)
Alexander Collins, Tim Harris, Murray Cole, Christian Fensch
LIRA: Adaptive Contention-Aware Thread Placement for Parallel Runtime Systems. ROSS@HPDC (2015)
Alexander Collins, Dominik Grewe, Vinod Grover, Sean Lee, Adriana Susnea
NOVA: A Functional Language for Data Parallelism. ARRAY@PLDI (2014)
Alexander Collins, Christian Fensch, Hugh Leather, Murray Cole
MaSiF: Machine learning guided auto-tuning of parallel skeletons. HiPC (2013)
Alexander Collins, Christian Fensch, Hugh Leather
MaSiF: machine learning guided auto-tuning of parallel skeletons. PACT (2012)
Alexander Collins, Christian Fensch, Hugh Leather
Auto-Tuning Parallel Skeletons. Parallel Process. Lett. 22 (2) (2012)