Emina Torlak (University of Washington - Seattle).jpg

Emina Torlak

University of Washington - Seattle
2020 Amazon Research Award
Automated verification of JIT compilers for BPF