Username:
kevin.bi...@gmail.com
Starred developers:
None
| Projects |
|---|
| Role | Project | Summary |
|---|---|---|
| Owner | crystalsaf | Crystal: A static analysis framework for education and research |
| Owner | plaidannotations | Annotations used by the PLAID group's static analyses |
| Owner | pluralism | Modular object protocol checking for Java |
| Owner | syper | Symbolic Permissions for efficient static program verification |
| Owner | twelfdevtools | Twelf Development Tools for Eclipse |
| Starred by kevin.bi...@gmail.com |
|---|
| Type | Name | Summary |
|---|---|---|
| Project | pluralism | Modular object protocol checking for Java |
| Project | syper | Symbolic Permissions for efficient static program verification |