Curriculum Vitae - Mihai Budiu

Postdoc

Fall 2003-Summer 2004, Carnegie Mellon University, Computer Science Department, professor Seth Goldstein, Phoenix Project.

Graduate Student (Ph.D. program)

Fall 1997-Summer 2003, Carnegie Mellon University, Computer Science Department, Pittsburgh, PA. Thesis defended in December 2003.

Master of Science

December 2000, Carnegie Mellon University, Computer Science Department.

Graduate Student

Fall 1996-Spring 1997, enrolled in the Ph.D. program of the Computer Science Department, Cornell University, Ithaca, NY.

Master of Science

Fall 1995-Spring 1996, ``Politehnica'' University of Bucharest, Romania; Department of Engineering Sciences.

Summer school

Summer 1993, International Summer Institute for Parallel Computer Architectures, Languages and Algorithms, Prague, Czechoslovakia.

Bachelor of Science

Fall 1990-Spring 1995, ``Politehnica'' University of Bucharest, Romania, major in Computer Science; Department of Engineering Sciences.

Military Service

Fall 1989-Spring 1990.

High-school diploma

(Baccalaureate) Fall 1989, Liceul de Informatica, Bucharest, Romania.

JPath: Structural Queries for JSON Databases
Social Search Meetup, Microsoft, Santa Clara, CA, November 15, 2012

Data-Intensive Cluster Computing
San Jose State University Course 297C1 on Cloud Computing, Santa Clara, CA, November 8, 2012

The Compiler Forest
Microsoft Research Silicon Valley Lab, Mountain View, CA, October 24, 2012

The Compiler Forest
Workshop on Exploiting Concurrency Efficiently and Correctly, Berkeley, CA, July 7, 2012

Playing with Big Data
HPDC 2012 Keynote Presentation, Delft, Netherlands, June 20, 2012

Training Kinect
UCSD Center for Networked Systems 2012 Research Review, San Diego, CA, Feb 8, 2012

Programming Clusters with DryadLINQ
Carnegie Mellon Silicon Valley, Mountain View, CA, Dec 5, 2011

Crunching Big Data
Microsoft Research 20th Anniversary, Mountain View, CA, Sept 27, 2011

Data-Intensive Cluster Computing
San Jose State University, Course CMPE 281: Special Topics in Computer Engineering --- Cloud Technologies, Santa Clara, CA, September 21, 2011

Monitoring and Debugging Clusters with Daphne
International Workshop on High-level Parallel Programming Models and Supportive Environments (HIPS), Anchorage, AK, May 20, 2011

DryadOpt: Branch-and-Bound on Distributed Data-Parallel Execution Engines
IEEE International Parallel and Distributed Processing Symposium (IPDPS), Anchorage, AK, May 19, 2011

Programming Clusters with DryadLINQ
ACCU monthly meeting, Mountain View, CA, April 13, 2011

The Kinect Body Tracking Pipeline
NASA Ames Reseach Center, Mountain View, CA, February 15, 2011

Cluster Computing with DryadLINQ
San Jose State University Course 297C1 on Cloud Computing, Santa Clara, CA, September 13, 2010

Large-Scale Machine Learning using DryadLINQ
Workshop on Ambient Intelligence: From Sensor Networks to Smart Environments and Social Media, Stanford University, June 1, 2010

Large-Scale Machine Learning using DryadLINQ
SIAM Workshop on High Performance Analytics, Columbus, OH, May 1, 2010

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, UC Berkeley, 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

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

Spatial Computation
SDI seminar, July 8, 2004, CMU.

Spatial Computation — Computing without General-Purpose Processors
Invited talk

• Microsoft Research, Redmond, WA, February 24, 2004.
• University of Pittsburgh CS, PA, March 31, 2004.
• Georgia Tech CS, Atlanta, GA, April 6-7, 2004.
• Purdue University CS, West Lafayette, IN, April 8-9, 2004.
• Columbia University CS, New York, April 14, 2004.
• Toyota Technical Institute CS, Chicago, April 26, 2004.
• University of Illinois at Urbana-Champaign CS+ECE, April 27-29, 2004.
• University of Chicago CS, April 30, 2004.
• Microsoft Research, Silicon Valley, CA, May 17-18, 2004.

Compiling C to Asynchronous Hardware
Tutorial at ASYNC 2004, April 19, 2004, Hersonissos, Crete, Grece.

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

Spatial Computation
Ph.D. Thesis Defense, December 8, 2003, CMU.
Slides with notes in pdf.

Spatial Computation
CACLM seminar, October 21, 2003, CMU.

Compiling for Application-Specific Hardware
STMicroelectronics, June 2003, San Diego, CA.

Optimizing Memory Accesses for Spatial Computation
CGO 03, San Francisco, CA, March 2003

ASH: A Substrate for Scalable Architectures
CACLM seminar, March 19, 2002, CMU.

Compiling Application-Specific Hardware
12th International Conference on Field Programmable Logic and Applications FPL 02, September 4, 2002, Montpellier (La Grande-Motte), France.

Peer-to-peer Hardware-software Interfaces for Reconfigurable Fabrics
IEEE Symposium on Field Programmable Gate Arrays, FCCM 02, Napa Valley, CA, April 24 2002.

Application-Specific Hardware: Computing Without CPUs
Fourth CMU Symposium on Computer Systems, SOCS-4, October 2001, CMU.

General-Purpose Computation without General-Purpose Processors
Thesis proposal, July 2001, CMU.

NanoFabrics: Spatial Computing using Molecular Electronics
SSS Seminar, April 20, 2001, CMU.

BitValue Inference: Detecting and Exploiting Narrow Bitwidth Computations
6th International Euro-par 00 Conference
Munich, Germany, August 2000.

Detecting and Exploiting Narrow Bitwidth Computations
Second CMU Symposium on Computer Systems, SOCS-2, Sept 1999, CMU.

The CMU Reconfigurable Computing Project
SSS Seminar, Sept 1999, CMU.

The CMU Reconfigurable Computing Project
August 1999, Bell Labs, Lucent Technologies.

Fast Compilation for Pipelined Reconfigurable Fabrics
Seventh ACM/SIGDA International Symposium on Field Programmable Gate Arrays, FPGA 99, Monterey, CA, Feb 23, 1999.

Fast Compilation for Pipelined Reconfigurable Fabrics
SDI Seminar, December 1998, CMU.

PicOs: A Microkernel Operating System
Second Romanian Open Systems Event, ROSE 95, Bucharest, Romania, Nov 2 1995.

Monthly column (3000-8000 words)
NET Report Romanian Computer Magazine (name changed in 2001 from PC Report)
August 1996-February 2002.

Article	Printed
The C Compiler	August 1996
How to Write Programs	October 1996
The Unix Filesystem	November 1996
OS Kernels	December 1996
User-space Multithreading	January 1997
Caches	March 1997
The ``Back-Door''	April 1997
Who's Afraid of Emacs?	May 1997
The Unix Shell	June 1997
``Corect'': a spell-checker for Romanian	July 1997
New Trends in Algorithms Research	August 1997
Why Microkernels are Losing	September 1997
Efficient File Systems	October 1997
The Functioning of the Unix Filesystem	December 1997
The Anatomy of a System Call in Linux	January 1998
The Virtual Filesystem Switch	February 1998
Watchdogs: A Project in Operating Systems	March 1998
Atomic Transactions	April 1998
Routing in the Internet	May 1998
Open-Source Software	June 1998
Reconfigurable Hardware	July 1998
Kerberos	August 1998
System Measurements I: Tools	September 1998
System Measurements II: Measuring the OS	October 1998
Cache Coherence in SMP Systems	November 1998
CPU Pipelining	December 1998
Memory Allocation in OS Kernels	January 1999
LAN Bridges	February 1999
Internet Tunneling	April 1999
Scalability in Computer Networks (with Ion Stoica)	May 1999
DDD - a Visual Debugger	June 1999
Register Renaming	July 1999
Branch Prediction	August 1999
Boolean Satisfiability I: Theoretical Issues	October 1999
Boolean Satisfiability II: Practical Solutions	November 1999
Computational Complexity I: Computability	December 1999
Computational Complexity II: The Polynomial Hierarchy	February 2000
Cognitive Sciences (with Raluca Budiu)	March 2000
The Future of Microprocessors	March 2000
Regular Expressions	April 2000
Cooperation and Competition in the Internet	May 2000
Research in Robotics (with Cristi Dima)	June 2000
Computer Vision in Robotics (with Cristi Dima)	June 2000
An Interview with Brian Kernighan	August 2000
A Music Digital Library (with Cristi Francu)	September 2000
LaTeX: a document preparation system for mathematics	October 2000
The CMU Ballista project	November 2000
Shell programming	December 2000
Micro-electro-mechanical systems	January 2001
Non-Work-Conserving Scheduling Disciplines in Computer Networks	February 2001
An interview with Bruce Maggs (Akamai Technologies)	March 2001
Nanotechnology and the Future of Computing	May 2001
Spatial Computation	June 2001
DDoS Attacks in the Internet	July 2001
Speculative Execution	September 2001
The CodeRed Internet Worm	October 2001
Metacompilation	November 2001
Reliability in Computer Architecture: I Hardware	January 2002
Reliability in Computer Architecture: II Software	February 2002

Researcher

Fall 2004-current, Microsoft Research, Silicon Valley.

Consultant

2006-2008, Rapport, Inc..

Postdoc

Fall 2003-Summer 2004, Carnegie Mellon University, prof. Seth Copen Goldstein, member of the Phoenix project.

Research assistant

Fall 1997-Summer 2003, Carnegie Mellon University, Computer Science Dept., prof. Seth Copen Goldstein. Compilation for reconfigurable hardware devices. I have developed a custom hardware description language called DIL and a CAD tool which optimizes, places and routes DIL programs on the PipeRench reconfigurable hardware chip. I have designed and built a framework for cycle-accurate simulation of systems comprising processors and reconfigurable hardware using the SimpleScalar tool set. I have developed the CASH optimizing compiler which translates ANSI C programs to asynchronous hardware circuits.

Research intern, Summer 2000

Bell Labs, Lucent Technologies, Murray Hill, NJ. Supervisor: Nevin Heintze. I studied compilation issues for a custom massively parallel DSP chip.

Research intern, Summer 1999

Bell Labs, Lucent Technologies, Murray Hill, NJ. Supervisor: Nevin Heintze. I studied the use of reconfigurable hardware devices for the acceleration of Digital Signal Processing applications.

Research assistant

Summer 1997, Carnegie Mellon University, Computer Science Dept., prof. Garth Gibson. During this summer I worked for the Parallel Data Lab, developing a multithreaded filesystem cache based on variable-size extents. This project was used by the Network Attached Secure Disks project.

Assistant editor

January 1998-February 2002, the Romanian Computer Magazine NET Report (PC Report), www.pcreport.ro.

Columnist

August 1996-February 2002 (monthly feature) in the Romanian Computer Magazine NET Report (PC Report).

Network administrator

1995; ``Politehnica'' University of Bucharest Communication Center, central hub of the Romanian Education Network, RoEduNet www.roedu.net.

Computer Programmer

1994; VAL Informatique, Bucharest, Romania (databases).

Unix System Administrator

1993; ``Politehnica'' University of Bucharest, Digital Signal Processing Laboratory.

TA, Spring 2000

(Teaching Assistant) Carnegie Mellon University, for 15-453 ``Formal Languages, Automata and Computation'' (senior level). Professor: Frank Pfenning. My (powerpoint) lecture on "Turing Machines and the Real World".

TA, Spring 1999

Carnegie Mellon University, for 15-451 ``Algorithms'' (senior level). Professor: Avrim Blum.

TA, Spring 1997

Cornell University, for CS514 ``Distributed Operating Systems'' (master level). Professor: Kenneth Birman.

TA, Fall 1996

Cornell University, for CS414 ``Operating Systems'' and CS415 ``Practicum in Operating Systems'' (senior level). Professor: Kenneth Birman.

TA, Spring 1996

``Politehnica'' University, Bucharest, for ``Computer Networks'' (senior level).

TA, Fall 1995

``Politehnica'' University, for ``Compiler Design'' (senior level). Professor: Irina Athanasiu.

Teacher, 1992-1995

``Informatics'' High School, Bucharest; taught the classes ``Programming Languages'', ``Data Structures'' and ``Algorithms''. Responsible for all aspects of the course: curriculum, lesson plan, test administration, grading, projects.

Teacher, 1989

``Informatics'' High School, Bucharest; taught the freshman class ``BASIC HC 85''. Responsible for devising the curriculum and delivering all lectures.

Instructor, 1987-1988

``Informatics'' High School, Bucharest; ran seminars on computer programming for high school students.

Reviewer

for:

• IEEE Transactions on Computers, 2004, 2006
• IEEE Transactions on Software Engineering, 2006
• IEEE Transactions on Dependable and Secure Computing 2005, 2011
• IEEE Transactions on VLSI, 2005, 2008
• IEEE Transactions on CAD, 2007 -- 2010
• IEEE Computer, 2008
• IEEE Software, 2012
• ACM Transactions on Computer Systems, 2010
• ACM Transactions on Parallel and Distributed Systems, 2010
• ACM Transactions on Database Systems, 2010
• ACM Transactions on Internet Technologies, 2011
• ST Journal for Systems Research 2003
• International Journal of Electronics 2005, 2006
• Elsevier Journal for Systems and Software 2006, 2007, 2013
• Elsevier Journal for Embedded Hardware Design (Microprocessors and Microsystems) 2009
• International Journal of Information Security, 2009, 2010
• IPSI Transactions on Internet Research 2007
• Journal of Reconfigurable Computing, 2010
• Software: Practice and Experience, 2012
• Concurrency and Computation: Practice and Experience, 2013
  
  
• PLDI (ACM/SIGPLAN Conference on Programming Language Design and Implementation) 2009
• ISCA (ACM/IEEE International Symposium on Computer Architecture): 2002-2005
• HPCA (IEEE International Symposium on High-Performance Computer Architecture) 2006
• ASPLOS (ACM International Conference on Architectural Support for Programming Languages and Operating Systems) 2006, 2010, 2013
• OSDI (Usenix Symposium on Operating Systems Design and Implementation) 2006, 2012
• SPAA (ACM Symposium on Parallelism in Algorithms and Architectures) 2011
• CGO (IEEE/ACM International Symposium on Code Generation and Optimization) 2007, 2010
• CCS (ACM Conference on Computer and Communication Security) 2011
• Usenix security 2006
• Usenix ATC (Usenix Annual Technical Conference) 2011
• ICCAD (IEEE International Conference on Computer-Aided Design): 2001, 2003, 2005
• DAC (ACM/IEEE Design Automation Conference) 2004
• PODC (ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing) 2006
• POPL (ACM Symposium on Principles of Programming Languages) 2013
• PACT (ACM/IEEE Parallel Architecture and Compilation Techniques) 2005, 2008
• CASES (ACM/IEEE International Conference on Compilers, Architecture, and Synthesis for Embedded Systems) 2006
• ASP-DAC (IEEE Asia and South-Pacific Design Automation Conference) 2005
• SAC (ACM Symposium on Applied Computing) 2005, 2007
• RTAS (IEEE Real-Time and Embedded Technology and Applications Symposium) 2005
• ISVLSI (IEEE Computer Society Annual Symposium on VLSI) 2005, 2006
• COMPSAC (IEEE Computer Software and Applications) 2005
• VLSI-SOC (IFIP International Conference on VLSI Systems-on-a-Chip) 2005
• MASCOTS (IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems) 2005
• ISOCC (IEEE International System-on-a-Chip Design Conference) 2005
• ISCAS (IEEE International Symposium on Circuits and Systems) 2007
• GLSVLSI (ACM/IEEE Great Lakes Symposium on VLSI) 2006, 2007
• FPL (IEEE International Conference on Field Programmable Logic and Applications) 2007 -- 2010
• SASIMI (Workshop on Synthesis And System Integration of Mixed Information technologies) 2006
• APLAS (Asian Symposium on Programming Languages and Systems) 2006
• CSR (International Computer Science Symposium in Russia) 2006
• ARC (International Workshop on Applied Reconfigurable Computing) 2005-2011
  
• SOCA (IEEE International Service-Oriented Computing and Applications) 2010
• MTAGS (IEEE Workshop on Many-Task Computing on Grids and Supercomputers) 2010, 2012
• SRDS (International Symposium on Reliable Distributed Systems) 2011
• HotCloud (Usenix Workshop on Topics in Cloud Computing) 2010 -- 2011
• CloudCom (IEEE International Conference on Cloud Computing Technology and Science) 2011, 2012
• CCGrid (IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing) 2012
  
  
• Morgan Kaufmann 2007
• Springer 2008
• Richard Newton Award 2008
• Microsoft Faculty Fellowship 2010-2011
• Microsoft Women's Scholarship 2012
• Microsoft Research Fellowship 2013

Program committee member

• IEEE International Conference on Cloud Computing Technology and Science (IEEE CloudCom 2013), Bristol, UK, Dec 2-5, 2013.
• IEEE International Symposium on Service-Oriented System Engineering (IEEESOSE 2013), San Francisco, March 25-28, 2013.
• IEEE International Conference on Cloud Computing Technology and Science (IEEE CloudCom 2012), Taipei, Taiwan, Dec 3-6, 2012.
• MTAGS 2011: The 4th Workshop on Many-Task Computing on Grids and Supercomputers, Seattle, WA, November 14, 2011.
• Big Learning: Algorithms, Systems, and Tools for Learning at Scale, Sierra Nevada, Spain, December 16-17, 2011.
• 3rd IEEE International Conference on Cloud Computing Technology and Science (IEEE CloudCom 2011), Athens, Greece, Nov 29 - Dec 1, 2011.
• 3rd Usenix Workshop on Hot Topics in Cloud Computing (HotCloud '11), Portland, OR, June 14, 2011.
• International Workshop on Applied Reconfigurable Computing (ARC 2011), Queen's University of Belfast, UK, March 21-23, 2011.
• ACM Workshop on Many-Task Computing on Grids and Supercomputers (MTAGS '10), New Orleans, LA, November 15, 2010.
• IEEE International Conference on Service-Oriented Computing and Applications (SOCA '10), Perth, Australia, December 13-15, 2010.
• International Conference on Field-Programmable Logic and Applications (FPL 2010), Milano, Italy, August 31-September 2, 2010.
• International Workshop on Applied Reconfigurable Computing (ARC 2010), Bangkok, Thailand, March 17-19, 2010.
• International Conference on Field-Programmable Logic and Applications (FPL 2009), Prague, Czech Republic, August 31-September 2, 2009.
• International Workshop on Applied Reconfigurable Computing (ARC 2009), Karlshruhe, Germany, March 16-18, 2009.
• International Conference on Field-Programmable Logic and Applications (FPL 2008), Heidelberg, Germany, September 8-10, 2008.
• International Workshop on Applied Reconfigurable Computing (ARC 2008), London, U.K., March 26-28, 2008.
• International Conference on Field Programmable Logic and Applications, (FPL 2007), Amsterdam, Netherlands, 27-29 August 2007.
• International Workshop on Applied Reconfigurable Computing (ARC 2007), Rio de Janeiro, Brazil, March 27-29, 2007.
• International Workshop on Applied Reconfigurable Computing (ARC 2006), Delft, Netherlands, March 1-3, 2006.
• International Workshop on Applied Reconfigurable Computing (ARC 2005), Algarve, Portugal, February 22, 2005.

Panel member

NSF Career 2004

Program chair

for SOCS-4, the Fourth CMU Symposium on Computer Systems, Carnegie Mellon University, October 6, 2001

Program committee member, publications chair and session chair

for SOCS-3: the Third CMU Symposium on Computer Systems, Carnegie Mellon University, October 14 2000.

Organizer

of the CMU SCS Student Seminar Series: Fall 1999-Fall 2002.

Creator and maintainer between 2000--2005

of the ``Who's who in compilers and computer architecture'' web page with researchers, photos, web links and research summaries.

Author

of the first Romanian ispell dictionaries and configuration files www.cs.cmu.edu/~mihaib/ftp/rom-spell.taz. Apparently it is the basis of the Romanian dictionaries used by aspell and OpenOffice.