关注
Aditya Pakki
Aditya Pakki
Ph.D. candidate, University of Minnesota
在 umn.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Detecting {Missing-Check} bugs via semantic-and {Context-Aware} criticalness and constraints inferences
K Lu, A Pakki, Q Wu
28th USENIX Security Symposium (USENIX Security 19), 1769-1786, 2019
1022019
Understanding and detecting disordered error handling with precise function pairing
Q Wu, A Pakki, N Emamdoost, S McCamant, K Lu
30th USENIX Security Symposium (USENIX Security 21), 2041-2058, 2021
252021
Automatically identifying security checks for detecting kernel semantic bugs
K Lu, A Pakki, Q Wu
Computer Security–ESORICS 2019: 24th European Symposium on Research in …, 2019
242019
Exaggerated error handling hurts! an in-depth study and context-aware detection
A Pakki, K Lu
Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications …, 2020
222020
Developing Uintah's runtime system for forthcoming architectures
B Peterson, N Xiao, J Holmen, S Chaganti, A Pakki, J Schmidt, ...
International Conference for High Performance Computing, Networking, Storage …, 2015
92015
Unleashing coveraged-based fuzzing through comprehensive, efficient, and faithful exploitable-bug exposing
B Wang, K Lu, Q Wu, A Pakki
IEEE Transactions on Dependable and Secure Computing 19 (5), 2998-3010, 2021
42021
Asynchronous Navier-Stokes Solver on 3D Unstructured Grids for the Exascale Era
J Bakosi, RF Bird, C Junghans, AK Pandare, RS Pavel, JI Waltz, W Li, ...
Los Alamos National Lab.(LANL), Los Alamos, NM (United States), 2019
2019
Exploring ROOT Framework for Scientific Simulations.
A Pakki
Los Alamos National Laboratory (LANL), Los Alamos, NM (United States), 2017
2017
Intended for: Report Web
J Bakosi, RF Bird, C Junghans, A Kiran, RS Pavel, JI Waltz, W Li, H Luo, ...
An Efficient Method for Component Failure Resiliency in the Uintah Framework
A Pakki
系统目前无法执行此操作,请稍后再试。
文章 1–10