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

外网加速器官网

外网加速器官网

  1. Distributed Relational Algebra at Scale with Sidharth Kumar. IEEE International Conference on High Performance Computing, Data, and Analytics (HiPC). 2019. 手机火狐翻墙
  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). 2019. (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). 2019. (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)