Concepedia

SAGE

Patrice Godefroid, Michael Y. Levin, Dávid Molnár

Communications of the ACM · 2012 · 562 citations · 6 references

Concepts

ComputingComputer EngineeringComputer ScienceData StructuresParallel AlgorithmsParallel ComputingGraph AnalyticsMemory HierarchyParallel Data StructuresGraph Processing SystemsHigh PerformanceParallel Graph AlgorithmsParallel Graph Data StructuresRead-only Memory

Abstract

SAGE has had a remarkable impact at Microsoft.

References

6

DART

Patrice Godefroid, Nils Klarlund, Koushik Sen · ACM SIGPLAN Notices · 2005 · 2.1K citations

Engineering, Computer Engineering, Computer Science +15

Patrice Godefroid, Nils Klarlund, Koushik Sen · 2005 · 1.5K citations

Engineering, Computer Engineering, Computer Science +15

Automated Whitebox Fuzz Testing.

Patrice Godefroid, Michael Y. Levin, David A. Molnar · 2008 · 1.1K citations

Computing, Computer Engineering, Computer Science +17

An empirical study of the robustness of Windows NT applications using random testing

Justin E. Forrester, Barton P. Miller · 2000 · 266 citations

Computing, Computer Science, Computer Systems +9

Automatically classifying benign and harmful data races using replay analysis

Satish Narayanasamy, Zhenghao Wang, Jordan Tigani et al. · 2007 · 256 citations

Computing, Computer Engineering, Computer Science +13