optimization

Jun 28, 2026

• compiler
• optimization
• polyhedral
• vectorization
• register-allocation
• ssa
• loop
• backend
• llvm
• instruction-selection
• codegen
• code-generation
• stack-machine
• lex-yacc
• vm

Jun 28, 2026

• equality-saturation
• egraph
• term-rewriting
• compiler
• optimization
• theorem-proving
• rewriting
• dag
• normal-form
• computation

Jun 28, 2026

• crypto
• fhe
• compiler
• mlir
• simd
• circuit
• multiplicative-depth
• math
• cryptography
• homomorphic-encryption
• optimization

Jun 28, 2026

• computation/concurrent
• simd
• hpc
• mpi
• openmp
• performance
• gpu
• gemm
• vla
• optimization

Jun 28, 2026

• mpc
• optimal-control
• robotics
• optimization
• library

Jun 28, 2026

• ml
• compiler
• optimization

Jun 28, 2026

• optimization
• quadratic-programming
• solver
• robotics
• library