Stack Exchange

Alex Reinking

Berkeley, CA, USA

http://www.alexreinking.com

I'm a PhD candidate at UC Berkeley studying programming language design. I work on Halide with my adviser, Jonathan Ragan-Kelley. I also work on Koka, specifically the Perceus reference counting system. In the past, I wrote the compiler for the P programming language at Microsoft.

I play guitar and like to cook.

top accounts reputation activity subscriptions
Top Questions
Top Answers
74
When should a commit not be version tagged?
softwareengineering.stackexchange.com

65
How to return to software engineering after pursuing another interest for six years?
workplace.stackexchange.com

57
Exchanging co-authorship for proofreading?
academia.stackexchange.com

31
Antlr4 Listeners and Visitors - which to implement?
stackoverflow.com

22
gnu make "Removing intermediate files"
stackoverflow.com

19
Is there a fast way to prove a symmetric tridiagonal matrix is positive definite?
math.stackexchange.com

19
How to use all *.c files in a directory with the Cmake build system?
stackoverflow.com

19
How do I build a CMake project?
stackoverflow.com

17
How can I add linker flag for libraries with CMake?
stackoverflow.com

16
gcov produces different results on Clang and GCC
stackoverflow.com

16
Modern way to set compiler flags in cross-platform cmake project
stackoverflow.com

14
Is there a fast way to prove a symmetric tridiagonal matrix is positive definite?
math.stackexchange.com

14
Linking to TBB libraries with CMake
stackoverflow.com

14
Configure cmake to work with homebrew libraries instead system-provided libraries
stackoverflow.com

12
Install GCC / G++ Version 4.9 in Linux Mint
superuser.com

12
How to build a CMake project in parallel on all available cores?
stackoverflow.com

12
Use find_package() on external project
stackoverflow.com

11
First attempt at Haskell: Converting lower case letters to upper case
stackoverflow.com

11
What are the possible values of CMAKE_SYSTEM_PROCESSOR?
stackoverflow.com

11
how to use clang tidy in CMake
stackoverflow.com

10
Package balance warning in acmart
tex.stackexchange.com

10
How to maintain a low dependency version of a project?
softwareengineering.stackexchange.com

10
CMake: use a custom linker
stackoverflow.com

10
CMake: set compile options and compile features per project
stackoverflow.com

8
cmake with GTest on Windows: build starts test, but shared libs cannot be found
stackoverflow.com

8
CMake nested OBJECT library dependencies
stackoverflow.com

8
Where is cmake located when downloaded from visual studio 2022
stackoverflow.com

8
How do you build all of LLVM?
stackoverflow.com

8
Maximum path lengths with CMake
stackoverflow.com

8
How do I get a list of the window titles on the Mac OSX?
stackoverflow.com

1 2 3