• Ensuring Reliability and Fault-Tolerance for the Cyber-Physical System Design

    Name: Volkan Gunes Date: May 27, 2015 Time: 11:00AM - 12:00PM Location: Donald Bren Hall 3013 Conference Room Committee: Tony Givargis (Chair), Alexandru Nicolau, Ian Harris, Steffen Peter Abstract: The cyber-physical system (CPS) is a term describing a broad range of complex, multi-disciplinary, physically-aware next generation engineered systems that integrate embedded computing technologies (cyber part) […]

  • Temperature-Aware Design for SoCs using Thermal Gradient Analysis

    Name: Jun Yong Shin Date: May 18th, 2015 Time: 2:00PM Location: EH2430, Harut colloquia room Committee Chair: Nikil Dutt Abstract: Over the last few decades, chip performance has increased steadily due to continuous and aggressive technology scaling. However, it leaves chips quite vulnerable to several issues at the same time; high power densities in some […]

  • Design Technologies for Embedded Multiprocessor Systems-on-Chip

    Speaker:  Prof. Rainer LeupersTitle: Design Technologies for Embedded Multiprocessor Systems-on-Chip Date: Thursday, April 9, 2015 Time: 11:00am Location: Harut Barsamian Colloquia Room (Engineering Hall 2430) Host: Mohammad Al Faruque Abstract: The trend towards Multicore and even Manycore architectures affects virtually all areas of computing today. Especially in the mobiles and consumer domains, an extremely high architectural efficiency (MIPS/Watt) is […]

  • Resilient On-Chip Memory Design in the Nano Era

    Final Defense - Abbas Banaiyanmofrad May 20, 2015 3pm - 5pm Donald Bren Hall 3011 Conference Room Committee: Nikil Dutt (Chair), Alex Nicolau, Alex Veidenbaum Title: Resilient On-Chip Memory Design in the Nano Era Abstract: Aggressive technology scaling in the nano-scale regime makes chips more susceptible to failures. This causes multiple reliability challenges in the […]

  • Self-stabilizing Java: Tool Support for Building Robust Software

    Name: Yong hun EomDate: April 15, 2015 Time: 10:00am Location: EH 2430 Committee Chair: Professor Demsky Committee members: Prof. Pai Chou and Prof. Rainer Doemer Title: Self-stabilizing Java: Tool Support for Building Robust Software Abstract: Developing robust software systems remains an open research problem. The current approaches for improving software reliability mainly focus on minimizing […]

  • Architectural Support for Security in Emerging Platforms

    Speaker: Nael Abu-GhazalehTitle: Architectural Support for Security in Emerging Platforms Date: Wednesday, March 4, 2015 Time: 10:00am Location: Harut Barsamian Colloquia Room (Engineering Hall 2430) Host: Fadi Kurdahi Abstract: Computer systems are facing a growing threat from increasingly motivated, organized and sophisticated attackers.  The problem is complicated by the rapid evolution that computing platforms are experiencing towards mobile and […]

  • Towards the Automatic Application and Verification of Countermeasures Against Physical Attacks

    Speaker: Francesco RegazzoniTitle: Towards the Automatic Application and Verification of Countermeasures Against Physical Attacks Date: Tuesday, March 3, 2015 Time: 2:00pm Location: Donald Bren Hall 3011 Host: Nikil Dutt & Rosario Cammarota Abstract: Physical attacks exploit the physical weaknesses of cryptographic devices to reveal the secret information stored on them. Countermeasures against these attacks are often considered only in […]

  • Inertial and Bio-potential-based Wearable Computers: Algorithms and Applications

    Title: Inertial and Bio-potential-based Wearable Computers: Algorithms and Applications Speaker:  Professor Roozbeh Jafari Date/Time:  Thursday, February 12, 2015, 11:00am to 12:00pm Location:  Donald Bren Hall 4011 Host: Eli Bozorgzadeh Abstract: Wearable computers bring to fruition many new opportunities to continuously monitor human body with sensors placed on body; whether they are intended to detect an early […]

  • Design Automation of Things: Power Consumption Characterization, Modeling and Estimation of Electric Vehicles

    Title: Design Automation of Things: Power Consumption Characterization, Modeling and Estimation of Electric Vehicles Speaker:  Professor Naehyuck Chang Date/Time:  Tuesday, February 10, 2015, 2:00pm to 3:00pm Location:  Harut Barsamian Colloquia Room (EH 2430) Host: Nikil Dutt Abstract: Rapid electric vehicle (EV) penetration gives a threatening challenge in electric energy generation. An 1,814 kg curb weight full electric […]

  • Connected Context Computing for Smart IoT

    Speaker: Jane Yung-jen HsuTitle: Connected Context Computing for Smart IoT Date: Tuesday, February 10, 2015 Time: 3:30pm Location: Harut Barsamian Colloquia Room (Engineering Hall 2430) Host: Professor Kwei-Jay Lin Abstract: We are witnessing the explosion of connected devices, or the so-called Internet of Things, in our everyday lives. This new trend has created new opportunities […]

  • Formal Analysis of Electronic System Level Models using Satisfiability Modulo Theories and Automata Checking

    Name:  Che-Wei Chang Date/Time:  Wednesday, January 28,2015, 9:00am Location:  EH 3404 Committee Chair: Rainer Doemer Committee Member: Daniel Gajski Committee Member: Pai Chou Abstract: For a system-level design which may be composed of multiple processing elements running         in parallel, various kinds of unwanted consequences may happen if the system         is constructed carelessly. For […]

  • Design, Analysis and Implementation of An Area-Efficient Beam-Steerable Sub-Terahertz Imaging Receiver Array Architecture

    Title:� Design, Analysis and Implementation of An Area-Efficient Beam-Steerable Sub-Terahertz Imaging Receiver Array ArchitectureSpeaker:� Francis Caster II Location/Time:� September 23, 2014, 3PM Committee Members: Payam Heydari Filippo Capolino H. Kumar Wickramasinghe Abstract: Multi-pixel passive imaging arrays are presently fabricated in expensive processes with low integration levels. Imaging arrays designed in inexpensive processes with higher levels […]