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 programming data centers with Dryad (Dryad [video] is deployed by the Windows Live/MSN adCenter) and on hardware performance analysis. I have also worked on program security.

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

Personal page and blog. You can read two interviews: with Chuck Thacker and Leslie Lamport.

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.

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 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 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
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.