RANDOMBLOGShttps://devblogy.k47.cz/random/tag/alexreinking-com.html I Finished my Ph.D.!https://alexreinking.com/blog/i-finished-my-phd.htmlThu, 22 Dec 2022 09:12:00 +0100alexreinking.com Exocompilation for Productive Programming of Hardware Acceleratorshttps://alexreinking.com/papers/exocompilation-for-productive-programming-of-hardware-accelerators.htmlThu, 9 Jun 2022 21:00:00 +0200alexreinking.com How to Use CMake Without the Agonizing Pain - Part 2https://alexreinking.com/blog/how-to-use-cmake-without-the-agonizing-pain-part-2.htmlTue, 1 Jun 2021 06:37:00 +0200alexreinking.com How to Use CMake Without the Agonizing Pain - Part 1https://alexreinking.com/blog/how-to-use-cmake-without-the-agonizing-pain-part-1.htmlSun, 23 May 2021 06:37:00 +0200alexreinking.com Building a Faster Triangular Solver than MKLhttps://alexreinking.com/blog/building-a-faster-triangular-solver-than-mkl.htmlSun, 21 Mar 2021 05:37:00 +0100alexreinking.com CMake IS a Build Systemhttps://alexreinking.com/blog/cmake-is-a-build-system.htmlSun, 14 Mar 2021 06:37:00 +0100alexreinking.com Building a Dual Shared and Static Library with CMakehttps://alexreinking.com/blog/building-a-dual-shared-and-static-library-with-cmake.htmlSun, 7 Mar 2021 06:37:00 +0100alexreinking.com Perceus: Garbage Free Reference Counting with Reusehttps://alexreinking.com/papers/perceus-garbage-free-reference-counting-with-reuse.htmlMon, 25 Jan 2021 21:00:00 +0100alexreinking.com Formal Semantics For the Halide Languagehttps://alexreinking.com/papers/formal-semantics-for-the-halide-language.htmlFri, 1 May 2020 21:00:00 +0200alexreinking.com A Type-Directed Approach to Program Repairhttps://alexreinking.com/papers/a-type-directed-approach-to-program-repair.htmlThu, 16 Jul 2015 11:48:26 +0200alexreinking.com