-
the compilation and verification of protocols such as BGP Formal abstractions for packet scheduling: expressive specifications of scheduling policies, and compilation to programmable hardware with
-
languages, systems, or ML Research experience in one or more of: interactive theorem proving (Rocq, Lean, HOL, Isabelle, or similar), GPU programming or semantics, compilers, concurrency, or ML systems (e.g
Searches related to compiler
Enter an email to receive alerts for compiler positions