The S <scp>LAM</scp> project
The goal of the SLAM project is to check whether or not a program obeys "API usage rules" that specify what it means to be a good client of an API. The SLAM toolkit statically a...
Publications
3 shownSYNERGY
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and...
The S<scp>LAM</scp>project
The goal of the S LAM project is to check whether or not a program obeys "API usage rules" that specify what it means to be a good client of an API. The S LAM toolkit statically...
Frequent Co-Authors
Researcher Info
- h-index
- 3
- Publications
- 3
- Citations
- 1,294
- Institution
- Microsoft (United States)
External Links
Identifiers
- ORCID
- 0000-0002-1400-7065
Impact Metrics
h-index
3
h-index: Number of publications with at least h citations each.