Microsoft (United States) — United States
Computer Science · Physical Sciences
15h-index2.8kcitations23works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Parallel Computing and Optimization Techniques(15), Security and Verification in Computing(13), Logic, programming, and type systems(5), Software Testing and Debugging Techniques(5), Distributed systems and fault tolerance(4)
Publications23 total
2010· 128 cited
ACM SIGARCH Computer Architecture News·2010· 163 cited
ACM SIGPLAN Notices·2010· 14 cited
2009· 829 cited
ACM SIGPLAN Notices·2009· 19 cited
ACM SIGPLAN Notices·2008· 5 cited
Beyond bug-finding: sound program analysis for Linux
2007· 6 cited
Dependent types for safe systems software
2007· 4 cited
Lecture notes in computer science·2007· 150 cited
Operating Systems Design and Implementation·2006· 170 cited
Thirty years is long enough: getting beyond C
Workshop on Hot Topics in Operating Systems·2005· 14 cited
ACM Transactions on Programming Languages and Systems·2005· 363 cited
Lecture notes in computer science·2005· 4 citedOpen Access
2003· 133 cited
ACM SIGOPS Operating Systems Review·2003· 252 cited
Why events are a bad idea (for high-concurrency servers)
2003· 235 cited
ACM SIGPLAN Notices·2003· 138 cited
2003· 90 cited
page 1 of 2Next →
Frequent Co-authors
George C. Necula(12), Matthew Harren(7), Kyle Palos(7), Feng Zhou(5), Edmund B. Nightingale(4), Engin İpek(4), Doug Burger(4), Scott McPeak(4), Westley Weimer(4), Derrick Coetzee(3), Rob von Behren(3), Zachary Anderson(3), Thomas Moscibroda(3), Brian Hackett(2), Shuvendu K. Lahiri(2), Shaz Qadeer(2), Juan Chen(2), Chris Hawblitzel(2), Frances Perry(2), Mike Emmi(2)