corpus.blog
56,966 blogs · [ { "id": "01a08724-b4fb-714a-b390-fa91d53844d9", "title": "Halide and Python Quick-Start Guide", "url": "https://alexreinking.com/blog/halide-and-python-quick-start-guide.html", "published_at": "2025-07-28T07:12:00+00:00" }, { "id": "01a08724-b4fb-714a-b390-fa91d631075a", "title": "Exo 2: Growing a Scheduling Language", "url": "https://alexreinking.com/papers/exo-2-growing-a-scheduling-language.html", "published_at": "2025-03-30T19:00:00+00:00" }, { "id": "01a08724-b4fb-714a-b390-fa91d6b87dbd", "title": "I'm Giving an Invited Talk on Halide at ASPLOS 2025!", "url": "https://alexreinking.com/blog/im-giving-an-invited-talk-on-halide-at-asplos-2025.html", "published_at": "2025-03-28T07:12:00+00:00" }, { "id": "01a08724-b4fb-714a-b390-fa91d78770dc", "title": "I'm at Adobe now!", "url": "https://alexreinking.com/blog/im-at-adobe-now.html", "published_at": "2024-05-28T07:12:00+00:00" }, { "id": "01a08724-b4fb-714a-b390-fa91d7b9e4e5", "title": "I Finished my Ph.D.!", "url": "https://alexreinking.com/blog/i-finished-my-phd.html", "published_at": "2022-12-22T08:12:00+00:00" }, { "id": "01a08724-b4fb-714a-b390-fa91d8985992", "title": "Exocompilation for Productive Programming of Hardware Accelerators", "url": "https://alexreinking.com/papers/exocompilation-for-productive-programming-of-hardware-accelerators.html", "published_at": "2022-06-09T19:00:00+00:00" }, { "id": "01a08724-b4fb-714a-b390-fa91d92e69c1", "title": "How to Use CMake Without the Agonizing Pain - Part 2", "url": "https://alexreinking.com/blog/how-to-use-cmake-without-the-agonizing-pain-part-2.html", "published_at": "2021-06-01T04:37:00+00:00" }, { "id": "01a08724-b4fb-714a-b390-fa91d9f898a0", "title": "How to Use CMake Without the Agonizing Pain - Part 1", "url": "https://alexreinking.com/blog/how-to-use-cmake-without-the-agonizing-pain-part-1.html", "published_at": "2021-05-23T04:37:00+00:00" }, { "id": "01a08724-b4fb-714a-b390-fa91da569a1e", "title": "Building a Faster Triangular Solver than MKL", "url": "https://alexreinking.com/blog/building-a-faster-triangular-solver-than-mkl.html", "published_at": "2021-03-21T04:37:00+00:00" }, { "id": "01a08724-b4fb-714a-b390-fa91db37cfa9", "title": "CMake IS a Build System", "url": "https://alexreinking.com/blog/cmake-is-a-build-system.html", "published_at": "2021-03-14T05:37:00+00:00" }, { "id": "01a08724-b4fb-714a-b390-fa91db779074", "title": "Building a Dual Shared and Static Library with CMake", "url": "https://alexreinking.com/blog/building-a-dual-shared-and-static-library-with-cmake.html", "published_at": "2021-03-07T05:37:00+00:00" }, { "id": "01a08724-b4fb-714a-b390-fa91dc3c3a01", "title": "Perceus: Garbage Free Reference Counting with Reuse", "url": "https://alexreinking.com/papers/perceus-garbage-free-reference-counting-with-reuse.html", "published_at": "2021-01-25T20:00:00+00:00" }, { "id": "01a08724-b4fb-714a-b390-fa91dcb9ef88", "title": "Formal Semantics for the Halide Language", "url": "https://alexreinking.com/papers/formal-semantics-for-the-halide-language.html", "published_at": "2020-05-01T19:00:00+00:00" }, { "id": "01a08724-b4fc-7387-8915-d3bb15f5a26b", "title": "A Type-Directed Approach to Program Repair", "url": "https://alexreinking.com/papers/a-type-directed-approach-to-program-repair.html", "published_at": "2015-07-16T09:48:26+00:00" } ] posts Claim your blog
Back to alexreinking.com
Blog · corpus.blog/blogs/alexreinking.com/posts

alexreinking.com

alexreinking.com

2025

Halide and Python Quick-Start Guideoriginal ↗
28 Jul 2025
Exo 2: Growing a Scheduling Languageoriginal ↗
30 Mar 2025
I'm Giving an Invited Talk on Halide at ASPLOS 2025!original ↗
28 Mar 2025

2024

I'm at Adobe now!original ↗
28 May 2024

2022

I Finished my Ph.D.!original ↗
22 Dec 2022
Exocompilation for Productive Programming of Hardware Acceleratorsoriginal ↗
9 Jun 2022

2021

How to Use CMake Without the Agonizing Pain - Part 2original ↗
1 Jun 2021
How to Use CMake Without the Agonizing Pain - Part 1original ↗
23 May 2021
Building a Faster Triangular Solver than MKLoriginal ↗
21 Mar 2021
CMake IS a Build Systemoriginal ↗
14 Mar 2021
Building a Dual Shared and Static Library with CMakeoriginal ↗
7 Mar 2021
Perceus: Garbage Free Reference Counting with Reuseoriginal ↗
25 Jan 2021

2020

Formal Semantics for the Halide Languageoriginal ↗
1 May 2020

2015

A Type-Directed Approach to Program Repairoriginal ↗
16 Jul 2015