optimization

Jun 28, 2026

• compiler
• optimization
• polyhedral
• vectorization
• register-allocation
• ssa
• loop

Jun 28, 2026

• equality-saturation
• egraph
• term-rewriting
• compiler
• optimization
• theorem-proving

Jun 28, 2026

• performance
• gpu
• hpc
• gemm
• vla
• optimization

Jun 28, 2026

• math
• cryptography
• homomorphic-encryption
• 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