MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Michael Carbin" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Transactional collection classes
by Brian D. Carlstrom, Austen Mcdonald, Michael Carbin, Christos Kozyrakis, Kunle Olukotun — 2007 — in In Prof. of PPoPP
…Abstract Transactional Collection Classes Brian D. Carlstrom Austen McDonald Michael Carbin…
Cited by 4 (0 self) – Add To MetaCart

Using Datalog with binary decision diagrams for program analysis
by John Whaley, Dzintars Avots, Michael Carbin, Monica S. Lam — 2005 — In Proceedings of Programming Languages and Systems: Third Asian Symposium
…, Michael Carbin, and Monica S. Lam Computer Science DepartmentStanford University Stanford, CA 94305, USA…
Cited by 9 (2 self) – Add To MetaCart

Context-Sensitive Program Analysis as Database Queries
by Monica Lam John, John Whaley, V. Benjamin, Livshits Michael, C. Martin, Dzintars Avots, Michael Carbin, Christopher Unkel — 2005
… Livshits Michael C. Martin ABSTRACT Dzintars Avots Michael Carbin Christopher Unkel Computer Systems…
Add To MetaCart

Context-Sensitive Program Analysis as Database Queries
by Monica S. Lam , John Whaley, V. Benjamin Livshits, Michael C. Martin, Dzintars Avots, Michael Carbin, Christopher Unkel — 2005
… Livshits Michael C. Martin ABSTRACT Dzintars Avots Michael Carbin Christopher Unkel Computer Systems…
Cited by 31 (7 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB