Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers
Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers
复制标题
用三态数进行可靠、精确、快速的抽象解释
DOI：
10.1109/cgo53902.2022.9741267
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Nagarakatte, Santosh
中科院分区：
文献类型：
--
作者：
Vishwanathan, Harishankar;Shachnai, Matan;Narayana, Srinivas;Nagarakatte, Santosh
登录
查看更多内容
针对 JavaScript JIT 进行经过验证的范围分析
DOI：
10.1145/3385412.3385968
发表时间：
2020
期刊：
PLDI 2020: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation
影响因子：
--
作者：
Brown, Fraser;Renner, John;Nötzli, Andres;Lerner, Sorin;Shacham, Hovav;Stefan, Deian
通讯作者：
Stefan, Deian
PostHat 及所有这些：自动化抽象解释
DOI：
--
发表时间：
2015
期刊：
TAPAS@SAS
影响因子：
--
作者：
Aditya V. Thakur;A. Lal;Junghee Lim;T. Reps
通讯作者：
T. Reps
DOI：
--
发表时间：
2019-07
期刊：
--
影响因子：
--
作者：
Dmitry Duplyakin;R. Ricci;Aleksander Maricq;Gary Wong;Jonathon Duerig;E. Eide;L. Stoller;Mike Hibler;David Johnson;Kirk Webb;Aditya Akella;Kuang-Ching Wang;Glenn Ricart;L. Landweber;C. Elliott;M. Zink;E. Cecchet;Snigdhaswin Kar;Prabodh Mishra
通讯作者：
Dmitry Duplyakin;R. Ricci;Aleksander Maricq;Gary Wong;Jonathon Duerig;E. Eide;L. Stoller;Mike Hibler;David Johnson;Kirk Webb;Aditya Akella;Kuang-Ching Wang;Glenn Ricart;L. Landweber;C. Elliott;M. Zink;E. Cecchet;Snigdhaswin Kar;Prabodh Mishra
RockSalt：针对 x86 的更好、更快、更强的 SFI
DOI：
10.1145/2254064.2254111
发表时间：
2012
期刊：
Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation
影响因子：
--
作者：
Greg Morrisett;Gang Tan;Joseph Tassarotti;Jean;Edward Gan
通讯作者：
Edward Gan
基于数据流的修剪可加速超级优化
影响因子：
--
作者：
Manasij Mukherjee;Pranav Kant;Zhengyang Liu;J. Regehr
通讯作者：
J. Regehr