瑟斯顿·H·Y·当
人员信息
优化列表
2020年-今天
2022 【c5】 康斯坦蒂诺斯·卡拉斯 , 塔曼·穆斯塔法 , 扬·比莱克 , 迪米特里斯·卡尼基斯 , 瑟斯顿·H·Y·当 , 格林堡 , 尼科斯·瓦西拉基斯 :
实际正确,实时Shell脚本并行化。 OSDI公司 2022 : 769-785 2021 [i1] 瑟斯顿·H·Y·当 , 何塞·巴勃罗·坎布罗内罗 , 马丁·里纳德 :
从程序执行推断插入二进制分析器。 CoRR公司 abs/2104.09669 ( 2021 )
2010 – 2019
2019 【c4】 何塞·巴勃罗·坎布罗内罗 , 瑟斯顿·H·Y·当 , 尼科斯·瓦西拉基斯 , 贾思申 , 杰里·吴 , 马丁·里纳德 :
积极学习软件工程。 向前的! 2019 : 62-78 2017 【b1】 瑟斯顿·H·Y·当 :
针对两次内存安全攻击的改进缓解措施。 美国加州大学伯克利分校, 2017 【c3】 瑟斯顿·H·Y·当 , Petros Maniatis公司 , 大卫·A·瓦格纳 :
奥斯卡:一个实用的基于页面权限的悬空指针处理方案。 USENIX安全研讨会 2017 : 815-832 2015 【c2】 瑟斯顿·H·Y·当 , Petros Maniatis公司 , 大卫·A·瓦格纳 :
阴影堆栈和堆栈金丝雀的性能成本。 亚洲CCS 2015 : 555-566 2013 【c1】 辛西娅·斯特顿 , 罗希特·辛哈 , 瑟斯顿·H·Y·当 , Sakshi Jain公司 , 迈克尔·麦科伊德 , 魏阳潭 , Petros Maniatis公司 , 桑吉特·塞希亚 , 大卫·A·瓦格纳 :
符号化软件模型验证。 记忆码 2013 : 97-108