U of Alabama, Birmingham (UAB)
Office: 129 CH (Campbell)
Email: gilrauab.edu
Twitter: 手机火狐翻墙
外国浏览器加速器
Computer Scientist
Asst. Professor at 翻了墙可众看哪些网站
My research is in tunable static analysis—mainly of higher-order, functional languages. I also work on compiling, parallelizing, and incrementalizing such analyses, and on their applications—software verification, optimization, and auditing. More broadly, my interests include semantics, language design, compilers and their implementation, safety and verification, parallelism and high-performance logic solvers. Contact me if you have an idea which intersects with my research or broader interests and want to discuss it. 翻了墙可众看哪些网站