Ilan's Homepage

https://ilanb.xyz/

(optional) Picinae IL representation optimization - essentially create compiler optimization passes. Coq, compiler optimization Find new graph-query templates for finding possible
Site description

That's everything I could find.
Help make me smarter by submitting a page.