Mihai Budiu

Affiliations:
  • VMware Research, Palo Alto, CA, USA
  • Microsoft Research (former)


According to our database1, Mihai Budiu authored at least 47 papers between 1999 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
DBSP: Incremental Computation on Streams and Its Applications to Databases.
SIGMOD Rec., March, 2024

2023
DBSP: Automatic Incremental View Maintenance for Rich Query Languages.
Proc. VLDB Endow., 2023

Scaling a Declarative Cluster Manager Architecture with Query Optimization Techniques.
Proc. VLDB Endow., 2023

2022
Overlook: Differentially Private Exploratory Visualization for Big Data.
J. Priv. Confidentiality, 2022

DBSP: Automatic Incremental View Maintenance for Rich Query Languages.
CoRR, 2022

Full-stack SDN.
Proceedings of the 21st ACM Workshop on Hot Topics in Networks, 2022

2019
Hillview: A trillion-cell spreadsheet for big data.
Proc. VLDB Endow., 2019

Differential Datalog.
Proceedings of the Datalog 2.0 2019, 2019

2017
The P416 Programming Language.
ACM SIGOPS Oper. Syst. Rev., 2017

2016
Packet Transactions: High-Level Programming for Line-Rate Switches.
Proceedings of the ACM SIGCOMM 2016 Conference, Florianopolis, Brazil, August 22-26, 2016, 2016

Interacting with Large Distributed Datasets Using Sketch.
Proceedings of the 16th Eurographics Symposium on Parallel Graphics and Visualization, 2016

2015
Packet Transactions: A Programming Model for Data-Plane Algorithms at Hardware Speed.
CoRR, 2015

DC.p4: programming the forwarding plane of a data-center switch.
Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research, 2015

2013
The Compiler Forest.
Proceedings of the Programming Languages and Systems, 2013

2012
Fay: Extensible Distributed Tracing from Kernels to Clusters.
ACM Trans. Comput. Syst., 2012

Putting a "big-data" platform to good use: training kinect.
Proceedings of the 21st International Symposium on High-Performance Parallel and Distributed Computing, 2012

2011
Fay: extensible distributed tracing from kernels to clusters.
Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, 2011

Monitoring and Debugging DryadLINQ Applications with Daphne.
Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

DryadOpt: Branch-and-Bound on Distributed Data-Parallel Execution Engines.
Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

2010
Toward automatic policy refinement in repair services for large distributed systems.
ACM SIGOPS Oper. Syst. Rev., 2010

2009
Control-flow integrity principles, implementations, and applications.
ACM Trans. Inf. Syst. Secur., 2009

Tuning SoCs using the global dynamic critical path.
Proceedings of the Annual IEEE International SoC Conference, SoCC 2009, 2009

DryadInc: Reusing Work in Large-scale Computations.
Proceedings of the Workshop on Hot Topics in Cloud Computing, 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

Hunting for Problems with Artemis.
Proceedings of the First USENIX Workshop on the Analysis of System Logs, 2008

2007
Dryad: distributed data-parallel programs from sequential building blocks.
Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, 2007

Global Critical Path: A Tool for System-Level Timing Analysis.
Proceedings of the 44th Design Automation Conference, 2007

2006
XFI: Software Guards for System Address Spaces.
Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06), 2006

Tartan: evaluating spatial computation for whole program execution.
Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, 2006

Architectural support for software-based protection.
Proceedings of the 1st Workshop on Architectural and System Support for Improving Software Dependability, 2006

2005
Dataflow: A Complement to Superscalar.
Proceedings of the IEEE International Symposium on Performance Analysis of Systems and Software, 2005

A Theory of Secure Control Flow.
Proceedings of the Formal Methods and Software Engineering, 2005

Control-flow integrity.
Proceedings of the 12th ACM Conference on Computer and Communications Security, 2005

2004
Spatial computation.
Proceedings of the 11th International Conference on Architectural Support for Programming Languages and Operating Systems, 2004

Programmer specified pointer independence.
Proceedings of the 2004 workshop on Memory System Performance, 2004

2003
Optimizing Memory Accesses For Spatial Computation.
Proceedings of the 1st IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2003), 2003

Reconfigurable Computing and Electronic Nanotechnology.
Proceedings of the 14th IEEE International Conference on Application-Specific Systems, 2003

2002
Factors Influencing the Performance of a CPU-RFU Hybrid Architecture.
Proceedings of the Field-Programmable Logic and Applications, 2002

Compiling Application-Specific Hardware.
Proceedings of the Field-Programmable Logic and Applications, 2002

Peer-to-Peer Hardware-Software Interfaces for Reconfigurable Fabrics.
Proceedings of the 10th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2002), 2002

2001
NanoFabrics: spatial computing using molecular electronics.
Proceedings of the 28th Annual International Symposium on Computer Architecture, 2001

2000
PipeRench: A Reconfigurable Architecture and Compiler.
Computer, 2000

Interfacing Reconfigurable Logic with a CPU.
Proceedings of the 8th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2000), 2000

BitValue Inference: Detecting and Exploiting Narrow Bitwidth Computations.
Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000

1999
Bimodal Multicast.
ACM Trans. Comput. Syst., 1999

PipeRench: A Coprocessor for Streaming multimedia Acceleration.
Proceedings of the 26th Annual International Symposium on Computer Architecture, 1999

Fast Compilation for Pipelined Reconfigurable Fabrics.
Proceedings of the 1999 ACM/SIGDA Seventh International Symposium on Field Programmable Gate Arrays, 1999


  Loading...