Dai Bui, EE Graduate Student
U.C. Berkeley
EECS Department
205 Cory Hall #1772
Berkeley CA 94720-1772
I am a graduate student at UC Berkeley in Electrical Engineering & Computer Science department. My interests are concurrent programming models, compilers, model based design, real-time scheduling and human computer interaction.
More concretely, my research spans in several directions such as parallel language design and verification, program synthesis and code generation with emphasis on streaming languages, energy optimization of parallel computing systems, design methods and verifications of real-time parallel/distributed embedded systems, QoS of computer networks and networks on-chip, interactive device design tools and programming models. My advisor is Prof. Edward A. Lee.
I graduated from Hanoi University of Technology in Electronics and Telecommunications and spent a few months as an internship student at University of Trento before coming to Berkeley.
I was also a visting researcher at THALES Research & Technology in France.
I spent the 2011 summer at Microsoft Research in Extreme Computing Group working on StreamIt code generation for the E2 dynamic core processor. Stay tuned for more updated information.
Research
Streaming language
Dynamic multi-dimensional synchronous dataflow model of computation for image processing/manipulation (in collaboration with THALES Research & Technology).
Circular dependency checking for distributed stream programs in the presence of both control (e.g. teleport messages) and data messages.
Statically scheduling of dynamic streaming applications.
Program transformation to optimize buffer size and data transfer between streaming processes.
StreamIt code generation and optimization for multicore machines (implemented a StreamIt backend for shared memory machines and E2).
Program synthesis, modular code generation for streaming applications.
JIT clustering and compiling streaming programs to meet demand and save power.
Workflow model of computation
Expressing task graphs like Cilk.
Composing webservices.
Event-driven programming model like SEDA to enable QoS scheduling under high workload.
Composable scheduling for parallel/distributed real-time systems
Composable and flexible real-time packet scheduling for networks on-chip.
Composable and hierarchical real-time event processing for real-time operating systems.
Interactive device programming model and infrastructure.
Berkeley class projects
Time Series Analysis and Prediction of Synchronous Dataflow Application Packet Timing Intervals on Multicore Machines.
Debugging Property Type Systems.
Probabilistic Model Checking of Packet Delay in Network on Chip.
On-time Network on Chip.
On-time Internet.
Parallelizing Boolean SAT-Solver on SMP machines.
Matrix tridiagonalization on NVIDIA GPU.
Evaluation of Parallelizing Hidden Markov Model on Smart Memories.
Naive Bayesian Spam Filter.
Publications
Dai Bui, ``Exploiting Networks on-Chip Route Diversity for Energy-Efficient DVFS-Aware Routing of Streaming Traffic'', (under preparation).
Dai Bui, Edward A. Lee, ``StreaMorph: A Case for Synthesizing Energy-Efficient Adaptive Programs Using High-Level Abstractions'', accepted at EMSOFT 2013.
Dai Bui, Hiren D. Patel, Edward A. Lee, ``Checking for Circular Dependencies in Streaming Programs'', (submitting).
Dai Bui, Edward A. Lee, Isaac Liu, Jan Reineke, Hiren D. Patel, Temporal Isolation on Multiprocessing Architectures. Design Automation Conference (DAC) 2011.(invited paper)
Stavros Tripakisi, Dai Bui, Marc Geilen, Bert Rodiers, Edward A. Lee, Compositionality in Synchronous Data Flow: Modular Code Generation from Hierarchical SDF Graphs. ACM Transactions on Embedded Computing Systems (to appear).
eecs.berkeley.edu