Michael Isard

According to our database1, Michael Isard authored at least 71 papers between 1994 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Dynamic Control Flow in Large-Scale Machine Learning.
CoRR, 2018

Dynamic control flow in large-scale machine learning.
Proceedings of the Thirteenth EuroSys Conference, 2018

2017
A computational model for TensorFlow: an introduction.
Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2017

2016
TensorFlow: A system for large-scale machine learning.
CoRR, 2016

TensorFlow: Large-Scale Machine Learning on Heterogeneous Distributed Systems.
CoRR, 2016

Incremental, iterative data processing with timely dataflow.
Commun. ACM, 2016


2015
Falkirk Wheel: Rollback Recovery for Dataflow Systems.
CoRR, 2015

On the Flow of Data, Information, and Time.
Proceedings of the Principles of Security and Trust - 4th International Conference, 2015

Timely Rollback: Specification and Verification.
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Scalability! But at what COST?
Proceedings of the 15th Workshop on Hot Topics in Operating Systems, 2015

Broom: Sweeping Out Garbage Collection from Big Data Systems.
Proceedings of the 15th Workshop on Hot Topics in Operating Systems, 2015

Timely Dataflow: A Model.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015

2014
A Multi-View Embedding Space for Modeling Internet Images, Tags, and Their Semantics.
International Journal of Computer Vision, 2014

2013
Naiad: a timely dataflow system.
Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles, 2013

Optimus: a dynamic rewriting framework for data-parallel execution plans.
Proceedings of the Eighth Eurosys Conference 2013, 2013

Differential Dataflow.
Proceedings of the CIDR 2013, 2013

2012
Loose-limbed People: Estimating 3D Human Pose and Motion Using Non-parametric Belief Propagation.
International Journal of Computer Vision, 2012

A Multi-View Embedding Space for Modeling Internet Images, Tags, and their Semantics
CoRR, 2012

2011
Semantics of transactional memory and automatic mutual exclusion.
ACM Trans. Program. Lang. Syst., 2011

TidyFS: A Simple and Small Distributed File System.
Proceedings of the 2011 USENIX Annual Technical Conference, 2011

Steno: automatic optimization of declarative queries.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

SPECTRE: speculation to hide communication latency.
Proceedings of the APSys '11 Asia Pacific Workshop on Systems, 2011

2010
Nonparametric belief propagation.
Commun. ACM, 2010

Descriptor Learning for Efficient Retrieval.
Proceedings of the Computer Vision, 2010

Partition Min-Hash for Partial Duplicate Image Discovery.
Proceedings of the Computer Vision, 2010

2009
Distributed aggregation for data-parallel computing: interfaces and implementations.
Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

Quincy: fair scheduling for distributed computing clusters.
Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

Distributed data-parallel computing using a high-level programming language.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2009

DryadInc: Reusing Work in Large-scale Computations.
Proceedings of the Workshop on Hot Topics in Cloud Computing, 2009

Bundling features for large scale partial-duplicate web image search.
Proceedings of the 2009 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2009), 2009

Implementation and Use of Transactional Memory with Dynamic Separation.
Proceedings of the Compiler Construction, 18th International Conference, 2009

2008
Semantics of transactional memory and automatic mutual exclusion.
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language.
Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

Continuously-adaptive discretization for message-passing algorithms.
Proceedings of the Advances in Neural Information Processing Systems 21, 2008

Lost in quantization: Improving particular object retrieval in large scale image databases.
Proceedings of the 2008 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2008), 2008

2007
Autopilot: automatic data center management.
Operating Systems Review, 2007

A design for high-performance flash disks.
Operating Systems Review, 2007

Total Recall: Automatic Query Expansion with a Generative Feature Model for Object Retrieval.
Proceedings of the IEEE 11th International Conference on Computer Vision, 2007

Automatic Mutual Exclusion.
Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating Systems, 2007

Dryad: distributed data-parallel programs from sequential building blocks.
Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, 2007

Object retrieval with large vocabularies and fast spatial matching.
Proceedings of the 2007 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2007), 2007

Scalable near identical image and shot detection.
Proceedings of the 6th ACM International Conference on Image and Video Retrieval, 2007

2006
Dense Motion and Disparity Estimation Via Loopy Belief Propagation.
Proceedings of the Computer Vision, 2006

2005
Estimating Disparity and Occlusions in Stereo Video Sequences.
Proceedings of the 2005 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2005), 2005

2004
Tracking Loose-Limbed People.
Proceedings of the 2004 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2004), with CD-ROM, 27 June, 2004

3D Human Limb Detection using Space Carving and Multi-View Eigen Models.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2004

2003
Distributed rendering of interactive soft shadows.
Parallel Computing, 2003

A Cooperative Internet Backup Scheme.
Proceedings of the General Track: 2003 USENIX Annual Technical Conference, 2003

Attractive People: Assembling Loose-Limbed Models using Non-parametric Belief Propagation.
Proceedings of the Advances in Neural Information Processing Systems 16 [Neural Information Processing Systems, 2003

PAMPAS: Real-Valued Graphical Models for Computer Vision.
Proceedings of the 2003 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2003), 2003

2002
Algorithmic issues in modeling motion.
ACM Comput. Surv., 2002

Distributed rendering of interactive soft shadows.
Proceedings of the Fourth Eurographics Workshop on Parallel Graphics and Visualization, 2002

Automatic Camera Calibration from a Single Manhattan Image.
Proceedings of the Computer Vision, 2002

2001
Bayesian Object Localisation in Images.
International Journal of Computer Vision, 2001

BraMBLe: A Bayesian Multiple-Blob Tracker.
ICCV, 2001

2000
Learning and Classification of Complex Dynamics.
IEEE Trans. Pattern Anal. Mach. Intell., 2000

Partitioned Sampling, Articulated Objects, and Interface-Quality Hand Tracking.
Proceedings of the Computer Vision - ECCV 2000, 6th European Conference on Computer Vision, Dublin, Ireland, June 26, 2000

1999
Object Localization by Bayesian Correlation.
ICCV, 1999

1998
CONDENSATION - Conditional Density Propagation for Visual Tracking.
International Journal of Computer Vision, 1998

Learning Multi-Class Dynamics.
Proceedings of the Advances in Neural Information Processing Systems 11, [NIPS Conference, Denver, Colorado, USA, November 30, 1998

A Mixed-State CONDENSATION Tracker with Automatic Model-Switching.
ICCV, 1998

ICONDENSATION: Unifying Low-Level and High-Level Tracking in a Stochastic Framework.
Proceedings of the Computer Vision, 1998

A Smoothing Filter for CONDENSATION.
Proceedings of the Computer Vision, 1998

Active contours - the application of techniques from graphics, vision, control theory and statistics to visual tracking of shapes in motion.
Springer, ISBN: 978-3-540-76217-1, 1998

1997
Visual tracking and pose recovery for special effects.
Proceedings of the ACM SIGGRAPH 97 Visual Proceedings: The art and interdisciplinary programs of SIGGRAPH '97, 1997

1996
Automatic video tracking by probabilistic propagation.
Proceedings of the ACM SIGGRAPH 96 Visual Proceedings: The art and interdisciplinary programs of SIGGRAPH 1996, 1996

The CONDENSATION Algorithm - Conditional Density Propagation and Applications to Visual Tracking.
Proceedings of the Advances in Neural Information Processing Systems 9, 1996

Contour Tracking by Stochastic Propagation of Conditional Density.
Proceedings of the Computer Vision, 1996

1995
Learning to Track the Visual Motion of Contours.
Artif. Intell., 1995

1994
3D position, attitude and shape input using video tracking of hands and lips.
Proceedings of the 21th Annual Conference on Computer Graphics and Interactive Techniques, 1994


  Loading...