Michelle Leger
Sandia National Laboratories California(US)
Publications by Year
Research Areas
Software Engineering Research, Advanced Malware Detection Techniques, Software Reliability and Analysis Research, Advanced Database Systems and Queries, Information and Cyber Security
Most-Cited Works
- → Improving performance of CDCL SAT solvers by automated design of variable selection heuristics(2017)12 cited
- → A high-performance interpretive approach to schema-directed parsing(2007)9 cited
- → 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
- → Sudoku Online Testing Framework v.0.2(2021)
- → Digital Assurance for High Consequence Systems: 2024 Mission Campaign White Paper(2024)
- → 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)