U of Alabama, Birmingham (UAB)

Office: 129 CH (Campbell)

Email: gilrauab.edu

Twitter: 手机火狐翻墙

电脑赛风

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. 翻了墙可伡看哪些网站

电脑赛风

• 安卓可伡安装插件的浏览器（支持火狐 谷歌 油猴插件安装 ...:2021-4-30 · 快捷导航 门户 Portal 网站 www 新帖 论坛最新帖子一览无余！ 搜索 由百度提供的站内搜索，伢点搜索内容全而快。 专辑 Collection 悬赏 吾爱破解论坛帮助大家解决问题，共同进步，获取论坛币！ 排行榜 Ranklist 总版规 爱盘 在线破解工具包，实时提供最新逆向资源！ with Sidharth Kumar. IEEE International Conference on High Performance Computing, Data, and Analytics (HiPC). 2025. (pdf)
• Size-Change Termination as a Contract with Phúc C. Nguyễn, Sam Tobin-Hochstadt, and David Van Horn. SIGPLAN, Programming Language Design and Implementation (PLDI). 2025. 翻了墙可伡看哪些网站
• Soft Contract Verification for Higher-order Stateful Programs with Phúc C. Nguyễn, Sam Tobin-Hochstadt, and David Van Horn. SIGPLAN, Principles of Programming Languages (POPL). 2018. (pdf)
• Pushdown Control-Flow Analysis for Free. with Steven Lyde, Michael Adams, Matthew Might, and David Van Horn. SIGPLAN, Principles of Programming Languages (POPL). 2016. (pdf)
• Allocation Characterizes Polyvariance. with Michael Adams, Matthew Might. SIGPLAN, International Conference on Functional Programming (ICFP). 2016. (pdf) (invited JFP version)
• Dynamic Sparse-Matrix Allocation on GPUs. with James King, Robert M. Kirby, and Matthew Might. International Supercomputing Conference (ISC). 2016. (Winner of the PRACE ISC award.) (pdf)

电脑赛风

1. Distributed Relational Algebra at Scale with Sidharth Kumar. IEEE International Conference on High Performance Computing, Data, and Analytics (HiPC). 2025. 手机火狐翻墙
2. Size-Change Termination as a Contract with Phúc C. Nguyễn, Sam Tobin-Hochstadt, and David Van Horn. SIGPLAN, Programming Language Design and Implementation (PLDI). 2025. (pdf)
3. Symbolic Path Tracing to Find Android Permission-Use Triggers with Kristopher Micinski, Daniel Votipka, Jeffrey S. Foster, and Michelle L. Mazurek. NDSS workshop on Binary Analysis Research (BAR). 2025. (pdf)
4. 免翻墙解决谷歌人机验证 (reCAPTCHA) 显示问题 (电脑端 ...:2021-1-21 · 手机端插件 上文中的教程均是在电脑端浏览器下操作的，其中火狐版插件同样适用于 手机版火狐浏览器 ，且安装操作流程与电脑版一致。 谷歌浏览器伡及大多数使用 Chrome 内核的浏览器的手机版本是不支持安装插件的，不过也存在例外，比如来自于战斗民族的 Yandex 手机浏览器 ，感兴趣的可伡自 … with Zhanpeng Wang and Kristopher Micinski. SIGPLAN, Scheme Workshop (SC). 2018. (pdf)
5. Abstract Allocation as a Unified Approach to Polyvariance in Control-flow Analyses with Michael D. Adams, Matthew Might. Journal of Functional Programming (JFP). 2018. (Invited) (pdf) 手机火狐翻墙
6. User Comfort with Android Background Resource Accesses in Different Contexts with Daniel Votipka, Seth M. Rabin, Kristopher Micinski, Michelle L. Mazurek, Jeffrey S. Foster. Symposium on Usable Privacy and Security (SOUPS). 2018. 翻了墙可伡看哪些网站
7. Soft Contract Verification for Higher-order Stateful Programs with Phúc C. Nguyễn, Sam Tobin-Hochstadt, and David Van Horn. SIGPLAN, Principles of Programming Languages (POPL). 2018. (pdf)
8. Toward Parallel CFA with Datalog, MPI, and CUDA with Sidharth Kumar. The Scheme Workshop (SW). 2017. (pdf)
9. Introspective Polyvariance for Control-Flow Analyses. Ph.D. Dissertation. University of Utah. 2016. (pdf)
10. Allocation Characterizes Polyvariance. with Michael Adams, Matthew Might. SIGPLAN, International Conference on Functional Programming (ICFP). 2016. (pdf)
11. Dynamic Sparse-Matrix Allocation on GPUs. with James King, Robert M. Kirby, and Matthew Might. International Supercomputing Conference (ISC). 2016. (Winner of the PRACE ISC award.) (pdf) 手机火狐翻墙
12. Pushdown Control-Flow Analysis for Free. with Steven Lyde, Michael Adams, Matthew Might, and David Van Horn. SIGPLAN, Principles of Programming Languages (POPL). 2016. (pdf)
13. A Linear Encoding of Pushdown Control-Flow Analysis. with Steven Lyde and Matthew Might. The Scheme Workshop (SW). 2014.
14. Concrete and Abstract Interpretation: Better Together. with Maria Jenkins, Leif Andersen, and Matthew Might. The Scheme Workshop (SW). 2014.
15. Partitioning 0-CFA for the GPU. with James King and Matthew Might. International Workshop on Functional and Constraint Logic Programming (WFLP). 2014. (pdf)
16. A Unified Approach to Polyvariance in Abstract Interpretations. with Matthew Might. The Scheme Workshop (SW). 2013.
17. Sound and Precise Malware Analysis for Android via Pushdown Reachability and Entry-Point Saturation. with Shuying Liang, Andrew W. Keep, Matthew Might, David Van Horn, Steven Lyde, and Petey Aldous. Workshop in Security and Privacy for Smartphones (SPSM). 2013.
18. A Survey of Polyvariance in Abstract Interpretations. with Matthew Might. Symposium on Trends in Functional Programming (TFP). 2013. (Winner of the best student paper award.) (pdf)