Chandrakana Nandi
- egg: Fast and extensible equality saturation
2020/04/07 by Max Willsey, Chandrakana Nandi, Yisu Remy Wang +3 · 1 voice · 20 citations
Computer Science · #Logic, programming, and type systems #Web Application Security Vulnerabilities #Formal Methods in Verification