Concepedia

David Sielaff

DS

2

Publications

529

Citations

2

H-Index

2000

Active since

Affiliations

Intuit (United States)(Current)

David Sielaff is an author at Intuit (United States) specializing in system software, computer science, and software analysis.

Top concepts

Publications per year

2000–2009

2

Publications

2

A static analyzer for finding dynamic programming errors

William R. Bush, Jonathan D. Pincus, David Sielaff · Software Practice and Experience · 2000 · 508 citations

, , +22

Modular Bug-finding for Integer Overflows in the Large: Sound, Efficient, Bit-precise Static Analysis

Yannick Moy, Nikolaj Bjørner, David Sielaff · 2009 · 21 citations

, , +23

Rows per page

1–2 of 2