Geoffrey Reedy
Sandia National Laboratories California(US)Sandia National Laboratories(US)
Publications by Year
Research Areas
Software Engineering Research, Parallel Computing and Optimization Techniques, Advanced Malware Detection Techniques, Software Reliability and Analysis Research, Information and Cyber Security
Most-Cited Works
- → Phoenix: Complex Adaptive System of Systems (CASoS) Engineering (V.1.0)(2011)4 cited
- Compiling Scala to LLVM(2011)
- → Creating a User-Centric Data Flow Visualization: A Case Study(2019)2 cited
- → RAMSeS: Rapid Analysis of Mission Software Systems(2020)1 cited
- → Creating an Interprocedural Analyst-Oriented Data Flow Representation for Binary Analysts (CIAO)(2018)1 cited
- → Exploring Explicit Uncertainty for Binary Analysis (EUBA)(2021)
- → Effects of Precise and Imprecise Value-Set Analysis (VSA) Information on Manual Code Analysis.(2021)
- → Effects of Precise and Imprecise Value-Set Analysis (VSA) Information on Manual Code Analysis(2021)
- → Language Independent Static Analysis (LISA)(2020)
- → Understanding Data Structures by Extracting Memory Access Graphs(2017)