I received my D.Phil in computer vision from the Oxford University Engineering Science Department in 1998. In 1999 I started work as a Researcher at the Compaq Systems Research Center in Palo Alto, and I have worked for Microsoft Research in Silicon Valley since 2002. The majority of my early research was in the field of visual tracking and sequential filtering, and I helped to introduce particle filters to the computer vision community with the Condensation algorithm. From the time I joined Compaq my interests have broadened to include distributed systems research, and this is where I am spending the majority of my time at Microsoft.
I spent much of mid-2003 to early 2005 working closely with the MSN Search product group on the design and implementation of their V1 search engine. I was involved from the start of the project and owned several production components in the live query pipeline. I was particularly involved in the design and implementation of the monitoring and failure recovery systems, the query distribution and result aggregation system, and the inverted file lookup.
Current research projects cover a range from applications of inference to computer vision tasks, particularly in video; to programming models for large-scale distributed systems and many-core processor architectures. I led the Dryad project to build a large-scale distributed execution platform for datacenters that is now widely used internally by Microsoft product groups. I have also worked on the successor DryadLINQ project. I have recently worked with several colleagues on AME, a new concurrent programming model that makes use of transactional memory without explicit atomic blocks. My main systems activity at the moment is as a collaborator on the Naiad project, which combines support for iterative and incremental computation in a large-scale distributed system.
- Qifa Ke, Michael Isard, and Yuan Yu, Optimus: A Dynamic Rewriting Framework for Data-Parallel Execution Plans, in Eurosys 2013, ACM, April 2013
- Frank McSherry, Derek G. Murray, Rebecca Isaacs, and Michael Isard, Differential dataflow, in Proceedings of CIDR 2013, 5 January 2013
- Jean-Philippe Martin, Christopher J. Rossbach, and Michael Isard, SPECTRE: Speculation to hide communication latency, in 2nd ACM SIGOPS Asia-Pacific Workshop on Systems, ACM, 12 July 2011
- Dennis Fetterly, Maya Haridasan, Michael Isard, and Swaminathan Sundararaman, TidyFS: A Simple and Small Distributed File System, in Proceedings of the USENIX Annual Technical Conference (USENIX'11), USENIX, 15 June 2011
- Derek G. Murray, Michael Isard, and Yuan Yu, Steno: Automatic Optimization of Declarative Queries, in Proceedings of the 32nd ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI 2011), ACM SIGPLAN, 4 June 2011
- Michael Isard, Vijayan Prabhakaran, Jon Currey, Udi Wieder, Kunal Talwar, and Andrew Goldberg, Quincy: Fair Scheduling for Distributed Computing Clusters, in Proceedings of 22nd ACM Symposium on Operating Systems Principles, Association for Computing Machinery, Inc., 11 October 2009
- Yuan Yu, Pradeep Kumar Gunda, and Michael Isard, Distributed Aggregation for Data-Parallel Computing: Interfaces and Implementations, in ACM Symposium on Operating Systems Principles (SOSP), October 2009
- Martín Abadi, Andrew Birrell, Tim Harris, Johnson Hsieh, and Michael Isard, Implementation and Use of Transactional Memory with Dynamic Separation, in Proceedings of the 18th International Conference on Compiler Construction, Springer Verlag, March 2009
- Yuan Yu, Michael Isard, Dennis Fetterly, Mihai Budiu, Úlfar Erlingsson, Pradeep Kumar Gunda, and Jon Currey, DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language, in OSDI'08: Eighth Symposium on Operating System Design and Implementation, USENIX, December 2008
- Martín Abadi, Andrew Birrell, Tim Harris, and Michael Isard, Semantics of Transactional Memory and Automatic Mutual Exclusion, in Proceedings of the 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM, San Francisco, California, USA, January 2008
- Michael Isard and Andrew Birrell, Automatic Mutual Exclusion, in Proceedings of the Eleventh Workshop on Hot Topics in Operating Systems, San Diego, CA, May 2007
- Michael Isard, Mihai Budiu, Yuan Yu, Andrew Birrell, and Dennis Fetterly, Dryad: Distributed Data-parallel Programs from Sequential Building Blocks, in Proceedings of the 2007 Eurosys Conference, Association for Computing Machinery, Inc., Lisbon, Portugal, March 2007
- Bob Atkinson, Tom Blank, Michael Isard, James D (JJ) Johnston, and Kirk Olynyk, An Internet Protocol (IP) Sound System, in AES 117th Convention, Audio Engineering Society, San Francisco, USA, October 2004
- Mark Lillibridge, Sameh Elnikety, Andrew Birrell, Michael Burrows, and Michael Isard, A Cooperative Internet Backup Scheme, in Proceedings of the 2003 Usenix Annual Technical Conference, USENIX, San Antonio, Texas, USA, June 2003
- Michael Isard and Yuan Yu, Distributed Data-Parallel Computing Using a High-Level Programming Language, in International Conference on Management of Data (SIGMOD), July 2009
- Michael Isard, Autopilot: Automatic Data Center Management, in Operating Systems Review, vol. 41, no. 2, pp. 60-67, April 2007
- Andrew Birrell, Michael Isard, Chuck Thacker, and Ted Wobber, A Design for High-Performance Flash Disks, in Operating Systems Review, vol. 41, no. 2, pp. 88-93, Association for Computing Machinery, Inc., April 2007
- David C. Lee, Qifa Ke, and Michael Isard, Partition Min-Hash for Partial Duplicate Image Discovery, in Proceedings of the European Conference on Computer Vision (ECCV 2010), Springer Verlag, September 2010
- Zhong Wu, Qifa Ke, Michael Isard, and Jian Sun, Bundling Features for Large Scale Partial-DuplicateWeb Image Search, in CVPR 2009, IEEE, June 2009
- Michael Isard, John MacCormick, and Kannan Achan, Continuously-adaptive discretization for message-passing algorithms, in Advances in Neural Information Processing Systems, June 2009
- James Philbin, Ondřej Chum, Michael Isard, Josef Sivic, and Andrew Zisserman, Lost in Quantization: Improving Particular Object Retrieval in Large Scale Image Databases, in Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, June 2008
- Ondřej Chum, James Philbin, Josef Sivic, Michael Isard, and Andrew Zisserman, Total Recall: Automatic Query Expansion with a Generative Feature Model for Object Retrieval, in IEEE International Conference on Computer Vision, Rio de Janeiro, Brazil, October 2007
- Ondřej Chum, James Philbin, Michael Isard, and Andrew Zisserman, Scalable Near Identical Image and Shot Detection, in ACM International Conference on Image and Video Retrieval (CIVR 2007), Amsterdam, The Netherlands, July 2007
- James Philbin, Ondřej Chum, Michael Isard, Josef Sivic, and Andrew Zisserman, Object Retrieval with Large Vocabularies and Fast Spatial Matching, in IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR), Minneapolis, MI, June 2007
- Blake, A., Isard, and M., Active contours, Springer, 1998
- Michael Isard, Visual Motion Analysis by Probabilistic Propagation of Conditional Density, Oxford University, 1998
- Michael Isard, Mark Shand, and Alan Heirich, Distributed rendering of interactive soft shadows, in Parallel Computing, vol. 29, no. 3, pp. 311-323, Association for Computing Machinery, Inc., March 2003
- Sullivan, J., Blake, A., Isard, M., MacCormick, and J., Bayesian Correlation, in Accepted to ICCV'99, 1999
- A. Blake, B. Bascle, M. Isard, and J. MacCormick, Statistical models of visual shape and motion, in Phil. Trans. R. Soc. A., vol. 356, pp. 1283–1302, 1998
- Isard, M., Blake, and A., Condensation — conditional density propagation for visual tracking, in Int. J. Computer Vision, vol. 28, no. 1, pp. 5–28, 1998
- Blake, A., Isard, M.A., Reynard, and D., Learning to track the visual motion of contours, in J. Artificial Intelligence, vol. 78, pp. 101–134, 1995
- Oliver Williams, Michael Isard, and John MacCormick, Estimating Disparity and Occlusions in Stereo Video Sequences, in IEEE Conference on Computer Vision and Pattern Recognition (CVPR), Institute of Electrical and Electronics Engineers, Inc., San Diego, USA, June 2005
- Leonid Sigal, Sidharth Bhatia, Stefan Roth, Michael J. Black, and Michael Isard, Tracking Loose-limbed People, in IEEE Conference on Computer Vision and Pattern Recognition (CVPR '04), Institute of Electrical and Electronics Engineers, Inc., Washington DC, USA, June 2004
- Leonid Sigal, Michael Isard, Benjamin Sigelman, and Michael J. Black, Attractive People: Assembling Loose-Limbed Models using Non-parametric Belief Propagation, in Advances in Neural Information Processing Systems 16 (NIPS), MIT Press, Whistler, Canada, December 2003
- Michael Isard, Pampas: Real-Valued Graphical Models for Computer Vision, in IEEE Conference on Computer Vision and Pattern Recognition (CVPR), Institute of Electrical and Electronics Engineers, Inc., Madison, WI, June 2003
- Jon Deutscher, Michael Isard, and John MacCormick, Automatic Camera Calibration from a Single Manhattan Image, in Proc European Conf. Computer Vision, 2002
- Michael Isard and John MacCormick, BraMBLe: A Bayesian Multiple-Blob Tracker, in Proc. Int. Conf. Computer Vision, 2001
- John MacCormick and Michael Isard, Partitioned sampling, articulated objects, and interface-quality hand tracking, in Proc. European Conf. Computer Vision, 2000
- J. Sullivan, A. Blake, M. Isard, and J. MacCormick, Object Localization by Bayesian Correlation, in Proc. Int. Conf. Computer Vision, 1999
- Blake, A., North, B., Isard, and M., Learning multi-class dynamics, in Advances in Neural Information Processing Systems,, MIT Press, 1999
- Isard, M.A., Blake, and A., ICondensation: Unifying low-level and high-level tracking in a stochastic framework, in Proc. 5th European Conf. Computer Vision, 1998
- Michael Isard and Andrew Blake, A smoothing filter for Condensation, in Proc 5th European Conf. Computer Vision, 1998
- Michael Isard and Andrew Blake, A mixed-state Condensation tracker with automatic model-switching, 1998
- Blake, A., Isard, and M., The CONDENSATION algorithm — conditional density propagation and applications to visual tracking, in Advances in Neural Information Processing Systems 9, MIT Press, 1997
- Michael Isard and Andrew Blake, Contour tracking by stochastic propagation of conditional density, 1996
- Andrew Blake and Michael Isard, 3D position, attitude and shape input using video tracking of hands and lips, in Proc. ACM Siggraph, 1994
- Blake, A., Isard, M.A., Reynard, and D., Learning to track curves in motion, in Proc. IEEE Int. Conf. Decision Theory and Control, 1994
