Selected Publications

Conferences and Journals:

1. A Formal Approach for Optimizing Mapping in System Level Design
   Qi Zhu, Abhijit Davare and Alberto Sangiovanni-Vincentelli
   TECHCON 2008, Austin, TX, November, 2008


2. Definition of Task Allocation and Priority Assignment in Hard Real-Time Distributed Systems
   Wei Zheng, Qi Zhu, Marco Di Natale and Alberto Sangiovanni-Vincentelli
   28th IEEE Real-Time Systems Symposium (RTSS'07), Tuscon, Arizona, December, 2007


3. Period Optimization for Hard Real-time Distributed Automotive Systems
   Abhijit Davare, Qi Zhu, Marco Di Natale, Claudio Pinello, Sri Kanajan and Alberto Sangiovanni-Vincentelli
   44th Design Automation Conference (DAC'07), San Diego, California, June, 2007 (Best Paper Award)


4. A Next-Generation Framework for Platform-Based Design
   Abhijit Davare, Douglas Densmore, Trevor Meyerowitz, Alessandro Pinto, Alberto Sangiovanni-Vincentelli, Guang Yang, Haibo Zeng and Qi Zhu
   Design and Verification Conference (DVCon’07), San Jose, California, February, 2007 (Invited Paper) 


5. A Semantic-Driven Synthesis Flow for Platform-Based Design
   Qi Zhu, Abhijit Davare and Alberto L. Sangiovanni-Vincentelli
   Fourth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'06), Napa, California, July, 2006


6. SAT Sweeping with Local Observability Don’t Cares
   Qi Zhu, Nathan Kitchen, Andreas Kuehlmann and Alberto L. Sangiovanni-Vincentelli
   43rd Design Automation Conference (DAC'06), San Francisco, California, July, 2006 (Best Paper Award)


7. JPEG Encoding on the Intel MXP5800: A Platform-Based Design Case Study
   Abhijit Davare, Qi Zhu, John Moondanos and Alberto L. Sangiovanni-Vincentelli
   ESTIMedia 2005, New York Metro Area, September, 2005


8. Spanning Graph Based Non-Rectilinear Steiner Tree Algorithms
   Qi Zhu, Hai Zhou, Tong Jing, Xianlong Hong and Yang Yang
   IEEE Transactions on Computer-Aided Design, 24(7), pp. 1066-1075, July, 2005


9. Efficient Octilinear Steiner Tree Construction Based on Spanning Graphs
   Qi Zhu, Hai Zhou, Tong Jing, Xianlong Hong and Yang Yang
   9th Asia and South Pacific Design Automation Conference (ASP-DAC'04), Yokohama, Japan, January, 2004


10. Rectilinear Steiner Minimal Tree among Obstacles
    Yang Yang, Qi Zhu, Tong Jing, Xianlong Hong, and Yin Wang
    5th International Conference on ASIC (ASICON'03), Beijing, China, October, 2003


11. Buffer Replacement Algorithm for Merge-Based Multicast Video-on-Demand System
    Qi Zhu, Ling Shao, Rong Yan, Jian Zhang and Dong Xie
    10th International Conference on Telecommunications (ICT'03), Tahiti, French Polynesia, February, 2003

Tech Reports

1. Optimizing Mapping in System Level Design
   Qi Zhu
   Technical Report No. UCB/EECS-2008-126, September, 2008
2. Semantic Driven Synthesis for Heterogeneous Systems
   Qi Zhu
   Technical Report No. UCB/EECS-2007-43, April, 2007
3. Classification, Customization, and Characterization: Using MILP for Task Allocation and Scheduling
   Abhijit Davare, Jike Chong, Qi Zhu, Douglas Densmore and Alberto L. Sangiovanni-Vincentelli
   Technical Report No. UCB/EECS-2006-166, December, 2006
4. A Placement Technique for Multiple-Voltage Design
   Qi Zhu, Farhana Sheikh and Philip Chong
   Technical Report No. UCB/EECS-2006-133, October, 2006
5. On-Chip Networks Modeling and Simulation
   Qi Zhu, Zhengya Zhang, Alessandro Pinto and Alberto L. Sangiovanni-Vincentelli
   Technical Report No. UCB/EECS-2006-126, October, 2006
6. A Platform-Based Design Flow for Kahn Process Network
   Abhijit Davare, Qi Zhu and Alberto L. Sangiovanni-Vincentelli
   Technical Report No. UCB/EECS-2006-30, March, 2006