Mihai Budiu

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