Mihai Budiu's Web Page

Mihai Budiu
c/o Microsoft Research SVC
Mailing address: 1065 La Avenida
Mountain View, CA 94043

Phone: (650) 693 1440
Fax: (425) 936 7329
Cell: (412) 216 8430
my e-mail

Actual office address: 1022 Pear Avenue, building 6, room 2076.

I am a researcher at Microsoft Research in Silicon Valley.

I am working on various aspects of cloud computing infrastructure and applications:

Dryad [video] is the runtime engine for Microsoft Bing data analytics
DryadLINQ allows you to program large clusters in .Net (now available for download under an academic license)
Performance analysis of large cluster with Artemis
Large-scale applications built on DryadLINQ: machine learning, data mining, image and video processing, combinatorial optimization, distributed data structures, etc. A particularly exciting application is training the real-time gesture recognition system for the Microsoft Xbox Project Natal.

I have also worked on program security and hardware critical path analysis.

I have a Ph.D. from Carnegie Mellon (2004). There I worked in compilers, computer architecture, reconfigurable hardware (PipeRench: virtualized reconfigurable hardware, licensed by two start-ups), and high-level synthesis (CASH: A Compiler for Application-Specific Hardware). My old CMU web page.

Here are some interviews I took: Chuck Thacker, Leslie Lamport, and Kurt Akeley.

Recent publications

These are my publications since I have joined Microsoft; a complete list is in my my CV. Here's my dblp record. The copyrights of these publications are owned by various organizations, the papers are reproduced here for your convenience.

TISSEC 09 bibtex	Control-Flow Integrity principles, implementations and applications Martín Abadi, Mihai Budiu, Úlfar Erlingsson, and Jay Ligatti ACM Transactions on Information and System Security (TISSEC), Vol. 13, no 1, 2009, pages 1-40
LADIS 09 slides bibtex	Towards Automatic Policy Refinement in Repair Services for Large Distributed Systems Moises Goldszmidt, Mihai Budiu, Yue zhang, and Michael Pechuk Large Scale Distributed Systems and Middleware (LADIS), Big Sky Resort, Big Sky, Montana, October 10-11, 2009, 5 pages
SOCC 09 slides bibtex	Tuning SoCs using the Dynamic Critical Path Hari Kannan, Mihai Budiu, John D. Davis, and Girish Venkataramani IEEE International SOC Conference, Belfast, Northern Ireland, September 9-11, 2009 Also as Microsoft Research Technical Report MSR-TR-2009-44
HOTCLOUD 09 slides bibtex	DryadInc: Reusing work in large-scale computations Lucian Popa, Mihai Budiu, Yuan Yu, and Michael Isard Workshop on Hot Topics in Cloud Computing (HotCloud), San Diego, CA, June 15, 2009
WASL 08 slides bibtex	Hunting for problems with Artemis Gabriela F. Creţu-Ciocârlie, Mihai Budiu, and Moises Goldszmidt USENIX Workshop on the Analysis of System Logs (WASL), San Diego, CA, December 7, 2008
OSDI 08 bibtex	DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language Yuan Yu, Michael Isard, Dennis Fetterly, Mihai Budiu, Úlfar Erlingsson, Pradeep Kumar Gunda, and Jon Currey Symposium on Operating System Design and Implementation (OSDI), San Diego, CA, December 8-10, 2008, 14 pages
TR 08 bibtex	Some sample programs written in DryadLINQ Yuan Yu, Michael Isard, Dennis Fetterly, Mihai Budiu, Ulfar Erlingsson, Pradeep Kumar Gunda, Jon Currey, Frank McSherry, and Kannan Achan Microsoft Research Technical Report, MSR-TR-2008-74, May, 2008, 37 pages
DAC 07 slides bibtex	Critical Path: A Tool for System-Level Timing Analysis Girish Venkataramani, Tiberiu Chelcea, Mihai Budiu, and Seth C. Goldstein Design Automation Conference (DAC), San Diego, CA, June 4-8, 2007 An expanded version is in CMU-CS-06-144
EUROSYS 07 bibtex	Dryad: Distributed Data-Parallel Programs from Sequential Building Blocks Michael Isard, Mihai Budiu, Yuan Yu, Andrew Birrell, and Dennis Fetterly European Conference on Computer Systems (EuroSys), Lisbon, Portugal, March 21-23, 2007, pages 59-72 Also as technical report MSR-TR-2006-140
OSDI 06 bibtex	XFI: Software Guards for System Address Spaces Úlfar Erlingsson, Martín Abadi, Michael Vrable, Mihai Budiu, and George C. Necula Symposium on Operating System Design and Implementation (OSDI), Seattle, WA, November 6-8, 2006, pages 75-88
ASID 06 slides bibtex	Architectural Support for Software-Based Protection Mihai Budiu, Úlfar Erlingsson, and Martín Abadi Workshop on Architectural and System Support for Improving Software Dependability (ASID), San Jose, CA, October 21, 2006, pages 42-51 Also as technical report MSR-TR-2006-115
ASPLOS 06 bibtex	Tartan: Evaluating Spatial Computation For Whole Program Execution Mahim Mishra, Timothy J. Callahan, Tiberiu Chelcea, Girish Venkataramani, Mihai Budiu, and Seth C. Goldstein International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), San Jose, CA, October 21-25, 2006, pages 163-174
ICFEM 05 bibtex	A Theory of Secure Control-Flow Martín Abadi, Mihai Budiu, Úlfar Erlingsson, and Jay Ligatti International Conference on Formal Engineering Methods (ICFEM), Manchester, UK, November 1-4, 2005, pages 111-124
CCS 05 bibtex	Control-Flow Integrity Martín Abadi, Mihai Budiu, Úlfar Erlingsson, and Jay Ligatti ACM Conference on Computer and Communication Security (CCS), Alexandria, VA, November 7-11, 2005, pages 340-353

Some recent talks I gave:

Cluster Computing with DryadLINQ
Cloudera, Inc. Burlingame, CA February 12, 2010

Cluster Computing with DryadLINQ
Guest lecture for the graduate course Cloud Computing: Infrastructure, Services, and Applications Berkeley, CA March 4, 2009

Hunting for Bugs with Artemis
USENIX Workshop on the Analysis of System Logs (WASL) San Diego, CA December 7, 2008

Cluster Computing for the masses with DryadLINQ
Intel Research/UC Berkeley System Seminar Series Intel Research, Berkeley, CA October 9, 2008

DryadLINQ - a language for data-parallel computation on computer clusters
Cloud Computing-the New Face of Computing-Promises and Challenges Stanford, CA July 19, 2008

Cluster Computing with DryadLINQ
Palo Alto Research Center CSL Colloquium Palo Alto, CA May 8, 2008

Cluster Computing with Dryad
Microsoft Live Labs Bellevue, WA March 4, 2008

A Toolkit for Machine-Learning in DryadLINQ
Microsoft Research SVC Mountain View, CA January 30, 2008

Critical Path: A Tool for System-Level Timing Analysis
Microsoft Research SVC Mountain View, CA May 23, 2007

Architectural Support for Software-Based Protection
ASID 2006 San Jose, CA October 21, 2006

On the Critical Path of Computations
Tensilica, Inc. Santa Clara, CA August 3, 2006

Spatial Computation
Google Mountain View, CA May 10, 2005

On the Critical Path of Computations
Microsoft Research Silicon Valley Mountain View, CA March 30, 2005

Dataflow: A Complement to Superscalar
ISPASS 2005 Austin, TX March 22, 2005

Inter-Iteration Scalar Replacement in the Presence of Conditional Control-Flow
ODES 2005 San Jose, CA March 20, 2005

Spatial Computation
ASPLOS 2004 Boston, MA October 11, 2004

Translating ANSI C Into Asynchronous Circuits
Tutorial at ASYNC 2004 Hersonissos, Crete, Greece April 19, 2004

On the Energy Efficiency of Computation
CALCM Seminar Carnegie Mellon University February 17, 2004

I have compiled a list of my coauthors.