Peter Lee - Publications
Affiliations: | CS | Carnegie Mellon University, Pittsburgh, PA |
Year | Citation | Score | |||
---|---|---|---|---|---|
2007 | Chander A, Espinosa D, Islam N, Lee P, Necula GC. Enforcing resource bounds via static verification of dynamic checks Acm Transactions On Programming Languages and Systems. 29. DOI: 10.1145/1275497.1275503 | 0.318 | |||
Show low-probability matches. |