home · mobile · calendar · colloquia · 2006-2007 · 

Colloquium - Gupta

Reliable and Optimized Embedded Systems
University of Arizona

Embedded systems are entrusted with critical functions on airplanes, spacecrafts, automobiles, health-care delivery systems, etc. Therefore they must achieve high reliability and must be highly optimized. In this talk I will present some recent results of my research that further these goals. High degree of automation in testing and debugging is essential for producing reliable software under time constraints. I will present an automated approach to fault location during debugging that is very effective in narrowing the fault to a small part of the code. Embedded systems must be highly optimized to deliver performance while making efficient use of power. I will present architectural features of an optimized processor that is also power efficient. I will also briefly describe my contributions in the area of scalable program analysis that have played a central role in achieving the presented results.

Rajiv Gupta is a Professor of Computer Science at The University of Arizona. His areas of research interest include Program Analysis; Compiler and Architectural Support for Optimization of Performance, Power and Memory in Embedded Systems; and Software Tools for Profiling, Slicing, and Debugging. Rajiv has published over 190 articles in refereed conferences and journals, he holds 8 US patents, and has supervised 15 PhD dissertations. Papers coauthored by him have been selected for: inclusion in 20 Years of PLDI (1979-1999), distinguished paper award in ICSE 2003, most original paper award in ICPP 2003, and outstanding paper award in ICECCS 1996.

Rajiv is a member of the Technical Advisory Group on Networking and Information Technology of the US President's Council of Advisors on Science and Technology. He received the National Science Foundation's Presidential Young Investigator Award in 1991 and served as an IEEE Distinguished Visitor for the period of 2000-2002. He served as the Program Chair for PLDI'03, HPCA'03, and LCTES'05 conferences and Co-General Chair for CGO'05 conference. He has also been appointed as the General Chair of PLDI'08 conference and Program Co-Chair of HiPEAC'08 conference. He has served in over 75 program committees including those of the PLDI, POPL, CGO, CC, ISCA, MICRO, HPCA, IEEE MICRO Top Picks, ISPASS, ICS, LCTES, CASES, HiPEAC, PACT, PEPM, PASTE, and ICCL. He serves as an Associate Editor for ACM Transactions on Architecture and Code Optimization, Parallel Computing journal, Journal of Embedded Computing, and Computer Languages, Systems and Structures journal. Rajiv is a member of the ACM and a senior member of IEEE.

Hosted by Amer Diwan.

Department of Computer Science
University of Colorado Boulder
Boulder, CO 80309-0430 USA
May 5, 2012 (14:13)