People
Faculty Information
|
University of Florida Computer and Information Science and Engineering Prabhat Mishra
Assistant ProfessorDirector of Embedded Systems Lab |
|
| Mailing Address: | P.O. Box 116120
Gainesville, FL 32611-6120 |
| Office Location: | E568 CSE |
| Office Phone: | (352) 392-2680 |
| Departmental FAX: | (352) 392-1220 |
| Email: | prabhat@cise.ufl.edu |
| Website: | http://www.cise.ufl.edu/~prabhat |
Interests
Design Automation for Embedded Systems, VLSI CAD, Hardware (SOC) Verification, Computer Architecture.
Education
- Ph.D., University of California, Irvine, 2004
- M.Tech., Indian Institute of Technology, Kharagpur, 1996
- B.E., Jadavpur University, India, 1994
Current and Recent Courses
| Semester | Number | Title |
|---|---|---|
| Fall 2007 | CDA 4102/5155 | Computer Architecture Principles |
| Spring 2007 | CIS 4930/6930 | Embedded Systems |
| Spring 2006 | CDA 4102/5155 | Computer Architecture Principles |
| Fall 2005 | CIS 6930 | Hardware Modeling and Verification |
| Spring 2005 | CDA 5155 | Computer Architecture Principles |
It is possible that changes in listings are pending. Contact the (CISE Student Services Center) at 352-392-1090 for the most up-to-date information.
Additional course information is available at:
- CISE Undergraduate Courses
- CISE Graduate Courses
- UF Undergraduate and Graduate Catalog Course Descriptions
Selected Publications
- Seok-Won Seong and Prabhat Mishra, An Efficient Code Compression Technique using Application-Aware Bitmask and Dictionary Selection Methods, To appear in Design Automation and Test in Europe (DATE), 2007.
- Prabhat Mishra, Aviral Shrivastava, and Nikil Dutt, Architecture Description Language (ADL)-driven Software Toolkit generation for Architectural Exploration of Programmable SOCs, ACM Transactions on Design Automation of Electronic Systems (TODAES), volume 11, no 3, pages 1-33, July 2006.
- Seok-Won Seong and Prabhat Mishra, A Bitmask-based Code Compression Technique for Embedded Systems, To appear in IEEE/ACM International Conference on Computer Aided Design (ICCAD), 2006.
- Heon-Mo Koo and Prabhat Mishra, Functional Test Generation using Property Decompositions for Validation of Pipelined Processors, Design Automation and Test in Europe (DATE), pages 1240-1245, Munich, Germany, March 6-10, 2006.
- Mehrdad Reshadi, Prabhat Mishra and Nikil Dutt, A Retargetable Framework for Instruction-Set Architecture Simulation, ACM Transactions on Embedded Computing Systems (TECS), volume 5, no 2, pages 431-452, May 2006.
- Prabhat Mishra, Mahesh Mamidipaka and Nikil Dutt, Processor-Memory Co-Exploration using an Architecture Description Language, ACM Transactions on Embedded Computing Systems (TECS), volume 3, number 1, pages 140-162, February 2004.
- Prabhat Mishra and Nikil Dutt, Modeling and Validation of Pipeline Specifications, ACM Transactions on Embedded Computing Systems (TECS), volume 3, number 1, pages 114-139, February 2004.
- Prabhat Mishra and Nikil Dutt, Graph-based Functional Test Program Generation for Pipelined Processors, Design Automation and Test in Europe (DATE), pages 182-187, Paris, France, February 16-20, 2004.
- Mehrdad Reshadi, Nikhil Bansal, Prabhat Mishra, and Nikil Dutt, An Efficient Retargetable Framework for Instruction-Set Simulation, International Symposium on Hardware/Software Codesign and System Synthesis (CODES+ISSS), pages 13-18, California, USA, October 1-3, 2003.
- Mehrdad Reshadi, Prabhat Mishra, and Nikil Dutt, Instruction Set Compiled Simulation: A Technique for Fast and Flexible Instruction Set Simulation, Design Automation Conference (DAC), pages 758-763, Anaheim, USA, June 2-6, 2003.
Professional Awards and Honors
- NSF CAREER Award (2008 - 2012).
- International Educatior of the Year Award (COE)
- EDAA Outstanding Dissertation Award
- CODES+ISSS Best Paper Award