Bernhard Scholz

Why they're in the Luvo100

Scholz helped make declarative static analysis fast enough for substantial codebases. The original Soufflé paper documents Java security-analysis use at Oracle; its reusable analysis engine allows other engineers to build correctness and vulnerability checks without implementing the entire analysis infrastructure themselves.