Michael Isard

Google Publications

Previous Publications

  •  

    On the Flow of Data, Information, and Time

    Martín Abadi, Michael Isard

    POST (2015), pp. 73-92

  •  

    Timely Dataflow: A Model

    Martín Abadi, Michael Isard

    FORTE (2015), pp. 131-145

  •  

    Timely Rollback: Specification and Verification

    Martín Abadi, Michael Isard

    NFM (2015), pp. 19-34

  •  

    Naiad: a timely dataflow system

    Derek Gordon Murray, Frank McSherry, Rebecca Isaacs, Michael Isard, Paul Barham, Martín Abadi

    SOSP (2013), pp. 439-455

  •  

    Semantics of transactional memory and automatic mutual exclusion

    Martín Abadi, Andrew Birrell, Tim Harris 0001, Michael Isard

    ACM Trans. Program. Lang. Syst., vol. 33 (2011), pp. 2

  •  

    Implementation and Use of Transactional Memory with Dynamic Separation

    Martín Abadi, Andrew Birrell, Tim Harris 0001, Johnson Hsieh, Michael Isard

    CC (2009), pp. 63-77

  •  

    Semantics of transactional memory and automatic mutual exclusion

    Martín Abadi, Andrew Birrell, Tim Harris 0001, Michael Isard

    POPL (2008), pp. 63-74

  •   

    Algorithmic issues in modeling motion

    Pankaj K. Agarwal, Leonidas J. Guibas, Herbert Edelsbrunner, Jeff Erickson, Michael Isard, Sariel Har-Peled, John Hershberger, Christian S. Jensen, Lydia E. Kavraki, Patrice Koehl, Ming C. Lin, Dinesh Manocha, Dimitris N. Metaxas, Brian Mirtich, David M. Mount, S. Muthukrishnan, Dinesh K. Pai, Elisha Sacks, Jack Snoeyink, Subhash Suri, Ouri Wolfson

    ACM Comput. Surv., vol. 34 (2002), pp. 550-572