alexreinking.com 22. 12. 2022I Finished my Ph.D.! – alexreinking.com 9. 6. 2022Exocompilation for Productive Programming of Hardware Accelerators – alexreinking.com 1. 6. 2021How to Use CMake Without the Agonizing Pain - Part 2 – alexreinking.com 23. 5. 2021How to Use CMake Without the Agonizing Pain - Part 1 – alexreinking.com 21. 3. 2021Building a Faster Triangular Solver than MKL – alexreinking.com 14. 3. 2021CMake IS a Build System – alexreinking.com 7. 3. 2021Building a Dual Shared and Static Library with CMake – alexreinking.com 25. 1. 2021Perceus: Garbage Free Reference Counting with Reuse – alexreinking.com 1. 5. 2020Formal Semantics For the Halide Language – alexreinking.com 16. 7. 2015A Type-Directed Approach to Program Repair – alexreinking.com
22. 12. 2022I Finished my Ph.D.! – alexreinking.com 9. 6. 2022Exocompilation for Productive Programming of Hardware Accelerators – alexreinking.com 1. 6. 2021How to Use CMake Without the Agonizing Pain - Part 2 – alexreinking.com 23. 5. 2021How to Use CMake Without the Agonizing Pain - Part 1 – alexreinking.com 21. 3. 2021Building a Faster Triangular Solver than MKL – alexreinking.com 14. 3. 2021CMake IS a Build System – alexreinking.com 7. 3. 2021Building a Dual Shared and Static Library with CMake – alexreinking.com 25. 1. 2021Perceus: Garbage Free Reference Counting with Reuse – alexreinking.com 1. 5. 2020Formal Semantics For the Halide Language – alexreinking.com 16. 7. 2015A Type-Directed Approach to Program Repair – alexreinking.com