Stefan Mada
- Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
2023/05/31 by Zhengyang Liu, Stefan Mada, Liu, Zhengyang +3 · 2 voices · 6 citations
Computer Science · #Cryptographic Implementations and Security #Parallel Computing and Optimization Techniques #Security and Verification in Computing #cs.PL