两个Android静态分析工具被Mobile Security Wiki收录

戚正伟 2017-3-14 13:34

我们开发的工具Appaudit和PATdroid 被Mobile Security Wiki收录，作为Android动态分析的重要工具，也是来自于论文 SP'15 的研究成果， 详见 https://mobilesecuritywiki.com/。 最近主要侧重于Android Devops的自动化开发测试， 详见 https://appetizer.io/cn/。 基于程序分析的手段，提高Android开发 ...

个人分类: 杂感随谈|2186 次阅读|没有评论

Intel GPU虚拟化方案 KVMGT 正式进入Linux 内核 4.10

戚正伟 2017-2-25 12:29

Linus Torvalds 在内核邮件列表上 宣布释出 Linux 4.10 。Linux 4.10 的 主要特性 包括：加入了 GPU虚拟化方案 Intel GVT-g for KVM (a.k.a. KVMGT)的支持； 【参见 http://www.solidot.org/story?sid=51408】 A Full GPU Virtualization Solution with Mediated Pass-Through KVMGT: a Full ...

个人分类: 学术探讨|13720 次阅读|没有评论

类型系统 和unification/semi-unification算法-3

热度 1 戚正伟 2011-12-11 10:21

正好 CS 15-417 HOT Compilation 这门课本周结束，最后一课 Karl Crary 教授讲到了 type inference 。 结合这个主题，将 unification 算法再 review 一边。 Karl Crary 教授说到了不能确定 SML 的 type inference 算法是否 decidable 。因为它对 HM 算法进行了扩展。 Unification 算 ...

个人分类: 学术探讨|6013 次阅读|2 个评论 热度 1

递归，尾递归和CPS风格

戚正伟 2011-12-1 05:47

最近看到一个系统，递归运用规则，用 ocaml 写的， 说到为了避免堆栈溢出，采用了 CPS （ Continuation_passing_style ）风格。 于是深入了解一下递归与 CPS 的关系。 递归大家都熟悉，例如阶乘函数，递归写法如下（ ocaml 语法）： let rec fact ...

个人分类: 学术探讨|7293 次阅读|没有评论

类型系统 和unification/semi-unification算法-2

戚正伟 2011-7-18 06:06

上次说到 : lambda x,y,z : x(y(z)) , 其对应的类型是什么呢？ 这里面的 z 可以看作一个普通变量（也可能是一个函数）， y 和 x 肯定是一个函数变量。 假定 z 的类型是 c ，则 y(z) 的类型是 a ， 那么 y 的类型为 c-a ， 则 y(z) 作为 x 函数的参数，假定 x(y(z)) 的类型为 b ，那么 x 的类型 ...

个人分类: 学术探讨|5732 次阅读|没有评论

类型系统 和unification/semi-unification算法-1

热度 1 戚正伟 2011-5-8 05:04

类型系统是比较偏理论的，但随着函数式语言（ Ocaml, F# ）以及动态语言（ Python, PHP ）等逐步流行，其重要性也逐步凸显。 常规的类型系统大家是很熟悉的，例如： 3 ： int ， false ： Boolean ，其难点在于函数和对象类型，一般的静态语言，将函数看成一个可调用的特殊变量， 例 ...

个人分类: 学术探讨|4388 次阅读|1 个评论 热度 1

本页有 4 篇博文因作者的隐私设置或未通过审核而隐藏