Mihai Budiu

According to our database, Mihai Budiu authored at least 46 papers between 1999 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

DBSP: Automatic Incremental View Maintenance for Rich Query Languages.

Mihai Budiu, Tej Chajed, Frank McSherry, Leonid Ryzhyk, Val Tannen

Proc. VLDB Endow., 2023

Scaling a Declarative Cluster Manager Architecture with Query Optimization Techniques.

Kexin Rong, Mihai Budiu, Athinagoras Skiadopoulos, Lalith Suresh, Amy Tai

Proc. VLDB Endow., 2023

2022

Overlook: Differentially Private Exploratory Visualization for Big Data.

Mihai Budiu, Pratiksha Thaker, Parikshit Gopalan, Udi Wieder, Matei Zaharia

J. Priv. Confidentiality, 2022

DBSP: Automatic Incremental View Maintenance for Rich Query Languages.

Mihai Budiu, Frank McSherry, Leonid Ryzhyk, Val Tannen

CoRR, 2022

Full-stack SDN.

Debnil Sur, Ben Pfaff, Leonid Ryzhyk, Mihai Budiu

Proceedings of the 21st ACM Workshop on Hot Topics in Networks, 2022

2019

Hillview: A trillion-cell spreadsheet for big data.

Mihai Budiu, Parikshit Gopalan, Lalith Suresh, Udi Wieder, Han Kruiger, Marcos K. Aguilera

Proc. VLDB Endow., 2019

Differential Datalog.

Leonid Ryzhyk, Mihai Budiu

Proceedings of the Datalog 2.0 2019, 2019

2017

The P416 Programming Language.

Mihai Budiu, Chris Dodd

ACM SIGOPS Oper. Syst. Rev., 2017

2016

Packet Transactions: High-Level Programming for Line-Rate Switches.

Anirudh Sivaraman, Alvin Cheung, Mihai Budiu, Changhoon Kim, Mohammad Alizadeh, Hari Balakrishnan, George Varghese, Nick McKeown, Steve Licking

Proceedings of the ACM SIGCOMM 2016 Conference, Florianopolis, Brazil, August 22-26, 2016, 2016

Interacting with Large Distributed Datasets Using Sketch.

Mihai Budiu, Rebecca Isaacs, Derek Murray, Gordon D. Plotkin, Paul Barham, Samer Al-Kiswany, Yazan Boshmaf, Qingzhou Luo, Alexandr Andoni

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.

Anirudh Sivaraman, Mihai Budiu, Alvin Cheung, Changhoon Kim, Steve Licking, George Varghese, Hari Balakrishnan, Mohammad Alizadeh, Nick McKeown

CoRR, 2015

DC.p4: programming the forwarding plane of a data-center switch.

Anirudh Sivaraman, Changhoon Kim, Ramkumar Krishnamoorthy, Advait Dixit, Mihai Budiu

Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research, 2015

2013

The Compiler Forest.

Mihai Budiu, Joel Galenson, Gordon D. Plotkin

Proceedings of the Programming Languages and Systems, 2013

2012

Fay: Extensible Distributed Tracing from Kernels to Clusters.

Úlfar Erlingsson, Marcus Peinado, Simon Peter, Mihai Budiu, Gloria Mainar-Ruiz

ACM Trans. Comput. Syst., 2012

Putting a "big-data" platform to good use: training kinect.

Mihai Budiu

Proceedings of the 21st International Symposium on High-Performance Parallel and Distributed Computing, 2012

2011

Fay: extensible distributed tracing from kernels to clusters.

Úlfar Erlingsson, Marcus Peinado, Simon Peter, Mihai Budiu

Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, 2011

Monitoring and Debugging DryadLINQ Applications with Daphne.

Vilas Jagannath, Zuoning Yin, Mihai Budiu

Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

DryadOpt: Branch-and-Bound on Distributed Data-Parallel Execution Engines.

Mihai Budiu, Daniel Delling, Renato Fonseca F. Werneck

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.

Moisés Goldszmidt, Mihai Budiu, Yue Zhang, Michael Pechuk

ACM SIGOPS Oper. Syst. Rev., 2010

2009

Control-flow integrity principles, implementations, and applications.

Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti

ACM Trans. Inf. Syst. Secur., 2009

Tuning SoCs using the global dynamic critical path.

Hari Kannan, Mihai Budiu, John D. Davis, Girish Venkataramani

Proceedings of the Annual IEEE International SoC Conference, SoCC 2009, 2009

DryadInc: Reusing Work in Large-scale Computations.

Lucian Popa, Mihai Budiu, Yuan Yu, Michael Isard

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.

Yuan Yu, Michael Isard, Dennis Fetterly, Mihai Budiu, Úlfar Erlingsson, Pradeep Kumar Gunda, Jon Currey

Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

Hunting for Problems with Artemis.

Gabriela F. Cretu-Ciocarlie, Mihai Budiu, Moisés Goldszmidt

Proceedings of the First USENIX Workshop on the Analysis of System Logs, 2008

2007

Dryad: distributed data-parallel programs from sequential building blocks.

Michael Isard, Mihai Budiu, Yuan Yu, Andrew Birrell, Dennis Fetterly

Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, 2007

Global Critical Path: A Tool for System-Level Timing Analysis.

Girish Venkataramani, Mihai Budiu, Tiberiu Chelcea, Seth Copen Goldstein

Proceedings of the 44th Design Automation Conference, 2007

2006

XFI: Software Guards for System Address Spaces.

Úlfar Erlingsson, Martín Abadi, Michael Vrable, Mihai Budiu, George C. Necula

Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06), 2006

Tartan: evaluating spatial computation for whole program execution.

Mahim Mishra, Timothy J. Callahan, Tiberiu Chelcea, Girish Venkataramani, Seth Copen Goldstein, Mihai Budiu

Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, 2006

Architectural support for software-based protection.

Mihai Budiu, Úlfar Erlingsson, Martín Abadi

Proceedings of the 1st Workshop on Architectural and System Support for Improving Software Dependability, 2006

2005

Dataflow: A Complement to Superscalar.

Mihai Budiu, Pedro V. Artigas, Seth Copen Goldstein

Proceedings of the IEEE International Symposium on Performance Analysis of Systems and Software, 2005

A Theory of Secure Control Flow.

Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti

Proceedings of the Formal Methods and Software Engineering, 2005

Control-flow integrity.

Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti

Proceedings of the 12th ACM Conference on Computer and Communications Security, 2005

2004

Spatial computation.

Mihai Budiu, Girish Venkataramani, Tiberiu Chelcea, Seth Copen Goldstein

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

Programmer specified pointer independence.

David Koes, Mihai Budiu, Girish Venkataramani

Proceedings of the 2004 workshop on Memory System Performance, 2004

2003

Optimizing Memory Accesses For Spatial Computation.

Mihai Budiu, Seth Copen Goldstein

Proceedings of the 1st IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2003), 2003

Reconfigurable Computing and Electronic Nanotechnology.

Seth Copen Goldstein, Mihai Budiu, Mahim Mishra, Girish Venkataramani

Proceedings of the 14th IEEE International Conference on Application-Specific Systems, 2003

2002

Factors Influencing the Performance of a CPU-RFU Hybrid Architecture.

Girish Venkataramani, Suraj Sudhir, Mihai Budiu, Seth Copen Goldstein

Proceedings of the Field-Programmable Logic and Applications, 2002

Compiling Application-Specific Hardware.

Mihai Budiu, Seth Copen Goldstein

Proceedings of the Field-Programmable Logic and Applications, 2002

Peer-to-Peer Hardware-Software Interfaces for Reconfigurable Fabrics.

Mihai Budiu, Mahim Mishra, Ashwin R. Bharambe, Seth Copen Goldstein

Proceedings of the 10th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2002), 2002

2001

NanoFabrics: spatial computing using molecular electronics.

Seth Copen Goldstein, Mihai Budiu

Proceedings of the 28th Annual International Symposium on Computer Architecture, 2001

2000

PipeRench: A Reconfigurable Architecture and Compiler.

Seth Copen Goldstein, Herman Schmit, Mihai Budiu, Srihari Cadambi, Matthew Moe, R. Reed Taylor

Computer, 2000

Interfacing Reconfigurable Logic with a CPU.

Kip Walker, Mihai Budiu, Seth Copen Goldstein

Proceedings of the 8th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2000), 2000

BitValue Inference: Detecting and Exploiting Narrow Bitwidth Computations.

Mihai Budiu, Majd F. Sakr, Kip Walker, Seth Copen Goldstein

Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000

1999

Bimodal Multicast.

Kenneth P. Birman, Mark Hayden, Öznur Özkasap, Zhen Xiao, Mihai Budiu, Yaron Minsky

ACM Trans. Comput. Syst., 1999

PipeRench: A Coprocessor for Streaming multimedia Acceleration.

Seth Copen Goldstein, Herman Schmit, Matthew Moe, Mihai Budiu, Srihari Cadambi, R. Reed Taylor, Ronald Laufer

Proceedings of the 26th Annual International Symposium on Computer Architecture, 1999

Fast Compilation for Pipelined Reconfigurable Fabrics.

Mihai Budiu, Seth Copen Goldstein

Proceedings of the 1999 ACM/SIGDA Seventh International Symposium on Field Programmable Gate Arrays, 1999