Travelled to:1 × United Kingdom
6 × USA
Collaborated with:Y.Yu M.Abadi D.G.Murray P.K.Gunda A.Birrell T.Harris J.Currey J.Hsieh F.McSherry R.Isaacs P.Barham V.Prabhakaran U.Wieder K.Talwar A.Goldberg M.Maas D.G.Andersen Mohammad Mahdi Javanmard K.S.McKinley Colin Raffel D.Fetterly M.Budiu Ú.Erlingsson
Talks about:distribut (4) comput (4) parallel (3) memori (3) data (3) use (3) implement (2) transact (2) languag (2) automat (2)
Person: Michael Isard
DBLP: Isard:Michael
Contributed to:
2013
2011
2009
20092009
2008
2008
2020Wrote 9 papers:
- SOSP-2013-MurrayMIIBA #data flow #named
- Naiad: a timely dataflow system (DGM, FM, RI, MI, PB, MA), pp. 439–455.
- PLDI-2011-MurrayIY #automation #declarative #named #optimisation #query
- Steno: automatic optimization of declarative queries (DGM, MI, YY), pp. 121–131.
- CC-2009-AbadiBHHI #implementation #memory management #transaction #using
- Implementation and Use of Transactional Memory with Dynamic Separation (MA, AB, TH, JH, MI), pp. 63–77.
- SIGMOD-2009-IsardY #distributed #programming language #using
- Distributed data-parallel computing using a high-level programming language (MI, YY), pp. 987–994.
- SOSP-2009-IsardPCWTG #clustering #distributed #named #scheduling
- Quincy: fair scheduling for distributed computing clusters (MI, VP, JC, UW, KT, AG), pp. 261–276.
- SOSP-2009-YuGI #distributed #implementation #interface
- Distributed aggregation for data-parallel computing: interfaces and implementations (YY, PKG, MI), pp. 247–260.
- OSDI-2008-YuIFBEGC #distributed #named #using
- DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language (YY, MI, DF, MB, ÚE, PKG, JC), pp. 1–14.
- POPL-2008-AbadiBHI #automation #memory management #semantics #transaction
- Semantics of transactional memory and automatic mutual exclusion (MA, AB, TH, MI), pp. 63–74.
- ASPLOS-2020-MaasAIJMR #c++ #memory management
- Learning-based Memory Allocation for C++ Server Workloads (MM, DGA, MI, MMJ, KSM, CR), pp. 541–556.