Assistant researcher working on vector superoptimization for LLVM IR.
-
University of Utah
- Salt Lake City, UT
- https://orcid.org/0009-0006-8473-3667
- in/stefan-mada
Popular repositories Loading
-
-
Stock-Exchange
Stock-Exchange PublicC++ implementation of a stock exchange with limit order books.
C++ 1
-
-
blurImageISPC
blurImageISPC PublicAn image processor working on .ppm files, using ISPC to implement operations.
C++
-
-
alive2-armtv
alive2-armtv PublicForked from nbushehri/alive2
Automatic verification of LLVM optimizations
C++
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.