Michael Kinsner

Halifax, Nova Scotia, Canada
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
Michael Kinsner is a software engineer with eight years of experience specializing in spatial compiler technology, parallel computing, and accelerator programming. Based in Halifax, Nova Scotia, he focuses on squeezing performance from modern hardware through compiler-driven optimizations and efficient parallelization strategies. Michael combines deep systems knowledge with practical engineering to bridge research ideas and production-ready code. Though primarily research-oriented, he applies a hands-on approach to accelerator programming that often uncovers non-obvious bottlenecks in memory and dataflow. His background suggests a comfort working at the intersection of compilers, high-performance computing, and specialized hardware.
code8 years of coding experience
stackoverflow-logo

Stackoverflow

Stats
1reputation
0reached
0answers
0questions
github-logo-circle

Github Skills (39)

staging10
xapi10
opencl10
vulkan10
licensing10
parallel10
james10
shader10
intel10
headers10
abstract-syntax-tree10
llvm10
video-processing10
accelerator10
glsl10

Programming languages (10)

C++CLLVMCMakeVerilogJavaScriptPHPHTML

Github contributions (5)

github-logo-circle
Apress/data-parallel-CPP

Oct 2020 - Jan 2023

Source code for 'Data Parallel C++: Mastering DPC++ for Programming of Heterogeneous Systems using C++ and SYCL' by James Reinders, Ben Ashbaugh, James Brodman, Michael Kinsner, John Pennycook, Xinmin Tian (Apress, 2020).
Contributions:15 reviews, 24 commits, 48 PRs in 2 years 4 months
heterogeneous-systemscppbenheterogeneousparallel
mkinsner/SPIRV-Headers

Feb 2019 - Jan 2022

SPIRV-Headers
Contributions:12 pushes, 11 branches in 2 years 11 months
headersspirvheader
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.
Request Free Trial
Michael Kinsner