Name
Year | Venue | Field |
|---|---|---|
2015 | HotOS | Domain-specific language,Internet security,Program synthesis,Computer science,Real-time computing,Implementation,Security analysis,Web application,Vulnerability,Formal verification |
DocType | Citations | PageRank |
Conference | 1 | 0.36 |
References | Authors | |
12 | 6 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Kevin Zhijie Chen | 1 | 150 | 6.32 |
| Warren He | 2 | 266 | 14.47 |
| Devdatta Akhawe | 3 | 574 | 24.75 |
| Vijay D'Silva | 4 | 239 | 14.07 |
| Prateek Mittal | 5 | 1134 | 70.19 |
| Dawn Song | 6 | 7334 | 385.37 |