U of Alabama, Birmingham (UAB)
Office: 129 CH (Campbell)
Email: gilrauab.edu
Twitter: 手机火狐翻墙
老王VPN官网-老王加速器-老王加速器下载-老王VP加速器-老王加速器破解版-老王加速器电脑版
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. 翻了墙可众看哪些网站