Follow
Aditya Pakki
Title
Cited by
Cited by
Year
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
842019
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
222019
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
192021
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
172020
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
32021
Asynchronous Navier-Stokes Solver on 3D Unstructured Grids for the Exascale Era
J Bakosi, R Bird, C Junghans, A Pandare, R Pavel, J Waltz, J Barnett, ...
Los Alamos National Lab.(LANL), Los Alamos, NM (United States), 2019
2019
Exploring ROOT Framework for Scientific Simulations.
A Pakki
Los Alamos National Lab.(LANL), Los Alamos, NM (United States), 2017
2017
An Efficient Method for Component Failure Resiliency in the Uintah Framework
A Pakki
The system can't perform the operation now. Try again later.
Articles 1–9