Dai Bui, EE Graduate Student
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.
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).