Concepedia

Author

David Sielaff

Intuit (United States)

Also Known As

David J. Sielaff, David Sielaff

3

Publications

530

Citations

2

H-Index

19

Concepts

All Affiliations

Intuit (United States)
DS

About

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

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

529

2

Computer Engineering

2

2

529

3

Computer Science

2

2

529

4

Software Analysis

2

2

529

5

Software Engineering

2

2

529

David Sielaff

×

2

Publications

529

Citations

2

H-Index

YearCitations

A static analyzer for finding dynamic programming errors

William R. Bush, Jonathan D. Pincus, David Sielaff

Software Practice and Experience

2000

508

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

Yannick Moy, Nikolaj Bjørner, David Sielaff

2009

21

Page 1