lib Conflict-free vectorization of associative irregular applications with recent SIMD architectural advances
lib CUDAAdvisor: LLVM-based runtime profiling for modern GPUs
lib CVR: efficient vectorization of SpMV on x86 processors
lib DeLICM: scalar dependence removal at zero memory cost
lib High performance stencil code generation with Lift
lib Lightweight detection of cache conflicts
lib May-happen-in-parallel analysis with static vector clocks
lib nAdroid: statically detecting ordering violations in Android applications
lib Optimal DNN primitive selection with partitioned boolean quadratic programming
lib Poker: permutation-based SIMD execution of intensive tree search by path encoding
lib SGXElide: enabling enclave code secrecy via self-modification
lib SIMD intrinsics on managed language runtimes
lib Synthesizing an instruction selection rule library from semantic specifications