Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
David Sielaff
Observed name:
David J. Sielaff
Institution:
Microsoft (United States)
Observed institution:
Microsoft (United States)
OpenAlex ID:
A5019112342
A static analyzer for finding dynamic programming errors
2000
·
William R. Bush
, Jonathan D. Pincus
, et al.
·
Software Practice and Experience
·
548
Modular Bug-finding for Integer Overflows in the Large: Sound, Efficient, Bit-precise Static Analysis
2009
·
Yannick Moy
, Nikolaj Bjørner
, et al.
·
20
Instrumenting Static Analysis Tools on the Desktop
2010
·
Nathaniel Ayewah
, Jason Yang
, et al.
·
1
Show more works
View as search
Works count:
3
Citation count:
569
H-index:
2
I10-index:
2
Year
Topic
Type
