Michael Burrows

Google Publications

Previous Publications

  •   

    Moderately hard, memory-bound functions

    Martin Abadi, Michael M. Burrows, Mark Manasse, Ted Wobber

    ACM Transactions on Internet Technology, vol. 5 (2005), pp. 299-327

  •  

    Finding stale-value errors in concurrent programs

    Michael Burrows, K. Rustan M. Leino

    Concurrency and Computation: Practice and Experience, vol. 16 (2004), pp. 1161 - 1172

  •   

    Bankable Postage for Network Services

    Martin Aba, Andrew Birrell, Michael Burrows, Frank Dabek, Ted Wobber

    ASIAN (2003), pp. 72-90

  •   

    Efficient and Flexible Value Sampling

    Michael Burrows, Úlfar Erlingsson, Shun-Tak Leung, Mark T. Vandevoorde, Carl A. Waldspurger, Kip Walker, William E. Weihl

    ASPLOSProceedings of the 9th International Conference on Architectural Support Proceedings of the 9th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS IX), ACM, Cambridge, MA (2000), pp. 160-167