Mihai Budiu

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 13

Top Topics

Differentially Private

Top Venues

Proc. VLDB Endow.

J. Priv. Confidentiality

Publications

Mihai Budiu, Tej Chajed, Frank McSherry, Leonid Ryzhyk, Val Tannen
DBSP: Incremental Computation on Streams and Its Applications to Databases. SIGMOD Rec. 53 (1) (2024)
Kexin Rong, Mihai Budiu, Athinagoras Skiadopoulos, Lalith Suresh, Amy Tai
Scaling a Declarative Cluster Manager Architecture with Query Optimization Techniques. Proc. VLDB Endow. 16 (10) (2023)
Mihai Budiu, Tej Chajed, Frank McSherry, Leonid Ryzhyk, Val Tannen
DBSP: Automatic Incremental View Maintenance for Rich Query Languages. Proc. VLDB Endow. 16 (7) (2023)
Mihai Budiu, Pratiksha Thaker, Parikshit Gopalan, Udi Wieder, Matei Zaharia
Overlook: Differentially Private Exploratory Visualization for Big Data. J. Priv. Confidentiality 12 (1) (2022)
Mihai Budiu, Frank McSherry, Leonid Ryzhyk, Val Tannen
DBSP: Automatic Incremental View Maintenance for Rich Query Languages. CoRR (2022)
Debnil Sur, Ben Pfaff, Leonid Ryzhyk, Mihai Budiu
Full-stack SDN. HotNets (2022)
Pratiksha Thaker, Mihai Budiu, Parikshit Gopalan, Udi Wieder, Matei Zaharia
Overlook: Differentially Private Exploratory Visualization for Big Data. CoRR (2020)
Mihai Budiu, Parikshit Gopalan, Lalith Suresh, Udi Wieder, Han Kruiger, Marcos K. Aguilera
Hillview: A trillion-cell spreadsheet for big data. Proc. VLDB Endow. 12 (11) (2019)
Leonid Ryzhyk, Mihai Budiu
Differential Datalog. Datalog (2019)
Mihai Budiu, Parikshit Gopalan, Lalith Suresh, Udi Wieder, Han Kruiger, Marcos K. Aguilera
Hillview: A trillion-cell spreadsheet for big data. CoRR (2019)
Mihai Budiu, Chris Dodd
The P416 Programming Language. ACM SIGOPS Oper. Syst. Rev. 51 (1) (2017)
Anirudh Sivaraman, Alvin Cheung, Mihai Budiu, Changhoon Kim, Mohammad Alizadeh, Hari Balakrishnan, George Varghese, Nick McKeown, Steve Licking
Packet Transactions: High-Level Programming for Line-Rate Switches. SIGCOMM (2016)
Mihai Budiu, Rebecca Isaacs, Derek Murray, Gordon D. Plotkin, Paul Barham, Samer Al-Kiswany, Yazan Boshmaf, Qingzhou Luo, Alexandr Andoni
Interacting with Large Distributed Datasets Using Sketch. EGPGV@EuroVis (2016)
Anirudh Sivaraman, Changhoon Kim, Ramkumar Krishnamoorthy, Advait Dixit, Mihai Budiu
DC.p4: programming the forwarding plane of a data-center switch. SOSR (2015)
Anirudh Sivaraman, Mihai Budiu, Alvin Cheung, Changhoon Kim, Steve Licking, George Varghese, Hari Balakrishnan, Mohammad Alizadeh, Nick McKeown
Packet Transactions: A Programming Model for Data-Plane Algorithms at Hardware Speed. CoRR (2015)
Mihai Budiu, Joel Galenson, Gordon D. Plotkin
The Compiler Forest. ESOP (2013)
Úlfar Erlingsson, Marcus Peinado, Simon Peter, Mihai Budiu, Gloria Mainar-Ruiz
Fay: Extensible Distributed Tracing from Kernels to Clusters. ACM Trans. Comput. Syst. 30 (4) (2012)
Mihai Budiu
Putting a "big-data" platform to good use: training kinect. HPDC (2012)
Mihai Budiu, Daniel Delling, Renato Fonseca F. Werneck
DryadOpt: Branch-and-Bound on Distributed Data-Parallel Execution Engines. IPDPS (2011)
Úlfar Erlingsson, Marcus Peinado, Simon Peter, Mihai Budiu
Fay: extensible distributed tracing from kernels to clusters. SOSP (2011)
Vilas Jagannath, Zuoning Yin, Mihai Budiu
Monitoring and Debugging DryadLINQ Applications with Daphne. IPDPS Workshops (2011)
Moisés Goldszmidt, Mihai Budiu, Yue Zhang, Michael Pechuk
Toward automatic policy refinement in repair services for large distributed systems. ACM SIGOPS Oper. Syst. Rev. 44 (2) (2010)
Hari Kannan, Mihai Budiu, John D. Davis, Girish Venkataramani
Tuning SoCs using the global dynamic critical path. SoCC (2009)
Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti
Control-flow integrity principles, implementations, and applications. ACM Trans. Inf. Syst. Secur. 13 (1) (2009)
Lucian Popa, Mihai Budiu, Yuan Yu, Michael Isard
DryadInc: Reusing Work in Large-scale Computations. HotCloud (2009)
Gabriela F. Cretu-Ciocarlie, Mihai Budiu, Moisés Goldszmidt
Hunting for Problems with Artemis. WASL (2008)
Yuan Yu, Michael Isard, Dennis Fetterly, Mihai Budiu, Úlfar Erlingsson, Pradeep Kumar Gunda, Jon Currey
DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language. OSDI (2008)
Michael Isard, Mihai Budiu, Yuan Yu, Andrew Birrell, Dennis Fetterly
Dryad: distributed data-parallel programs from sequential building blocks. EuroSys (2007)
Girish Venkataramani, Mihai Budiu, Tiberiu Chelcea, Seth Copen Goldstein
Global Critical Path: A Tool for System-Level Timing Analysis. DAC (2007)
Mihai Budiu, Úlfar Erlingsson, Martín Abadi
Architectural support for software-based protection. ASID (2006)
Mahim Mishra, Timothy J. Callahan, Tiberiu Chelcea, Girish Venkataramani, Seth Copen Goldstein, Mihai Budiu
Tartan: evaluating spatial computation for whole program execution. ASPLOS (2006)
Úlfar Erlingsson, Martín Abadi, Michael Vrable, Mihai Budiu, George C. Necula
XFI: Software Guards for System Address Spaces. OSDI (2006)
Mihai Budiu, Pedro V. Artigas, Seth Copen Goldstein
Dataflow: A Complement to Superscalar. ISPASS (2005)
Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti
Control-flow integrity. CCS (2005)
Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti
A Theory of Secure Control Flow. ICFEM (2005)
Mihai Budiu, Girish Venkataramani, Tiberiu Chelcea, Seth Copen Goldstein
Spatial computation. ASPLOS (2004)
David Koes, Mihai Budiu, Girish Venkataramani
Programmer specified pointer independence. Memory System Performance (2004)
Seth Copen Goldstein, Mihai Budiu, Mahim Mishra, Girish Venkataramani
Reconfigurable Computing and Electronic Nanotechnology. ASAP (2003)
Mihai Budiu, Seth Copen Goldstein
Optimizing Memory Accesses For Spatial Computation. CGO (2003)
Girish Venkataramani, Suraj Sudhir, Mihai Budiu, Seth Copen Goldstein
Factors Influencing the Performance of a CPU-RFU Hybrid Architecture. FPL (2002)
Mihai Budiu, Mahim Mishra, Ashwin R. Bharambe, Seth Copen Goldstein
Peer-to-Peer Hardware-Software Interfaces for Reconfigurable Fabrics. FCCM (2002)
Mihai Budiu, Seth Copen Goldstein
Compiling Application-Specific Hardware. FPL (2002)
Seth Copen Goldstein, Mihai Budiu
NanoFabrics: spatial computing using molecular electronics. ISCA (2001)
Seth Copen Goldstein, Herman Schmit, Mihai Budiu, Srihari Cadambi, Matthew Moe, R. Reed Taylor
PipeRench: A Reconfigurable Architecture and Compiler. Computer 33 (4) (2000)
Mihai Budiu, Majd F. Sakr, Kip Walker, Seth Copen Goldstein
BitValue Inference: Detecting and Exploiting Narrow Bitwidth Computations. Euro-Par (2000)
Kip Walker, Mihai Budiu, Seth Copen Goldstein
Interfacing Reconfigurable Logic with a CPU. FCCM (2000)
Mihai Budiu, Seth Copen Goldstein
Fast Compilation for Pipelined Reconfigurable Fabrics. FPGA (1999)
Kenneth P. Birman, Mark Hayden, Öznur Özkasap, Zhen Xiao, Mihai Budiu, Yaron Minsky
Bimodal Multicast. ACM Trans. Comput. Syst. 17 (2) (1999)
Seth Copen Goldstein, Herman Schmit, Matthew Moe, Mihai Budiu, Srihari Cadambi, R. Reed Taylor, Ronald Laufer
PipeRench: A Coprocessor for Streaming multimedia Acceleration. ISCA (1999)