Michael Isard

According to our database1, Michael Isard authored at least 75 papers between 1994 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Gemini 1.5: Unlocking multimodal understanding across millions of tokens of context.
CoRR, 2024

2023
PaLM: Scaling Language Modeling with Pathways.
J. Mach. Learn. Res., 2023

Gemini: A Family of Highly Capable Multimodal Models.
CoRR, 2023

2022

2021
Falkirk Wheel: Rollback Recovery for Dataflow Systems.
Proceedings of the SoCC '21: ACM Symposium on Cloud Computing, 2021

2020
Learning-based Memory Allocation for C++ Server Workloads.
Proceedings of the ASPLOS '20: Architectural Support for Programming Languages and Operating Systems, 2020

2019
Machine Learning Systems are Stuck in a Rut.
Proceedings of the Workshop on Hot Topics in Operating Systems, 2019

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.
Int. J. Comput. Vis., 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 Sixth Biennial Conference on Innovative Data Systems Research, 2013

2012
Loose-limbed People: Estimating 3D Human Pose and Motion Using Non-parametric Belief Propagation.
Int. J. Comput. Vis., 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
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.
ACM SIGOPS Oper. Syst. Rev., 2007

A design for high-performance flash disks.
ACM SIGOPS Oper. Syst. Rev., 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 Comput., 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

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

2001
Bayesian Object Localisation in Images.
Int. J. Comput. Vis., 2001

BraMBLe: A Bayesian Multiple-Blob Tracker.
Proceedings of the Eighth International Conference On Computer Vision (ICCV-01), Vancouver, British Columbia, Canada, July 7-14, 2001, 2001

Statistical Models of Visual Shape and Motion.
Proceedings of the Sequential Monte Carlo Methods in Practice, 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.
Proceedings of the International Conference on Computer Vision, 1999

1998
CONDENSATION - Conditional Density Propagation for Visual Tracking.
Int. J. Comput. Vis., 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.
Proceedings of the Sixth International Conference on Computer Vision (ICCV-98), 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...