default search action
Mihai Budiu
Person information
- affiliation: VMware Research, Palo Alto, CA, USA
- affiliation (former): Microsoft Research
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j11]Mihai Budiu, Tej Chajed, Frank McSherry, Leonid Ryzhyk, Val Tannen:
DBSP: Incremental Computation on Streams and Its Applications to Databases. SIGMOD Rec. 53(1): 87-95 (2024) - 2023
- [j10]Mihai Budiu, Tej Chajed, Frank McSherry, Leonid Ryzhyk, Val Tannen:
DBSP: Automatic Incremental View Maintenance for Rich Query Languages. Proc. VLDB Endow. 16(7): 1601-1614 (2023) - [j9]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): 2618-2631 (2023) - 2022
- [j8]Mihai Budiu, Pratiksha Thaker, Parikshit Gopalan, Udi Wieder, Matei Zaharia:
Overlook: Differentially Private Exploratory Visualization for Big Data. J. Priv. Confidentiality 12(1) (2022) - [c34]Debnil Sur, Ben Pfaff, Leonid Ryzhyk, Mihai Budiu:
Full-stack SDN. HotNets 2022: 130-137 - [i4]Mihai Budiu, Frank McSherry, Leonid Ryzhyk, Val Tannen:
DBSP: Automatic Incremental View Maintenance for Rich Query Languages. CoRR abs/2203.16684 (2022) - 2020
- [i3]Pratiksha Thaker, Mihai Budiu, Parikshit Gopalan, Udi Wieder, Matei Zaharia:
Overlook: Differentially Private Exploratory Visualization for Big Data. CoRR abs/2006.12018 (2020)
2010 – 2019
- 2019
- [j7]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): 1442-1457 (2019) - [c33]Leonid Ryzhyk, Mihai Budiu:
Differential Datalog. Datalog 2019: 56-67 - [i2]Mihai Budiu, Parikshit Gopalan, Lalith Suresh, Udi Wieder, Han Kruiger, Marcos K. Aguilera:
Hillview: A trillion-cell spreadsheet for big data. CoRR abs/1907.04827 (2019) - 2017
- [j6]Mihai Budiu, Chris Dodd:
The P416 Programming Language. ACM SIGOPS Oper. Syst. Rev. 51(1): 5-14 (2017) - 2016
- [c32]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: 31-43 - [c31]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: 15-28 - 2015
- [c30]Anirudh Sivaraman, Changhoon Kim, Ramkumar Krishnamoorthy, Advait Dixit, Mihai Budiu:
DC.p4: programming the forwarding plane of a data-center switch. SOSR 2015: 2:1-2:8 - [i1]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 abs/1512.05023 (2015) - 2013
- [c29]Mihai Budiu, Joel Galenson, Gordon D. Plotkin:
The Compiler Forest. ESOP 2013: 21-40 - 2012
- [j5]Ú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): 13:1-13:35 (2012) - [c28]Mihai Budiu:
Putting a "big-data" platform to good use: training kinect. HPDC 2012: 1-2 - 2011
- [c27]Vilas Jagannath, Zuoning Yin, Mihai Budiu:
Monitoring and Debugging DryadLINQ Applications with Daphne. IPDPS Workshops 2011: 1266-1273 - [c26]Mihai Budiu, Daniel Delling, Renato Fonseca F. Werneck:
DryadOpt: Branch-and-Bound on Distributed Data-Parallel Execution Engines. IPDPS 2011: 1278-1289 - [c25]Úlfar Erlingsson, Marcus Peinado, Simon Peter, Mihai Budiu:
Fay: extensible distributed tracing from kernels to clusters. SOSP 2011: 311-326 - 2010
- [j4]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): 47-51 (2010)
2000 – 2009
- 2009
- [j3]Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti:
Control-flow integrity principles, implementations, and applications. ACM Trans. Inf. Syst. Secur. 13(1): 4:1-4:40 (2009) - [c24]Lucian Popa, Mihai Budiu, Yuan Yu, Michael Isard:
DryadInc: Reusing Work in Large-scale Computations. HotCloud 2009 - [c23]Hari Kannan, Mihai Budiu, John D. Davis, Girish Venkataramani:
Tuning SoCs using the global dynamic critical path. SoCC 2009: 407-411 - 2008
- [c22]Gabriela F. Cretu-Ciocarlie, Mihai Budiu, Moisés Goldszmidt:
Hunting for Problems with Artemis. WASL 2008 - [c21]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: 1-14 - 2007
- [c20]Girish Venkataramani, Mihai Budiu, Tiberiu Chelcea, Seth Copen Goldstein:
Global Critical Path: A Tool for System-Level Timing Analysis. DAC 2007: 783-786 - [c19]Michael Isard, Mihai Budiu, Yuan Yu, Andrew Birrell, Dennis Fetterly:
Dryad: distributed data-parallel programs from sequential building blocks. EuroSys 2007: 59-72 - 2006
- [c18]Mihai Budiu, Úlfar Erlingsson, Martín Abadi:
Architectural support for software-based protection. ASID 2006: 42-51 - [c17]Mahim Mishra, Timothy J. Callahan, Tiberiu Chelcea, Girish Venkataramani, Seth Copen Goldstein, Mihai Budiu:
Tartan: evaluating spatial computation for whole program execution. ASPLOS 2006: 163-174 - [c16]Úlfar Erlingsson, Martín Abadi, Michael Vrable, Mihai Budiu, George C. Necula:
XFI: Software Guards for System Address Spaces. OSDI 2006: 75-88 - 2005
- [c15]Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti:
Control-flow integrity. CCS 2005: 340-353 - [c14]Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti:
A Theory of Secure Control Flow. ICFEM 2005: 111-124 - [c13]Mihai Budiu, Pedro V. Artigas, Seth Copen Goldstein:
Dataflow: A Complement to Superscalar. ISPASS 2005: 177-186 - 2004
- [c12]David Koes, Mihai Budiu, Girish Venkataramani:
Programmer specified pointer independence. Memory System Performance 2004: 51-59 - [c11]Mihai Budiu, Girish Venkataramani, Tiberiu Chelcea, Seth Copen Goldstein:
Spatial computation. ASPLOS 2004: 14-26 - 2003
- [c10]Seth Copen Goldstein, Mihai Budiu, Mahim Mishra, Girish Venkataramani:
Reconfigurable Computing and Electronic Nanotechnology. ASAP 2003: 132- - [c9]Mihai Budiu, Seth Copen Goldstein:
Optimizing Memory Accesses For Spatial Computation. CGO 2003: 216-227 - 2002
- [c8]Mihai Budiu, Mahim Mishra, Ashwin R. Bharambe, Seth Copen Goldstein:
Peer-to-Peer Hardware-Software Interfaces for Reconfigurable Fabrics. FCCM 2002: 57-66 - [c7]Mihai Budiu, Seth Copen Goldstein:
Compiling Application-Specific Hardware. FPL 2002: 853-863 - [c6]Girish Venkataramani, Suraj Sudhir, Mihai Budiu, Seth Copen Goldstein:
Factors Influencing the Performance of a CPU-RFU Hybrid Architecture. FPL 2002: 955-965 - 2001
- [c5]Seth Copen Goldstein, Mihai Budiu:
NanoFabrics: spatial computing using molecular electronics. ISCA 2001: 178-191 - 2000
- [j2]Seth Copen Goldstein, Herman Schmit, Mihai Budiu, Srihari Cadambi, Matthew Moe, R. Reed Taylor:
PipeRench: A Reconfigurable Architecture and Compiler. Computer 33(4): 70-77 (2000) - [c4]Mihai Budiu, Majd F. Sakr, Kip Walker, Seth Copen Goldstein:
BitValue Inference: Detecting and Exploiting Narrow Bitwidth Computations. Euro-Par 2000: 969-979 - [c3]Kip Walker, Mihai Budiu, Seth Copen Goldstein:
Interfacing Reconfigurable Logic with a CPU. FCCM 2000: 317-318
1990 – 1999
- 1999
- [j1]Kenneth P. Birman, Mark Hayden, Öznur Özkasap, Zhen Xiao, Mihai Budiu, Yaron Minsky:
Bimodal Multicast. ACM Trans. Comput. Syst. 17(2): 41-88 (1999) - [c2]Mihai Budiu, Seth Copen Goldstein:
Fast Compilation for Pipelined Reconfigurable Fabrics. FPGA 1999: 195-205 - [c1]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: 28-39
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-12 20:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint