BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CECS - ECPv6.18.4//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:CECS
X-ORIGINAL-URL:https://www.cecs.uci.edu
X-WR-CALDESC:Events for CECS
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/Los_Angeles
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:20160313T100000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:20161106T090000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:20170312T100000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:20171105T090000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:20180311T100000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:20181104T090000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:20190310T100000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:20191103T090000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:20200308T100000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:20201101T090000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:20210314T100000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:20211107T090000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20170807T150000
DTEND;TZID=America/Los_Angeles:20170807T160000
DTSTAMP:20231011T190642Z
CREATED:20231011T190642Z
LAST-MODIFIED:20231011T190642Z
UID:14494-1502118000-1502121600@www.cecs.uci.edu
SUMMARY:Part I: “Development of Low-End Embedded Processors for Some SoC Applications”    Part II: “The Application-Specific Design for Signal Processing Applications”
DESCRIPTION:Title: Part I: “Development of Low-End Embedded Processors for Some SoC Applications”Part II: “The Application-Specific Design for Signal Processing Applications” \nSpeaker: Prof. Fitzgerald Sungkyung Park\, Pusan National University\, Busan\, South Korea\nProf. Chester Park\, Konkuk University\, Seoul\, Korea \nDate and Time: Monday\, August 7\, 2017\, 2:00 PM – 3:00 PM \nLocation: Donald Bren Hall 3011 \nAbstract: \nLow-end processor cores can be utilized in various SoC applications including IoT\, wireless communication\, and machine learning.  In this short talk\, we will introduce how we designed some low-end integer cores applied to some applications such as deeply embedded IoT and WLAN MAC Soc\, and also introduce the basic design of embedded cores for neural networks. \nPart II: The application-specific design for signal processing applications tends to necessitate multi-disciplinary knowledge on system\, algorithm\, architecture and circuit levels.  In this talk\, we will introduce our application-specific design approaches for various signal processing applications.  In addition\, we discuss several design challenges involved in system-on-a-chip (SoC) design for neural networks\, regarding how to customize the on-chip bus architecture. \nBiography: \nProf. Fitzgerald Sungkyung Park took his Ph.D. degree in electronics engineering from Seoul National University\, Korea\, in 2002. He worked for Samsung Electronics from 2002 to 2004\, joined Electronics and Telecommunications Research Institute (ETRI) from 2004 to 2006\, and worked for Ericsson\, Inc.\, USA\, from 2006 to 2009\, where he developed mixed-signal circuits for radio transceivers. In 2009\, he joined the faculty of Pusan National University\, where he has worked on low-end processors and SoC for IoT and other applications. \nProf. Chester Park received his Ph.D. degree in electrical engineering from the Korea Advanced Institute of Science and Technology (KAIST)\, Korea\, in 2006. After about two years with Samsung Electronics Inc.\, Giheung\, Korea\, he joined Ericsson Research\, USA\, where he developed various signal processing algorithms for wireless communications. Since 2013\, he has been with Konkuk University\, Seoul\, Korea\, working on hardware accelerator design for signal processing algorithms. \n 
URL:https://www.cecs.uci.edu/event/part-i-development-of-low-end-embedded-processors-for-some-soc-applications-part-ii-the-application-specific-design-for-signal-processing-applications/
CATEGORIES:Seminars at CECS
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20171003T150000
DTEND;TZID=America/Los_Angeles:20171003T160000
DTSTAMP:20231011T190642Z
CREATED:20231011T190642Z
LAST-MODIFIED:20231011T190642Z
UID:14495-1507042800-1507046400@www.cecs.uci.edu
SUMMARY:"Application Mapping Methodologies for NoC-Based MPSOCs"
DESCRIPTION:Title: “Application Mapping Methodologies for NoC-Based MPSOCs”\nSpeaker: Jürgen Teich\, Friedrich-Alexander Universität Erlangen-Nürnberg (FAU) \nDate and Time: Tuesday\, November 14\, 2017 at 3:00PM-4:00PM \nLocation: DBH 4011 \nAbstract:  \nIn this talk\, we give an overview of novel techniques for systematically mapping applications to NoC-based multi-core architectures\n(MPSoCs). Complex applications requiring heterogenous processing resources are often described by task graphs\nwith data dependencies. Here\, the nodes represent actors or tasks which are typically activated periodically based on the\navailability of data. One prominent domain of applications fitting this model is stream processing. Here\, it is often important to guarantee\neither bandwidth or execution time requirements. But more recently\, also security\, energy and reliability aspects impose\nconstraints on the mapping of the tasks as well as their communication to cores\, respectively routes in the underlying NoC. \nConcerning mapping methodologies\, we first present a class of algorithms that perform “Self-Embedding”. The idea is here that\na source node issues a request to find appropriate resources to embed its sucessor tasks\, and so on.\nThe next class of techniques introduced is called “Hybrid Application Mapping (HAM)”. Here\, a careful analysis and\ncharacterization of symmetric mappings by constellations of cores and routes is explored in a static (compile-time)\nphase called “Design Space Exploration (DSE)”. At run-time\, the operating system then only needs to search within such\npre-analysed constellations for finding a concrete mapping that will satisfy the given non-functional constraints by construction.\nWe present ideas of how timing constraints may be statically analysed in case of compositional MPSoC architectures such that\ndeadlines or throughput requirements will be automatically met for streaming applications.\nFinally\, we conclude with a discussion on resource constellations that may satisfy certain security requirements on an MPSoC. \nBiography: \nJürgen Teich is with Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)\, Germany\, where he is directing\nthe Chair for Hardware/Software Co-Design since 2003. He received the M.S. degree (Dipl.-Ing.; with honors)\nfrom the University of Kaiserslautern\, Germany in 1989 and the Ph.D. degree (Dr.-Ing.; summa cum laude)\nfrom the University of Saarland\, Saarbruecken\, Germany\, in 1993. In 1994\, he joined the DSP design group of Prof. E. A. Lee\nin the Department of Electrical Engineering and Computer Sciences (EECS)\, University of California at\nBerkeley (PostDoc). From 1995 to 1998\, he held a position at the Institute of Computer Engineering and\nCommunications Networks Laboratory (TIK)\, ETH Zurich\, Switzerland with his Habilitation\non the topic of `Synthesis and Optimization of Digital Hardware/Software Systems’ in 1996.\nFrom 1998 to 2002\, he was Full Professor in the Electrical Engineering and Information Technology\nDepartment\, University of Paderborn\, Germany. \nHis current research focuses on electronic design automation of embedded systems\nwith emphasis on hardware/software co-design\, reconfigurable computing and multi-core systems.\nProf. Teich has organized various ACM/IEEE conferences/symposia as Program Chair\nincluding CODES+ISSS´07\, FPL´08\, ASAP´10\, and DATE´2016.\nHe serves regularly as a TPC member of many program committees including DAC\, ASP-DAC\, ICCAD\, FPL\,\nASAP\, FPT\, FPGA\, RECONFIG\, ESTIMEDIA\, VLSI Design\, GECCO\, EMO\, RTSS\, etc.\nHe also serves in the editorial board of journals including ACM TODAES\, IEEE Design and Test and JES and has\nedited two text books on Hardware/Software Co-Design and recently a Handbook on this topic (Springer). \nProf. Teich is involved in many interdisciplinary projects on basic research as well as industrial projects.\nFrom 2003-2009\, he was an elected board member (Fachkollegiat) of the Deutsche Forschungsgemeinschaft (DFG)\nfor the area of Computer Architecture and Embedded Systems. He has been the initiator and\ncoordinator of the DFG priority programme 1148 on “Reconfigurable Computing”.\nSince 2010\, he has also been the principal coordinator of the Transregional\nResearch Center 89 “Invasive Computing” funded by the German Research Foundation (DFG).\nIn 2011\, he was elected member of the Academia Europaea. \n 
URL:https://www.cecs.uci.edu/event/application-mapping-methodologies-for-noc-based-mpsocs/
CATEGORIES:Seminars at CECS
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20171003T150000
DTEND;TZID=America/Los_Angeles:20171003T160000
DTSTAMP:20231011T190642Z
CREATED:20231011T190642Z
LAST-MODIFIED:20231011T190642Z
UID:14496-1507042800-1507046400@www.cecs.uci.edu
SUMMARY:“Detecting Hardware Trojans Hidden in Unspecified Design Functionality”
DESCRIPTION:Title: “Detecting Hardware Trojans Hidden in Unspecified Design Functionality”\nSpeaker: Dr. Nicole Fern\, University of California\, Santa Barbara \nDate and Time: Thursday\, November 16th\, 2017 at 2:00PM-3:00PM \nLocation: Donald Bren Hall 3011 \nAbstract: \nTraditional verification methods and metrics attempt to answer the question: does my design correctly perform the intended functionality?  This talk will look at hardware verification from a security perspective\, which demands the verification effort answer an additional question: does my design perform malicious functionality in addition to the intended functionality?  The talk will motivate through examples why Hardware Trojans modifying only unspecified design functionality are both powerful and stealthy.  RTL don’t cares and idle cycles in on-chip bus protocols are two examples of unspecified functionality vulnerable to malicious modification that this talk will explore in depth.  This talk will also detail how to formulate the Trojan detection problem as a satisfiability problem in order to leverage existing formal verification tools to highlight Trojans hidden in unspecified functionality. \nBiography:  \nNicole Fern received her undergraduate degree in Electrical Engineering from The Cooper Union for the Advancement of Science and Art and her PhD degree in the ECE department at UC Santa Barbara under the advisement of Professor Tim Cheng.  She is now a post-doc at UC Santa Barbara.  Her thesis work focused on developing techniques to verify the absence of Hardware Trojans in unspecified design functionality.  Her current research interests include investigating security issues in emerging memory technologies and at the hardware/software boundary. \n  \n 
URL:https://www.cecs.uci.edu/event/detecting-hardware-trojans-hidden-in-unspecified-design-functionality/
CATEGORIES:Seminars at CECS
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20171106T150000
DTEND;TZID=America/Los_Angeles:20171106T160000
DTSTAMP:20231011T190708Z
CREATED:20231011T190700Z
LAST-MODIFIED:20231011T190708Z
UID:14497-1509980400-1509984000@www.cecs.uci.edu
SUMMARY:“ThirdEye: Visual Assist for Grocery Shopping”
DESCRIPTION:Title: “ThirdEye: Visual Assist for Grocery Shopping”\nSpeaker: Prof. Vijaykrishnan Narayanan\, Pennsylvania State University\, USA \nDate and Time: Wednesday\, November 15\, 2017 at 11:00AM-12:00PM \nLocation: 2430 Engineering Hall \nAbstract: \nShopping is widely considered as a relaxing leisure activity. However\, grocery shopping can be a frustrating experience for those with visual impairment. While getting to a grocery shop itself is not as much of a challenge for them\, locating and picking the items in the grocery shelf becomes a task as challenging as picking a needle from the haystack. Imagine picking up five items for your dinner recipe from a typical grocery store in the US that carries around 35\,000 unique items and can have more than 30 aisles spanning 45\,000 square meters. This talk will showcase synergistic advances in algorithms\, architectures and interface design for assisting those with visual impairment to do shopping. We will specifically focus on new non-boolean hardware approaches to significantly impact the energy-efficiency of the overall system. \nBiography: \nVijay Narayanan is a Distinguished Professor of Computer Science and Engineering and Electrical Engineering at The Pennsylvania State University. He is the director of the NSF Expeditions-in-Computing Program on Visual Cortex on Silicon and a thrust leader for the DARPA-MARCO LEAST Center. He has published more than 400 papers and won several awards in recognition of his research in power-aware systems\, embedded systems and computer architecture. He is a fellow of IEEE and ACM. \n 
URL:https://www.cecs.uci.edu/event/thirdeye-visual-assist-for-grocery-shopping/
CATEGORIES:Seminars at CECS
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20171107T150000
DTEND;TZID=America/Los_Angeles:20171107T160000
DTSTAMP:20231011T190708Z
CREATED:20231011T190701Z
LAST-MODIFIED:20231011T190708Z
UID:14499-1510066800-1510070400@www.cecs.uci.edu
SUMMARY:"Network Resource Management in Cyber-Physical Systems"
DESCRIPTION:Title: “Network Resource Management in Cyber-Physical Systems”\nSpeaker: Dr. Xiabo Sharon Hu\, University of Notre Dame\, USA \nDate and Time: Friday\, November 17\, 2017 at 2:00PM-3:00PM \nLocation: ICS 432 \nAbstract: \nA cyber-physical system (CPS) is a system built from close integration of computational fabrics and physical components. Examples of such systems include avionic systems\, industrial control and civil infrastructure monitoring. In a CPS\, sensors and actuators are used to monitor and control the physical components while the computational fabrics determine the control values for the actuators based on the sensed data. All CPSs require timely delivery of sensed data from sensors to the computing fabrics and control signals from the computing fabrics to actuators. Managing the limited resources (e.g.\, computation power and communication bandwidth) to meet the timing requirements in a CPS is a challenging task. Even more challenging is that CPSs should degrade gracefully in the presence of various external disturbances such as failure in critical civil infrastructures and malicious attacks. \nIn this talk\, I first give a general introduction of WNCSs and the challenges that they present to network resource management. In particular\, I will discuss the complications due to external disturbances and the need for dynamic data-link layer scheduling. I then highlight our recent work that aims at tackling this challenge. Our work balances the scheduling effort between a gateway (or access points) and the rest of the nodes in a network. It paves the way towards decentralized network resource management in\norder to achieve scalability. Experimental implementation on a wireless test bed further validates the applicability of our proposed research. I will end the talk outlining our on-going effort in this exciting and growing area of research. \nXiaobo Sharon Hu is a professor in the department of Computer Science and Engineering at the University of Notre Dame\, Notre Dame\, Indiana\, USA. Her research interests include low-power system design\, real-time embedded systems\, circuit and architecture design with emerging technologies\, and hardware/software co-design. She has published more than 300 papers in these areas\, and received the Best Paper Award from the Design Automation Conference in 2001 and from the IEEE Symposium\non Nanoscale Architectures in 2009. She is the General Chair of Design Automation Conference in 2018. She is an Associate Editor for ACM Transactions on Cyber- Physical Systems\, and also served as Associate Editor for IEEE Transactions on VLSI\, etc. Sharon Hu is a Fellow of the IEEE. \nBiography: \nXiaobo Sharon Hu is a professor in the department of Computer Science and Engineering at the University of Notre Dame\, Notre Dame\, Indiana\, USA. She also holds a joint appointment in the department of Electrical Engineering at the same university. She received B.S. degree from Tianjin University\, China\, M.S. degree from Polytechnic University of New York\, and Ph.D. degree from Purdue University. She worked for General Motors Research Labs for almost 4 years before she started her academic career. Between 1993 and 1996\, she was an assitant professor in the department of Electrical and Computer Engineering at Western Michigan University\, Kalamazoo\, Michigan\, USA. \nHer research interests include analysis and design of low power\, real-time\, and embedded systems\, computing with emerging technologies\, and computational medicine. She has published more than 200 referred papers in these areas and received numerous research grants from both the U.S. government agencies and private industry. She received the CAREER award from U.S. National Science Foundation in 1997. She received the Best Paper Award from the ACM/IEEE Design Automation Conference in 2001 and from the IEEE Symposium on Nanoscale Architectures in 2009. Another paper of hers was named one of “The Most Influential Papers of 10 Years Design\, Automation\, and Test in Europe Conference (DATE)”. \nSharon is currently Associate Editor for ACM Transactions on Embedded Computing and Co-Chair of the Technical Program Committee of 2014 Design Automation Conference (DAC). She also served as Associate Editor for IEEE Transactions on VLSI and ACM Transactions on Design Automation of Electronic Systems. She has served as guest editors for several different journals/magazines such as the IEEE Computer Magazine and IEEE Transactions on Industrial Informatics. She was the Technical Program Co-Chair of the 9th International Symposium on Hardware/Software Codesign (CODES’2001) and the General Co-Chair of the same conference in 2002. She also served or is serving on the program committee of a number of conferences such as Design Automation Conference (DAC)\, International Conference on Computer-Aided Design (ICCAD)\, Design\, Automation and Test in Europe Conference )DATE)\, IEEE Real-Time Systems Symposium (RTSS)\, and IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)\, etc. \nAt the University of Notre Dame\, Sharon had been the Director of Graduate Studies for 10 years in the department of Computer Science and Engineering\, and was Senior Assistant Provost for ND International between 2012–2013. Currently\, she is the Associate Dean for Professional Development at the Graduate School. \n \n 
URL:https://www.cecs.uci.edu/event/network-resource-management-in-cyber-physical-systems/
CATEGORIES:Seminars at CECS
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20171128T150000
DTEND;TZID=America/Los_Angeles:20171128T160000
DTSTAMP:20231011T190718Z
CREATED:20231011T190718Z
LAST-MODIFIED:20231011T190718Z
UID:14510-1511881200-1511884800@www.cecs.uci.edu
SUMMARY:"I/O Optimization for Mobile Flash Storage"
DESCRIPTION:Title: “I/O Optimization for Mobile Flash Storage”\nSpeaker: Prof. Chun Jason Xue\, City University of Hong Kong \nDate and Time: Tuesday\, December 5\, 2017 at 10:00AM-11:00AM \nLocation: DBH 3011 \nAbstract: \nNAND flash memory is the primary choice of data storage for mobile devices due to its high performance\, shock resistance and low power consumption. However\, compared to high-end solid-state drives\, mobile flash storage does not have the luxury of sophisticated hardware and firmware features because of the resource-constraint limits. Instead\, mobile flash storage often equipped with scarce built-in RAM\, slow embedded processors and low-cost flash memories\, all of which make it a challenge to apply traditional techniques for I/O performance improvements. This talk presents a couple of work that we have done recently to optimize I/O for Mobile Flash Storage. First\, this talk will introduce a novel I/O scheduling approach to improve demand-based page-level mapping cache performance. This technique generates mapping cache friendly I/O workloads by strengthening I/O locality at host I/O scheduler. Both temporal locality and spatial localities are taken into consideration for I/O scheduling. Second\, this talk will present a lightweight data compression technique at the flash controller to reduce write pressure on mobile flash storage. It first characterizes data compressibility based on real smartphones\, and the analysis shows that write traffics bound to mobile storage volumes are highly compressible. This technique is the first to investigate firmware-based data compression for mobile flash storage without adding extra data compression hardware. Experimental results demonstrate the proposed techniques outperform state-of-the-art schemes in terms of I/O latency and flash memory lifespan. \nBiography: \nDr. Chun Jason Xue is an Associate Professor at City University of Hong Kong Computer Science Department. His research interests include non-volatile memories\, embedded and real time systems. He is currently Associate Editor for ACM Transaction on Embedded Computing Systems\, Associate Editor for ACM Transaction on CPS\, Associated Editor for ACM Transaction on Storage. He was the TPC co-chair for LCTES 2015\, TPC co-char for ISVLSI 2016\, and has served as TPC members in premiere conferences such as DAC\, DATE\, RTSS\, RTAS\, CODES\, EMSOFT and ISLPED.
URL:https://www.cecs.uci.edu/event/i-o-optimization-for-mobile-flash-storage/
CATEGORIES:Seminars at CECS
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20171221T150000
DTEND;TZID=America/Los_Angeles:20171221T160000
DTSTAMP:20231011T190718Z
CREATED:20231011T190718Z
LAST-MODIFIED:20231011T190718Z
UID:14513-1513868400-1513872000@www.cecs.uci.edu
SUMMARY:“Hierarchial Non-Intrusive In-Situ  Requirements Monitoring for Embedded Systems”
DESCRIPTION:Title:“Hierarchial Non-Intrusive In-Situ Requirements Monitoring for Embedded Systems”\nSpeaker: PhD Candidate Minjun Seo\, University of Arizona\, Tuscon \nDate and Time: Thursday\, December 21\, 2017 at 2:00PM-3:00PM \nLocation:  Engineering Hall 2430 \nAbstract: \nAccounting for all operating conditions of a system at the design stage is typically infeasible for complex systems. In-situ runtime monitoring and verification can enable a system to introspectively ensure the system is operating correctly in the presence of dynamic environment\, to rapidly detect failures\, and to provide detailed execution traces to find the root cause thereof. Two key challenges faced in using in-situ runtime verification for embedded systems include 1) efficiently defining and automatically constructing a requirements model for embedded system software and 2) minimizing the runtime overhead of observing and verifying the runtime execution adheres to the requirements model. In this talk\, we present a methodology to construct a hierarchical runtime monitoring graph from system requirements specified us- ing multiple UML sequence diagrams\, which are already commonly used in software development. We further present the design of on-chip hardware that nonintrusively monitors the system at runtime to ensure the execution matches the requirements model. We evaluate the proposed methodology using a case study of a fail-safe autonomous vehicle subsystem and analyze the relationship between event coverage\, detection rate\, and hardware requirements. \nBiography: \nMinjun Seo is a Ph.D. Candidate in the Department of Electrical and Computer Engineering at the University of Arizona.  His current research focuses on efficient specification and implementation of in-situ requirements monitoring of embedded systems. His research interests also include design tools and optimization methods supporting efficient verification hardware\, FPGAs\, and HW/SW co-design. Mr. Seo received a B.S. in Computer Science and Engineering in 2006 and a M.S. in Computer Science in 2008 from Kyungnam University.
URL:https://www.cecs.uci.edu/event/hierarchial-non-intrusive-in-situ-requirements-monitoring-for-embedded-systems/
CATEGORIES:Seminars at CECS
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20180118T150000
DTEND;TZID=America/Los_Angeles:20180118T160000
DTSTAMP:20231011T190718Z
CREATED:20231011T190718Z
LAST-MODIFIED:20231011T190718Z
UID:14511-1516287600-1516291200@www.cecs.uci.edu
SUMMARY:"Digital Early Warning Scoring – A Cognitive IoT based approach"
DESCRIPTION:Title: “Digital Early Warning Scoring – A Cognitive IoT based approach”\nSpeaker: Prof. Pasi Liljeberg\, University of Turku \nDate and Time: Thursday\, January 25\, 2018 at 2:00PM-3:00PM \nLocation: Engineering Hall 2430 \nAbstract: \nIn healthcare\, effective monitoring of patients plays a key role in detecting health deterioration early enough. Many signs of deterioration exist as early as 24 hours prior having a serious impact on the health of a person. As hospitalization times have to be minimized\, in-home or remote early warning systems can fill the gap by allowing in-home care while having the potentially problematic conditions and their signs under surveillance and control. \nEarly warning score (EWS) is an approach to detect the deterioration of a patient. It is based on a fact that there are several changes in the physiological parameters prior a clinical deterioration of a patient. Currently\, EWS procedure is mostly used for in-hospital clinical cases and is performed in a manual paper-based fashion. However\, it is possible to build an automated EWS health monitoring system to intelligently monitor vital signs and prevent health deterioration for in-home and hospitalized patients using Internet-of-Things technologies. \nBiography: \nPasi Liljeberg received the MSc and PhD degrees in electronics and information technology from the University of Turku\, Turku\, Finland\, in 1999 and 2005\, respectively. He received Adjunct professorship in embedded computing architectures in 2010. Currently he is working as full professor in University of  Turku in the field of Embedded Systems and Internet of Things. At the moment his research is focused on biomedical engineering and health technology. In that context he has established and leading the Internet-of-Things for Healthcare\, IoT4Health\, ( http://iot4health.utu.fi [1] ) research group. Liljeberg is the author of more than 270 peer-reviewed publications.
URL:https://www.cecs.uci.edu/event/digital-early-warning-scoring-a-cognitive-iot-based-approach/
CATEGORIES:Seminars at CECS
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20180206T150000
DTEND;TZID=America/Los_Angeles:20180206T160000
DTSTAMP:20231011T190718Z
CREATED:20231011T190718Z
LAST-MODIFIED:20231011T190718Z
UID:14512-1517929200-1517932800@www.cecs.uci.edu
SUMMARY:“Near-Threshold Computing: The bottom floor for Energy in IoT devices and its Vanishing Design Noise Margins”
DESCRIPTION:Title: “Near-Threshold Computing: The bottom floor for Energy in IoT devices and its Vanishing Design Noise Margins”\nSpeaker: Prof. Sergio Bampi\, Informatics Institute – Microelectronics Design – Federal University of Rio Grande do Sul\, Brazil \nDate and Time: Thursday\, February 15\, 2018 at 2:00PM-3:00PM \nLocation: ICS 432 \nAbstract: \nPromising opportunities for research on heterogeneous Internet-of- Things (IoT) devices lie at the energy-bottom floor\, where CMOS is still an unbeatable\, flexible technology to make the internet of “everything” possible and cost-effective. Near-threshold computing (NTC) in CMOS is a promising alternative for any application which can tolerate or benefit from very wide voltage-frequency scaling (VFS). The digital blocks of devices may operate at very different power-performance modes\, from sub-MHz to peaks of hundreds of MHz\, which requires CMOS design libraries targeted for NTC. The analog and RF content on IoT chips will be even more crucial\, from a power-savings standpoint. In IoT it is best to avoid using costlier CMOS\, and yet closer to an end\, two-dimensional transistor and IC scaling. The nano-power range which is achievable in deca-nanometer CMOS at near-VT requires very specific logic design techniques to be applied in digital CMOS. This talk addresses a method to design CMOS digital circuits for a wide dynamic range of VFS\, and targets near-threshold for best energy-efficiency. Our work on 65nm CMOS has demonstrated 63X to 77X energy/operation savings for applications that tolerate ultra-wide frequency scaling (from hundreds of KHz to 1GHz) in their system operating modes. The results in CMOS were obtained using the minimal cycle time achievable at each supply voltage\, down to very low 200 mV supplies. The strategy for transistor sizing in digital cells and static noise margin maximization will be addressed in particular. The seminar seeks to stimulate system-level and circuit-level design approaches for IoT nodes\, as the presenter is available to discuss digital\, mixed-signal\, and even RF aspects of CMOS systems-on- IoT-devices. \nBiography: \nSergio Bampi received the B.Sc in Electronics Engineering and the B.Sc. in Physics from the Federal Univ. of Rio Grande do Sul (UFRGS\, 1979)\, and the M.Sc. and Ph.D. degrees in EE from Stanford University (USA) in 1986. Full professor in the Digital Systems and Microelectronics design fields at the Informatics Institute\, member of the faculty since 1986. He is a member of the PPGC Computing Graduate Program since 1988\, and of the PGMICRO since its start in 2002. He served as Graduate Program Coordinator (2003-2007)\, head of research group and projects\, technical director of the Microelectronics Center CEITEC (2005-2008) and is the past President of the FAPERGS Research Funding Foundation and of the SBMICRO Society (2002-2006). He is a former member of HP Inc. technical staff\, and a visiting research faculty at Stanford University (1998-99). His research interests are in the area of IC design\, nano-CMOS devices\, mixed signal and RF CMOS design\, ultra-low power digital design\, dedicated complex algorithms\, architectures\, and ASICs for image and video processing. He has co-authored more than 360 papers in these fields and in MOS devices and EDA. He is a senior member of IEEE. He was Technical Program Chair of IEEE SBCCI Symposium (1997\, 2005)\, SBMICRO (1989\, 1995)\, IEEE LASCAS (2013)\, VARI 2016 Conferences and Workshops.
URL:https://www.cecs.uci.edu/event/near-threshold-computing-the-bottom-floor-for-energy-in-iot-devices-and-its-vanishing-design-noise-margins/
CATEGORIES:Seminars at CECS
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20180222T150000
DTEND;TZID=America/Los_Angeles:20180222T160000
DTSTAMP:20231011T190729Z
CREATED:20231011T190724Z
LAST-MODIFIED:20231011T190729Z
UID:14514-1519311600-1519315200@www.cecs.uci.edu
SUMMARY:”Cost and Power Efficient Deep Neural Network Acceleration”
DESCRIPTION:Title: “Cost and Power Efficient Deep Neural Network Acceleration”\nSpeaker: Associate Prof. Jongeun Lee\, School of ECE\, UNIST\, Ulsan\, Korea \nDate and Time: Monday\, February 26\, 2018 at 11:00am – 12:00pm \nLocation: EH 2430 \nAbstract: \nDeep neural networks prove to be a right direction after all\, but the enormous computational complexity calls for new research into novel ways of making efficient implementations of the connectionist model for small\, mobile devices. \nIn this talk I will discuss two directions\, one based on FPGA and the other based on a new computing paradigm called stochastic computing (SC).  FPGA is a very capable device housing thousands of processing elements in a single chip with low power consumption.  However\, FPGAs are very different from GPUs\, and making it easy to program FPGAs for deep neural networks is one of the key challenges facing FPGAs today.  I will present a design space exploration approach to help find the best design for a given FPGA and for a specific deep neural network model. \nStochastic computing (SC) was first introduced in the 60’s when computing devices were not very reliable.  Unlike conventional binary number representations\, stochastic computing uses a bitstream to represent a number\, and is therefore inherently more error-resilient. \nIn addition\, SC shares some good qualities with analog computing such as low power dissipation and low cost while strictly operating in the digital domain.  At the same time\, error fluctuation and conversion overhead are the key challenges facing SC today.  I will present a new SC architecture for deep neural networks that is much more accurate and efficient than previous SC solutions. \nBiography: \nJongeun Lee received his B.S. and M.S. in Electrical Engineering\, and his Ph.D. in electrical engineering and computer science all from Seoul National University\, Korea. In 2009 he joined UNIST (Ulsan National Institute of Science and Technology)\, Ulsan\, Korea\, where he is now an Associate Professor of Electrical and Computer Engineering. Prior to joining UNIST\, he worked as a postdoctoral research associate at Arizona State University\, and previously worked for Samsung Electronics. His current research interests include reconfigurable architectures\, compilers\, stochastic computing\, and deep neural networks.
URL:https://www.cecs.uci.edu/event/cost-and-power-efficient-deep-neural-network-acceleration/
CATEGORIES:Seminars at CECS
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20180402T150000
DTEND;TZID=America/Los_Angeles:20180402T160000
DTSTAMP:20231011T190729Z
CREATED:20231011T190725Z
LAST-MODIFIED:20231011T190729Z
UID:14515-1522681200-1522684800@www.cecs.uci.edu
SUMMARY:"ASSISTECH: Assistive Technology for the Visually Impaired"
DESCRIPTION:Title: “ASSISTECH: Assistive Technology for the Visually Impaired”\nSpeaker: Professor Mayandiambalam Balakrishnan\, CSE\, Indian Institute of Technology\, Delhi\, India \nDate and Time: Monday\, March 26 at 3:00PM-4:00PM \nLocation: Donald Bren Hall 4011 \nAbstract:  \nMore than ten years back we started on the ASSISTECH journey – a laboratory dedicated to finding\ntechnology solutions for the mobility and education of the visually impaired. It has been a very challenging but deeply fulfilling journey. Globally there are many technology solutions available for addressing the mobility as well as education needs of the visually impaired. Unfortunately they fail to address the challenges of mobility and education in India and other developing countries and even if they do they are completely unaffordable. In this talk I would tell the story of development and dissemination of devices and technologies like SmartCane\, OnBoard and Tactile Diagrams. These started in the ASSISTECH laboratory as inter-disciplinary projects and are today slowly finding their way to the users. \nBiography: \nM Balakrishnan has a B.Tech.(EEE) from BITS Pilani and PhD(EE) from IIT Delhi. He has been\ninvolved in teaching and research in EDA\, VLSI and Embedded systems for more than three decades. He has published over 120 papers in leading journals and conferences\, supervised 13 PhD students and over 180 B.Tech. and M.Tech. student projects. He has held visiting positions in Canada\, US and Germany. He has founded the ASSISTECH laboratory at IIT Delhi which is engaged in finding affordable technology based solutions for education and mobility of visually impaired. He is a recipient of two national awards for his work in the disability space. He has been HoD(CSE)\, Dean(Post Graduate Studies & Research)\, Deputy Director(Faculty) and is currently Deputy Director(Strategy & Planning) at IIT Delhi.
URL:https://www.cecs.uci.edu/event/assistech-assistive-technology-for-the-visually-impaired/
CATEGORIES:Seminars at CECS
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20180507T150000
DTEND;TZID=America/Los_Angeles:20180507T160000
DTSTAMP:20231011T190730Z
CREATED:20231011T190725Z
LAST-MODIFIED:20231011T190730Z
UID:14518-1525705200-1525708800@www.cecs.uci.edu
SUMMARY:"Protocol-fuzzing mobile networks with open-source tools to enhance the security of LTE and 5G mobile networks"
DESCRIPTION:Title: “Protocol-fuzzing mobile networks with open-source tools to enhance the security of LTE and 5G mobile networks”\nSpeaker: Roger Piqueras Jover\, Security Researcher at Bloomberg LP \nDate and Time: Tuesday\, May 15 at 10:00 a.m. \nLocation: Donald Bren Hall 3011 \nAbstract:  \nThe Long Term Evolution (LTE) is the latest mobile communications standard being deployed globally to provide connectivity to billions of mobile devices\, from personal cell-phones to all types of critical systems\, such as self-driving cars\, medical appliances and industrial IoT sensors. As such\, the security of this communication standard is of paramount importance. However\, there is concerning inherent protocol security threats in LTE due to the large amount of unauthenticated and unprotected messages exchanged between a base station and a mobile device prior to the authentication security handshake. \nOpen source implementations of the LTE standards rapidly matured within the last couple of years. This\, in combination with sophisticated yet low cost software radio hardware\, fueled a new wave of security research that identified numerous protocol security issues in LTE that could allow an adversary to deny the service of mobile endpoints and track the location of users. This talk will summarize an ongoing effort on protocol-fuzzing LTE mobile networks using open-software tools. The protocol exploits against mobile endpoints that were discovered two years ago will be discussed as an introduction to the new systematic approach to protocol-fuzz LTE networks\, introducing as well a series of new potential exploits in the uplink\, against the network infrastructure and mobile devices outside of the radio range of the adversary. \nFinally\, these LTE protocol exploits are analyzed in the context of the recently (December 2017) published first release of the 3GPP 5G specifications (3GPP Rel. 15) for the 5G Radio Access Network (5G New Radio) and Core Network (5G System). Unfortunately\, not only most protocol-aware radio jamming issues and LTE protocol exploits are still a potential threat\, but there is a large number of new pre-authentication messages and new fields to already existing messages that could open the doors to further 5G-specific exploits. \nBiography: \nRoger Piqueras Jover is a Wireless Security Research Scientist and Security Architect at the CTO Security Architecture team of Bloomberg LP\, where he leads projects on mobile/wireless security and is actively involved in hardware security\, network security\, machine learning and anomaly/fraud detection. Previous to Bloomberg\, he spent 5 years at the AT&T Security Research Center (AT&T SRC)\, where he led the research area on wireless and LTE mobile network security and received numerous awards for his work. \nRoger holds 17 issued patents on mobile and wireless security\, has co-authored manuscripts in numerous top communications and security conferences and is the Technical Co-Chair for the ongoing IEEE 5G Summit series. \nRoger holds a Dipl. Ing. from Politechnical University of Catalunya (Barcelona\, Spain)\, a Master’s in Electrical and Computer Engineering from University of California Irvine and a Master’s/MPhil and EBD (Everything But Dissertation) in Electrical Engineering from Columbia University. \nFor a much more detailed biography\, details on his wireless security work on LTE\, 5G\, LoRaWAN and other technologies\, one can refer to http://rogerpiquerasjover.net/
URL:https://www.cecs.uci.edu/event/protocol-fuzzing-mobile-networks-with-open-source-tools-to-enhance-the-security-of-lte-and-5g-mobile-networks/
CATEGORIES:Seminars at CECS
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20180516T150000
DTEND;TZID=America/Los_Angeles:20180516T160000
DTSTAMP:20231011T190732Z
CREATED:20231011T190732Z
LAST-MODIFIED:20231011T190732Z
UID:14524-1526482800-1526486400@www.cecs.uci.edu
SUMMARY:“Self-aware Computing: Combining Learning and Control to Manage Complex\, Dynamic Systems”
DESCRIPTION:<stThese self-aware systems are distinguished by awareness of user goals and operating environment; they continuously monitor themselves and adapt their behavior and foundational models to ensure the goals are met despite the challenges of complexity (diverse hardware resources to be managed) and dynamics (unpredictable changes in input workload or resource availability). In this talk\, I will describe how to build self-aware systems through a combination of control theoretic and machine learning techniques. I will then show how this combination enables new capabilities\, like increasing system robustness\, reducing application energy\, and meeting latency requirements even with no prior knowledge of the application. Finally\, these LTE protocol exploits are analyzed in the context of the recently (December 2017) published first release of the 3GPP 5G specifications (3GPP Rel. 15) for the 5G Radio Access Network (5G New Radio) and Core Network (5G System). Unfortunately\, not only most protocol-aware radio jamming issues and LTE protocol exploits are still a potential threat\, but there is a large number of new pre-authentication messages and new fields to already existing messages that could open the doors to further 5G-specific exploits. \nBiography: \nHenry Hoffmann is an Associate Professor in the Department of Computer Science at the University of Chicago. He was granted early tenure in 2018. At Chicago he leads the Self-aware computing group (or SEEC project) and conducts research on adaptive techniques for power\, energy\, accuracy\, and performance management in computing systems. He received the DOE Early Career Award in 2015. He has spent the last 17 years working on multicore architectures and system software in both academia and industry. He completed a PhD in Electrical Engineering and Computer Science at MIT where his research on self-aware computing was named one of the ten “World Changing Ideas”  by Scientific American in December 2011. He received his SM degree in Electrical Engineering and Computer Science from MIT in 2003. As a Masters student he worked on MIT’s Raw processor\, one of the first multicores. Along with other members of the Raw team\, he spent several years at Tilera Corporation\, a startup which commercialized the Raw architecture and created one of the first manycores (Tilera was sold for $130M in 2014). His implementation of the BDTI Communications Benchmark (OFDM) on Tilera’s 64- core TILE64 processor still has the highest certified performance of any programmable processor. In 1999\, he received his BS in Mathematical Sciences with highest honors and highest distinction from UNC Chapel Hill. \n 
URL:https://www.cecs.uci.edu/event/self-aware-computing-combining-learning-and-control-to-manage-complex-dynamic-systems/
CATEGORIES:Seminars at CECS
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20180521T150000
DTEND;TZID=America/Los_Angeles:20180521T160000
DTSTAMP:20231011T190732Z
CREATED:20231011T190732Z
LAST-MODIFIED:20231011T190732Z
UID:14527-1526914800-1526918400@www.cecs.uci.edu
SUMMARY:"One does not need a Village to make a Billion Gate ASIC\, only a family if Synchoros VLSI Design Style is adopted"
DESCRIPTION:Name: Ahmed Hemani\nDate and Time: June 6\, 2018 at 4:00 p.m. \nLocation: Engineering Hall 2430 \nCommittee: Nikil Dutt (Host) \nAbstract: \nNorman Jouppi while introducing the record long list of authors of Google’s TPU paper at ISCA 2017 remarked – one needs a village to make a chip. This talk proposes a VLSI design method that holds promise of getting the same work done with just a family. This new VLSI design method is based on two principles\, one is to raise the abstraction of physical design to micro-architecture level from the present day boolean level standard cells and the second is to adopt a synchoros VLSI design style that enables composition by abutment to eliminate logic and physical synthesis for the end user. \nThe proposed method raises the abstraction of physical design to micro-architecture level by adopting coarse grain reconfigurable logic for computation\, storage and interconnect. All variations in function\, capacity\, architecture and degree of parallelism are realised by clustering and configuration of the coarse grain reconfigurable cells that we call as SiLago blocks – Silicon Lego Blocks. The micro-architecture level SiLago blocks replace boolean level standard cells as the atomic building blocks of the VLSI systems. These CGRA fabrics are domain specific – inner modem\, outer modem\, scratchpad memory\, dynamic programming\, NOCs\, infrastructural elements like RISC system controller\, PLL/CGU\, RGU\, DRAM control etc. Each CGRA fabric is holistically customized for its domain\, not just for computation but also for control\, interconnect\, address generation\, local storage etc. \nThe CGRAs provide an architecturally regular basis for a synchoros VLSI design style. Synchoricity is derived from the Greek word “choros” for space. The way synchronous systems divide time uniformly with clock ticks and enables temporal composition\, synchoros systems divide space uniformly with grids and enables spatial composition. All SiLago blocks are synchoros or ratiochoros and bring out all their interconnects to periphery on grid at right place and on right metal layer to enable composition by abutment of valid neighbours. \nThe net result of adopting the above two principles is that as soon as a design is refined down to micro-architecture level\, the dimension and position of every single wire segment and transistor is known with certainty in the 100 million gate design. Unlike standard cells\, where the position of standard cells and wires connecting them is left to physical synthesis\, in synchoros design style these aspects are parametrically hardened. Global wires like power grid\, clocks\, resets\, NOCs are not synthesised\, they emerge as a result of the abutment process. This enables automation of system models down to GDSII to create custom\, spatially distributed functional hardware\, i.e.\, ASICs with just a family. \nA proof of concept synthesis flow exists for transforming applications\, hierarchy of algorithms\, to GDSII and a path for system level to GDSII is well defined and is being implemented. System-level implies interacting applications. \nBiography: \nAhmed Hemani is Professor in Electronic Systems Design at School of ICT\, KTH\, Kista\, Sweden. His current areas of research interests are massively parallel architectures and design methods and their applications to scientific computing and autonomous embedded systems inspired by brain. In past he has contributed to high-level synthesis – his doctoral thesis was the basis for the first high-level\nsynthesis product introduced by Cadence called visual architect. He has also pioneered the Networks-on-chip concept and has contributed to clocking and low power architectures and design methods. He has extensively worked in industry including National Semiconductors\, ABB\, Ericsson\, Philips Semiconductors\, Newlogic. He has also been part of three start-ups.
URL:https://www.cecs.uci.edu/event/one-does-not-need-a-village-to-make-a-billion-gate-asic-only-a-family-if-synchoros-vlsi-design-style-is-adopted/
CATEGORIES:Seminars at CECS
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20180530T150000
DTEND;TZID=America/Los_Angeles:20180530T160000
DTSTAMP:20231011T190732Z
CREATED:20231011T190732Z
LAST-MODIFIED:20231011T190732Z
UID:14528-1527692400-1527696000@www.cecs.uci.edu
SUMMARY:"Are there any questions?"
DESCRIPTION:Name: Yale Patt\nDate and Time: Thursday\, June 7 at 2:00 p.m. – 3:00 p.m. \nLocation: Engineering Hall 2430 \nAbstract:  \nToo many seminars can be characterized as 50 minutes of lecture\, followed by 5 minutes of questions. …and the first question makes it clear that nothing the speaker said in the 50 minutes was at all interesting to the audience. So\, we will take the opposite approach: 5 minutes of lecture\, followed by 50 minutes of questions. 5 minutes of lecture just to set the tone. Where the questions will take us is anybody’s guess. It will probably have something to do with computer architecture\, historical or current\, but it may venture off into something political …or at least politically correct. \nBiography: \nYale Patt is a Professor of Electrical and Computer Engineering and the Ernest\nCockrell\, Jr. Centennial Chair in Engineering at The University of Texas at Austin. He divides his\ntime between teaching the freshman and senior courses and his advanced graduate course in\nmicroarchitecture\, working with his PhD students\, and consulting in the microprocessor industry.\nHe earned obligatory degrees from reputable universities and has received more than his share of\nawards for his research and teaching. Patt has spent much of his career pursuring aggressive ILP\,\nout-of-order\, and speculative computer architectures\, such as HPSm. He has a Fellow of both the\nIEEE and ACM\, and a member of the National Academy of Engineering. He received his master’s\nand Ph.D. degrees in Electrical Engineering from Stanford University.
URL:https://www.cecs.uci.edu/event/are-there-any-questions/
CATEGORIES:Seminars at CECS
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20180712T150000
DTEND;TZID=America/Los_Angeles:20180712T160000
DTSTAMP:20231011T190742Z
CREATED:20231011T190742Z
LAST-MODIFIED:20231011T190742Z
UID:14532-1531407600-1531411200@www.cecs.uci.edu
SUMMARY:“Regional Coherence and Near Memory Acceleration in Distributed-Shared-Memory Architectures”
DESCRIPTION:Name: Andreas Herkersdorf\nDate and Time: Thursday\, July 26 at 11:00 a.m. – 12:00 p.m. \nLocation: Donald Bren Hall 3011 \nAbstract:  \nData access latencies and bandwidth bottlenecks frequently represent major limiting factors for the computational effectiveness of many-core processor architectures. This presentation introduces two\nconceptually complementary approaches to reduce the synchronization overheads for coherence\nmaintenance and to improve the locality between computing resources and data: Region-based cache\ncoherence and near memory acceleration. \nA 2D array of compute tiles with multiple\, heterogeneous RISC cores\, two levels of caches and a tile-local\nSRAM memory serves as reference processing platform. These compute tiles\, various I/O tiles and a globally shared DDR SDRAM memory tile are interconnected by a meshed Network on Chip (NoC) with support for multiple quality of service levels. Overall\, this processing architecture follows a distributed-\nshared-memory model. The limited degree of parallelism in many embedded computing applications\nalso bounds the number of compute tiles possibly sharing associated data structures. Therefore\, we favor region-based cache coherence (RBCC) among a limited number of compute tiles over global coherence approaches. Coherence regions are dynamically configured at runtime and comprise a number of arbitrary (adjacent or non-adjacent) compute tiles which are interconnected through regular NoC channels for the exchange of coherency protocol messages. We will show that region-based coherence allows maintaining substantially smaller coherence directories (e.g.\, by approx. 40% reduced in size for 16 tiles systems with up to 4 tiles per region) and shorter sharer checking latencies than global coherence. RBCC increases the locally usable intra-tile shared SRAM memories and may reduce execution times of sample video processing applications by 30% in comparison to message passing based parallelization. However\, the benefits of RBCC may strongly depend on the task and data placement among tiles in the coherency region which can affect performance by up to an order of magnitude. Near memory processing using near memory accelerators (NMA) positions processing resources for specific data manipulations as close as possible to the data memory for the benefit of shortening access latencies and increasing compute efficiency. \nBiography: \nAndreas Herkersdorf is a professor in the Department of Electrical and Computer Engineering and also\naffiliated to the Department of Informatics at Technical University of Munich (TUM). He received a Dr.\ndegree from ETH Zurich\, Switzerland\, in 1991. Between 1988 and 2003\, he has been in technical and\nmanagement positions with the IBM Research Laboratory in Rüschlikon\, Switzerland.\nSince 2003\, Dr. Herkersdorf leads the Chair of Integrated Systems at TUM. He is a senior member of the\nIEEE\, member of the DFG (German Research Foundation) Review Board and serves as editor for Springer and De Gruyter journals for design automation and information technology. His research interests include application-specific multi-processor architectures\, IP network processing\, Network on Chip and self-adaptive fault-tolerant computing.
URL:https://www.cecs.uci.edu/event/regional-coherence-and-near-memory-acceleration-in-distributed-shared-memory-architectures/
CATEGORIES:Seminars at CECS
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20180712T150000
DTEND;TZID=America/Los_Angeles:20180712T160000
DTSTAMP:20231011T190742Z
CREATED:20231011T190742Z
LAST-MODIFIED:20231011T190742Z
UID:14533-1531407600-1531411200@www.cecs.uci.edu
SUMMARY:"Accurate and Stable CPU Power Modelling and Run-Time System Management"
DESCRIPTION:Name: Matthew Walker\nDate and Time: Friday\, July 27 at 11:00 a.m. – 12:00 p.m. \nLocation: Donald Bren Hall 4011 \nAbstract:  \nModern processors must provide an ever-increasing level of performance and are therefore including\nhigher numbers of Heterogeneous Multi-Processing (HMP) units. Intelligent run-time control of performance and power consumption is required to extend battery-life in mobile systems\, reduce energy and cooling costs in data centres\, and increase peak performance while respecting thermal and power constraints. Accurate online power estimation is essential in guiding run-time power management mechanisms and energy-aware scheduling decisions.\n\nIn this talk Matt will share his experience with CPU modelling and run-time management\, and present three open-source software tools for developing power models on mobile devices (http://www.powmon.ecs.soton.ac.uk)\, calibrating performance and energy models in the gem5 simulation framework (http://gemstone.ecs.soton.ac.uk)\, and developing run-time management algorithms (https://github.com/PRiME-project/PRiME-Framework/).\nBiography: \nMatthew J. Walker received his M.Eng. degree in Electronic Engineering (Hons) from the University of Southampton\, UK\, in 2013. In 2016 he worked on implementing non-volatile memory technologies in mobile systems at Intel Labs\, CA\, and has also completed two internships at Arm\, UK\, in 2015 and 2018. He is currently in his fourth year of his PhD at the University of Southampton researching CPU modelling techniques and run-time management approaches.
URL:https://www.cecs.uci.edu/event/accurate-and-stable-cpu-power-modelling-and-run-time-system-management/
CATEGORIES:Seminars at CECS
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20180712T150000
DTEND;TZID=America/Los_Angeles:20180712T160000
DTSTAMP:20231011T190805Z
CREATED:20231011T190805Z
LAST-MODIFIED:20231011T190805Z
UID:14534-1531407600-1531411200@www.cecs.uci.edu
SUMMARY:"Sensors" Innovation at Intersections"
DESCRIPTION:Name: Khaled Salama\nDate and Time: Friday\, August 3 at 10:00 a.m. – 11:00 a.m. \nLocation: Engineering Hall 2430 \nAbstract:  \n\nEnergy efficiency is a key requirement for wireless sensor nodes\, biomedical implants\, and wearable devices. The energy consumption of the sensor node needs to be minimized to avoid battery replacement\, or even better\, to enable the device to survive on energy harvested from the ambient. Capacitive sensors do not consume static power; thus\, they are attractive from an energy efficiency perspective. In addition\, they can be employed in a wide range of sensing applications\, such as pressure\, humidity\, biological\, and chemical sensing. We will provide a summary of various sensors developed under the KAUST sensors initiative a consortium of 9 universities (KAUST\, MIT\, UCLA\, GATECH\, MIT\, UCLA\, Brown University\, Georgia Tech\, TU Delft\, Swansea University\, the University of Regensburg and the Australian Institute of Marine Science (AIMS). \n\nBiography: \nKhaled N. Salama received the B.S. degree from the Department Electronics and Communications\, Cairo University\, Cairo\, Egypt\, in 1997\, and the M.S. and Ph.D. degrees from the Department of Electrical Engineering\, Stanford University\, Stanford\, CA\, USA\, in 2000 and 2005\, respectively. He was an Assistant Professor at Rensselaer Polytechnic Institute\, NY\, USA\, between 2005 and 2009. He joined King Abdullah University of Science and Technology (KAUST) in January 2009\, where he is now a professor\, and was the founding Program Chair until August 2011. His work on CMOS sensors for molecular detection has been funded by the National Institutes of Health (NIH) and the Defense Advanced Research Projects Agency (DARPA)\, awarded the Stanford–Berkeley Innovators Challenge Award in biological sciences and was acquired by Lumina Inc. He is the author of 200 papers and 14 US patents on low-power mixed-signal circuits for intelligent fully integrated sensors and neuromorphic circuits using memristor devices.
URL:https://www.cecs.uci.edu/event/sensors-innovation-at-intersections/
CATEGORIES:Seminars at CECS
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20180712T150000
DTEND;TZID=America/Los_Angeles:20180712T160000
DTSTAMP:20231011T190813Z
CREATED:20231011T190808Z
LAST-MODIFIED:20231011T190813Z
UID:14539-1531407600-1531411200@www.cecs.uci.edu
SUMMARY:"Sensors" Innovation at Intersections"
DESCRIPTION:Name: Khaled Salama\nDate and Time: Friday\, August 3 at 10:00 a.m. – 11:00 a.m. \nLocation: Engineering Hall 2430 \nAbstract:  \n\nEnergy efficiency is a key requirement for wireless sensor nodes\, biomedical implants\, and wearable devices. The energy consumption of the sensor node needs to be minimized to avoid battery replacement\, or even better\, to enable the device to survive on energy harvested from the ambient. Capacitive sensors do not consume static power; thus\, they are attractive from an energy efficiency perspective. In addition\, they can be employed in a wide range of sensing applications\, such as pressure\, humidity\, biological\, and chemical sensing. We will provide a summary of various sensors developed under the KAUST sensors initiative a consortium of 9 universities (KAUST\, MIT\, UCLA\, GATECH\, MIT\, UCLA\, Brown University\, Georgia Tech\, TU Delft\, Swansea University\, the University of Regensburg and the Australian Institute of Marine Science (AIMS). \n\nBiography: \nKhaled N. Salama received the B.S. degree from the Department Electronics and Communications\, Cairo University\, Cairo\, Egypt\, in 1997\, and the M.S. and Ph.D. degrees from the Department of Electrical Engineering\, Stanford University\, Stanford\, CA\, USA\, in 2000 and 2005\, respectively. He was an Assistant Professor at Rensselaer Polytechnic Institute\, NY\, USA\, between 2005 and 2009. He joined King Abdullah University of Science and Technology (KAUST) in January 2009\, where he is now a professor\, and was the founding Program Chair until August 2011. His work on CMOS sensors for molecular detection has been funded by the National Institutes of Health (NIH) and the Defense Advanced Research Projects Agency (DARPA)\, awarded the Stanford–Berkeley Innovators Challenge Award in biological sciences and was acquired by Lumina Inc. He is the author of 200 papers and 14 US patents on low-power mixed-signal circuits for intelligent fully integrated sensors and neuromorphic circuits using memristor devices.
URL:https://www.cecs.uci.edu/event/sensors-innovation-at-intersections-2/
CATEGORIES:Seminars at CECS
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20180719T150000
DTEND;TZID=America/Los_Angeles:20180719T160000
DTSTAMP:20231011T190813Z
CREATED:20231011T190806Z
LAST-MODIFIED:20231011T190813Z
UID:14535-1532012400-1532016000@www.cecs.uci.edu
SUMMARY:"Efficient Processing when Intelligence Moves to the Edge"
DESCRIPTION:Name: Tinoosh Mohsenin\nDate and Time: Friday\, July 20 at 10:00 a.m. – 11:00 a.m. \nLocation: Donald Bren Hall 4011 \nAbstract:  \n\nContinuous collection and processing of vast amounts of data is becoming more common with the advancement of wearable sensors\, Internet of Things (IoT) devices and cyber physical systems. Despite their potential significant impact\, intelligent mobile technologies face a number of challenges for use in daily life. These devices usually stream raw data to cloud computers for computation which leads to massive storage\, significant transmission power consumption\, real time constraints and privacy/security issues\, thus processing at the edge of sensors is becoming increasingly preferred. Processing these sensor-level data requires a variety of signal processing and machine learning tasks that come at the cost of high computational complexity and memory storage which is overwhelming for these light weight and battery constrained platforms. \nIn this talk I will present research solutions that enable efficient processing of machine learning tasks to improve energy efficiency and throughout without sacrificing application accuracy for wide deployment of embedded/edge processing. First\, I present DeepMatter a scalable framework across algorithms\, architectures and hardware to design an embedded Deep Neural Net (DNN) accelerator. DeepMatter takes any number of raw sensor data for variety of applications and classifies the events within 92% accuracy and consumes very low power. Next I present two programmable domain-specific manycore accelerators namely PENC and BinMACthat achieve energy and speed efficiencies comparable to application-specific custom hardware through data-level and task level parallelization as well as customization of instruction-sets per-core and near-memory computing. I will show the efficiency of DeepMatter as well as PENC and BinMAC solutions for several application domains including multi-physiological processing for seizure and stress monitoring\, tongue drive assistive device\, air quality monitoring andvision-based situational awareness. The solutions derived at the intersection of algorithms\, architectures and implementation allow designers to rapidly prototype and deploy the next generation of sophisticated and intelligent systems for efficient edge processing in extreme environments. \n\nBiography: \nTinoosh Mohsenin is an Assistant Professor in the Department of Computer Science and Electrical Engineering at University of Maryland Baltimore County\, where she directs Energy Efficient High Performance Computing (EEHPC) Lab. She received her PhD from University of California\, Davis in 2010 and M.S. degree from Rice University in 2004\, both in Electrical and Computer Engineering. Prof. Mohsenin’s research focus is on designing highly accurate and energy efficient embedded processors for machine learning\, signal processing and knowledge extraction techniques for autonomous systems\, wearable smart health monitoring\, and embedded big data computing. She has over 80 peer-reviewed journal and conference publications and is the recipient of NSF CAREER award in 2017\, the best paper award in the GLSVLSI conference in 2016\, and the best paper honorable award in ISCAS 2017 for developing domain-specific accelerators for biomedical\, deep learning and cognitive computing. She currently leads 8 research projects in her lab which are all funded by National Science Foundation (NSF)\, Army Research Lab (ARL)\, Northrop Grumman\, Boeing\, Nvidia and Xilinx. She has served as associate editor in IEEE Transactions on Circuits and Systems-I (TCAS-I) and IEEE Transactions on Biomedical Circuits and Systems (TBioCAS). She was the local arrangement co-chair for the 50th IEEE\nInternational Symposium on Circuits and Systems (ISCAS) in Baltimore. She has also served as technical program committee member of the IEEE International Solid-State Circuits Conference Student Research (ISSCC-SRP)\, IEEE Biomedical Circuits and Systems (BioCAS)\, IEEE International Symposium on Circuits and Systems (ISCAS)\, ACM Great Lakes Symposium on VLSI (GLSVLSI and IEEE International Symposium on Quality Electronic Design (ISQED) conferences. She also serves as secretary of IEEE P1890 on Error Correction Coding for Non-Volatile Memories.
URL:https://www.cecs.uci.edu/event/efficient-processing-when-intelligence-moves-to-the-edge/
CATEGORIES:Seminars at CECS
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20180904T150000
DTEND;TZID=America/Los_Angeles:20180904T160000
DTSTAMP:20231011T190813Z
CREATED:20231011T190807Z
LAST-MODIFIED:20231011T190813Z
UID:14537-1536073200-1536076800@www.cecs.uci.edu
SUMMARY:“SAT-based Design Debugging and Its Application to Undergraduate Circuit Experiment”
DESCRIPTION:Name: Takeshi Matsumoto\nDate and Time: Friday\, September 7 at 11:00 a.m. – 12:00 p.m. \nLocation: Donald Bren Hall 3011 \nAbstract: \nAs VLSI designs are becoming larger and more complicated\, designers spend a larger amount of\ntime for verification and debug to detect bugs in designs and avoid them. Moreover\, some bugs may not be detected in the verification processes before fabrication and are only recognized by running an actual chip after fabrication. In post-silicon debugging\, it is not practical that a large part of the circuit is changed for fixing bugs\, since such large change requires designers to do time-consuming physical and timing design processes again. Usually\, more than a half of the verification time is spent for correcting the buggy portions of the designs rather than identifying them\, since debugging is much less automated than checking correctness of the designs. Thus\, automating and shortening the debugging processes is now one of the most important issues in VLSI designs. In this talk\, SAT-based design debugging methods in gate-level and behavior-level are introduced. In the methods\, debugging consists of two processes: locating the suspicious portions in the designs and correcting them through replacements with appropriate sets of gates. In the locating process\, designers try to find locations of bugs (or candidate locations) which should be the root cause of the bugs. Then\, they modify logic functions at those possibly buggy locations in the correcting process. Both processes can be solved by repeatedly solving Boolean satisfiability (SAT) problems by introducing programmable logic elements\, such as MUX (multiplexer) and/or LUT (look-up table)\, to the original designs under debugging. This talk gives the details of the theoretical aspect of those methods and experimental results on several circuits. In the last part of the talk\, a trial activity to apply the debugging methods to an undergraduate experiment\, where a simple 4-bit CPU is made on breadboard through six 90-minute classes\, is introduced.\nThis activity can be seen as an application example of state-of-the-art research results to education field. \nBiography: \nTakeshi Matsumoto is an Associate Professor in the Department of Electronics and Information\nEngineering at National Institute of Technology\, Ishikawa College\, Japan. He directs Integrated System Lab in the department. He received his M.S. and Ph.D. degrees in Electronic Engineering from the University of Tokyo\, Japan\, in 2005 and 2008\, respectively. The topic of his Ph.D. thesis is equivalence checking of system level design. From 2008 to 2013\, he has been a Research Associate of VLSI Design and Education Center\, the University of Tokyo. His research interests include formal verification of system-level designs\, automated debugging and debugging support for pre- and post-silicon circuits\, education and teaching materials on electric and electronic circuits. He received IPSJ Yamashita SIG Research Award in 2012 from Information Processing Society of Japan.
URL:https://www.cecs.uci.edu/event/sat-based-design-debugging-and-its-application-to-undergraduate-circuit-experiment/
CATEGORIES:Seminars at CECS
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20181010T150000
DTEND;TZID=America/Los_Angeles:20181010T160000
DTSTAMP:20231011T190814Z
CREATED:20231011T190807Z
LAST-MODIFIED:20231011T190814Z
UID:14538-1539183600-1539187200@www.cecs.uci.edu
SUMMARY:"Security of Additive Manufacturing: New Frontiers"
DESCRIPTION:Name: Mark Yampolskiy\nDate and Time: Friday\, October 19 at 10:00 a.m. – 11:00 a.m. \nLocation: Engineering Hall 2430 \nAbstract: Additive Manufacturing (AM)\, a.k.a. 3D printing\, is a rapidly growing multibillion-dollar industry that is increasingly used to manufacture functional parts\, including components of safety critical systems in the aerospace\, automotive\, and other industries. However\, reliance on the IT infrastructure and the high degree of computerization of the manufacturing machines make AM susceptible to a variety of cyber and cyber-physical attacks. \nAM Security is a fairly new and highly inter-disciplinary field of research that aims to address the novel threats emerging for this manufacturing technology. This talk will first provide an introduction to the field. Focusing on AM sabotage\, one of the identified threat categories\, Dr. Mark Yampolskiy will then introduce emerging frontiers: sabotage of composite material parts\, AM forensics\, and detection of sabotage attacks via side-channel measurements. The talk will conclude with a summary of identified research gaps in the current state of the art. \nBiography: \nMark Yampolskiy received Ph.D. in Computer Science from Ludwig-Maximilians University of\nMunich\, Germany in 2009. He currently holds an Assistant Professor position at the University\nof South Alabama. Since his post-doctoral appointment at Vanderbilt University (2012-2013)\,\nMark Yampolskiy is performing research on Security of Cyber-Physical Systems (CPS). Mark\nYampolskiy was among the researchers who pioneered Security of Additive Manufacturing (AM\,\na.k.a. 3D Printing) around 2014. AM Security remains his major research focus\, and he is\ncurrently one of the leading experts in this field. His work is predominantly associated with two\nthreat categories\, sabotage of 3D-printed functional parts and theft of intellectual property. He\nhas numerous seminal publications in the field\, ranging from attacks on/with AM up to novel\napproaches for the detection of such attacks. \nAM Security is a highly interdisciplinary field of research. In order to address this challenge\,\nMark Yampolskiy actively collaborates with experts from different disciplines. His major\ncollaboration partners are affiliated with Lawrence Livermore National Laboratory (LLNL)\, Ben\nGurion University of the Negev (BGU) in Israel\, Singapore University of Technology and Design\n(SUTD)\, Auburn University (AU)\, and University of Tennessee at Chattanooga (UTC).
URL:https://www.cecs.uci.edu/event/security-of-additive-manufacturing-new-frontiers/
CATEGORIES:Seminars at CECS
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20181030T150000
DTEND;TZID=America/Los_Angeles:20181030T160000
DTSTAMP:20231011T190813Z
CREATED:20231011T190807Z
LAST-MODIFIED:20231011T190813Z
UID:14536-1540911600-1540915200@www.cecs.uci.edu
SUMMARY:"Plasmonic Wave Computing: Concepts and Potential"
DESCRIPTION:Name: Francky Catthoor\nDate and Time: Wednesday\, October 31 at 11:00 a.m. – 12:00 p.m. \nLocation: Engineering Hall 2430 \nAbstract:  \n\nSeveral beyond CMOS computing directions are being explored given that the CMOS scaling roadmap faces increasing challenges. Any alternative is however facing strong competition from the extremely optimized CMOS roadmap. One of the potential directions which can complement CMOS in an area where it is less good is highly parallel “wave-type” computing. In this talk I will discuss some of the promising concepts and their potential but also challenges. \n\nBiography: \nFrancky Catthoor received a Ph.D. in EE from the Katholieke Univ. Leuven\, Belgium in 1987. Between 1987 and 2000\, he has headed several research domains in the area of synthesis techniques and architectural methodologies. Since 2000 he is strongly involved in other activities at IMEC including deep submicron technology aspects\, IoT and biomedical platforms\, and smart photovoltaic modules\, all at IMEC Leuven\, Belgium. Currently he is an IMEC fellow. He is also part-time full professor at the EE department of the KULeuven. He has been associate editor for several IEEE and ACM journals and was elected IEEE fellow in 2005.
URL:https://www.cecs.uci.edu/event/plasmonic-wave-computing-concepts-and-potential/
CATEGORIES:Seminars at CECS
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20181101T150000
DTEND;TZID=America/Los_Angeles:20181101T160000
DTSTAMP:20231011T190843Z
CREATED:20231011T190827Z
LAST-MODIFIED:20231011T190843Z
UID:14545-1541084400-1541088000@www.cecs.uci.edu
SUMMARY:Accelerated Computing for Edge-Centric IoT
DESCRIPTION:Name: Tulika Mitra\nDate and Time: Monday\, November 5 at 2:00 p.m. – 3:00 p.m. \nLocation: Donald Bren Hall 3011 \nAbstract: Internet of Things (IoT)\, an ever-growing network of billions of devices embedded within physical objects\, is revolutionizing our daily life. The IoT devices in the edge are primarily responsible only for collecting and communicating the data to the cloud\, where the computationally intensive data analytics takes place. However\, the data privacy and the connectivity issues—in conjunction with the fast real-time response requirement of certain IoT applications—call for smart edge devices that should be able to support privacy-preserving\, time-sensitive computation for machine intelligence on-site. In this talk\, I will present the computation challenges in edge-centric IoT and introduce hardware-software co-designed approaches to overcome these challenges. I will discuss the  design of configurable\, customizable accelerators that are completely software programmable and can be universally deployed across diverse domains to speed up computation and realize the edge analytics vision at ultra-low power budget. I will also demonstrate the potential to achieve low-power\, real-time intelligence on the IoT edge devices via collaborating computing that engages all the on-chip heterogeneous compute elements (CPU\, GPU\, reconfigurable computing\, and accelerators) in a synergistic fashion though sophisticated compile- and runtime strategies. \nBiography: Tulika Mitra is a Professor of Computer Science at School of Computing\, National University of Singapore (NUS). Her research interests span various aspects of the design automation of embedded real-time systems with particular emphasis on low-power computing\, heterogeneous computing\, application-specific processors\, and software timing analysis/optimizations. She has authored over hundred and fifty scientific publications in leading international journals and conferences and holds multiple US patents. Her research has been recognized by best paper award and nominations in leading conferences. She is the recipient of the Indian Institute of Science Outstanding Woman Researcher Award and is an IEEE Distinguished Visitor.  Prof. Mitra currently serves as Senior Associate Editor of the ACM Transactions on Embedded Computing Systems\, Deputy Editor-in-Chief of IEEE Embedded Systems Letters\, and Associate Editor of IEEE Design & Test Magazine. She has served as Associate Editor of IEEE TCAD and organizing/program committee member of almost all major conferences in embedded systems\, real-time systems\, and electronic design automation including program chair of EMOSFT and CASES.
URL:https://www.cecs.uci.edu/event/accelerated-computing-for-edge-centric-iot/
CATEGORIES:Seminars at CECS
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20190129T150000
DTEND;TZID=America/Los_Angeles:20190129T160000
DTSTAMP:20231011T190843Z
CREATED:20231011T190827Z
LAST-MODIFIED:20231011T190843Z
UID:14547-1548774000-1548777600@www.cecs.uci.edu
SUMMARY: Partial logic synthesis and its application to automatic generation of parallel/distributed algorithms
DESCRIPTION:Name: Masahiro Fujita\nDate and Time: Thursday\, January 14 at 3:00 p.m. \nLocation:Engineering Hall 3206 \nAbstract: In this talk first we review the partial logic synthesis problem and its associated\nalgorithm based on QBF (Quantified Boolean Formula) formulation. Partial logic synthesis\nis to generate appropriate sub-circuits for the missing portions in the target design so that\nthe entire circuit becomes equivalent to the specification which is separately given. Then\nwe show the problem to automatically generate distributed/parallel computing for the\ngiven specification can be defined as partial logic synthesis problem. Taking matrix-vector\nproduct computation as an example\, we show how theoretical optimum distributed/parallel\ncomputation can be automatically generated targeting many cores/chips which are\nconnected through a ring connection. \nBiography: Masahiro Fujita receivedh is Ph.D. in Information Engineering from the\nUniversity of Tokyo in 1985 on his work on model checking of hardware designs by using\nlogic programming languages. In 1985\, he joined Fujitsu as a researcher and started to\nwork on hardware automatic synthesis as well as formal verification methods and tools\,\nincluding enhancements of BDD/SAT-based techniques. Since March 2000\, he has been a\nprofessor at VLSI Design and Education Center of the University of Tokyo. He has been\ninvolved in a Japanese governmental research project for dependable system designs and\nhas developed a formal verifier for C programs that could be used for both hardware and\nembedded software designs. He has authored and co-authored 10 books\, and has more\nthan 200 publications.
URL:https://www.cecs.uci.edu/event/partial-logic-synthesis-and-its-application-to-automatic-generation-of-parallel-distributed-algorithms/
CATEGORIES:Seminars at CECS
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20190307T150000
DTEND;TZID=America/Los_Angeles:20190307T160000
DTSTAMP:20231011T190843Z
CREATED:20231011T190828Z
LAST-MODIFIED:20231011T190843Z
UID:14549-1551970800-1551974400@www.cecs.uci.edu
SUMMARY:"Poly-Logarithmic Side Channel Rank Estimation via Exponential Sampling"
DESCRIPTION:Name: Liron David\nDate and Time: Tuesday\, March 12 at 10:00 a.m. \nLocation: Engineering Hall 5204 \nAbstract: \nRank estimation is an important tool for a side-channel evaluations laboratories. It allows estimating the remaining security after an attack has been performed\, quantified as the time complexity and the memory consumption required to brute force the key given the leakages as probability distributions over d subkeys (usually key bytes). These estimations are particularly useful where the key is not reachable with exhaustive search. \nWe propose ESrank\, the first rank estimation algorithm that enjoys provable poly-logarithmic time- and space-complexity\, which also achieves excellent practical performance. Our main idea is to use exponential sampling to drastically reduce the algorithm’s complexity. Importantly\, ESrank is simple to build from scratch\, and requires no algorithmic tools beyond a sorting function. After rigorously bounding the accuracy\, time and space complexities\, we evaluated the performance of ESrank on a real SCA data corpus\, and compared it to the currently-best histogram-based algorithm. We show that ESrank gives excellent rank estimation (with roughly a 1-bit margin between lower and upper bounds)\, with a performance that is on-par with the Histogram algorithm: a run-time of under 1 second on a standard laptop using 6.5 MB RAM. \nBiography: \nLiron David is a Ph.D. candidate in Electrical Engineering at Tel-Aviv University under the supervision of Prof. Avishai Wool. She received her B.Sc. degree in Computer Science and Electrical and Electronics Engineering from Tel-Aviv University and her M.Sc. degree in Electrical Engineering from Tel-Aviv University. Liron has won the Weinstein award for excellence in studies in 2017 \,the Weinstein best paper prize in 2018 and the Tel-Aviv University excellence in teaching in 2018.
URL:https://www.cecs.uci.edu/event/poly-logarithmic-side-channel-rank-estimation-via-exponential-sampling/
CATEGORIES:Seminars at CECS
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20190501T150000
DTEND;TZID=America/Los_Angeles:20190501T160000
DTSTAMP:20231011T190852Z
CREATED:20231011T190846Z
LAST-MODIFIED:20231011T190852Z
UID:14555-1556722800-1556726400@www.cecs.uci.edu
SUMMARY:"Safety Verification and Training for Learning-enabled Cyber-Physical Systems"
DESCRIPTION:Name: Jyotirmoy Vinay Deshmukh\nDate and Time: Tuesday\, May 14\, 2019 at 2:00 p.m. \nLocation: Donald Bren Hall 4011 \nAbstract: \nWith the increasing popularity of deep learning\, there have been several efforts to use neural network based controllers in cyber-physical system applications. However\, neural networks are equally well-known for their lack of interpretability\, explainability and verifiability. This is especially an issue for safety-critical cyber-physical systems such as unmanned aerial vehicles or autonomous ground vehicles. How can we verify that a neural network based controller will always keep the system safe? We look at a new verification approach based on automatically synthesizing a barrier certificate for the system to prove that: starting from a given set of initial conditions\, the system behavior can never reach an unsafe state. Barrier Certificates are essentially a generalization of inductive invariants for continuous dynamical systems\, and we will show how we can use nonlinear SMT solvers to establish the barrier certificate conditions. A more intriguing challenge is whether we can actually train neural networks to obey safety constraints. We will look at a new way of reward shaping in reinforcement learning that could help achieve this goal. \nBiography: \nJyotirmoy V. Deshmukh (Jyo) is an assistant professor in the Department of Computer Science in the Viterbi School of Engineering at the University of Southern California in Los Angeles\, USA. Before joining USC\, Jyo worked as a Principal Research Engineer in Toyota Motors North America R&D. He got his Ph.D. degree from the University of Texas at Austin and was a post-doctoral fellow at the University of Pennsylvania. Jyo’s research interest is in the broad area of formal methods. Currently\, Jyo is interested in using logic-based methods for machine learning\, and in techniques for the analysis\, design\, verification and synthesis of cyber-physical systems\, especially those that use AI-based perception\, control and planning algorithms.
URL:https://www.cecs.uci.edu/event/safety-verification-and-training-for-learning-enabled-cyber-physical-systems/
CATEGORIES:Seminars at CECS
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20190703T150000
DTEND;TZID=America/Los_Angeles:20190703T160000
DTSTAMP:20231011T190852Z
CREATED:20231011T190846Z
LAST-MODIFIED:20231011T190852Z
UID:14557-1562166000-1562169600@www.cecs.uci.edu
SUMMARY:"Scalable Set-based Analysis for Verification of Cyber-Physical Systems”
DESCRIPTION:Name: Stanley Bak\nDate and Time: Tuesday\, July 9\, 2019 \nLocation: Engineering Hall 2430 \nAbstract: \nCyber-physical systems combine complex physics with complex software. Although these systems offer significant potential in fields such as smart grid design\, autonomous robotics and medical systems\, verification of CPS designs remains challenging. Model-based design permits simulations to be used to explore potential system behaviors\, but individual simulations do not provide full coverage of what the system can do. In particular\, simulations cannot guarantee the absence of unsafe behaviors\, which is unsettling as many CPS are safety-critical systems. \nThe goal of set-based analysis methods is to explore a system’s behaviors using sets of states\, rather than individual states. The usual downside of this approach is that set-based analysis methods are limited in scalability\, working only for very small models. This talk describes our recent process on improving the scalability of set-based reachability computation for LTI hybrid automaton models\, some of which can apply to very large systems (up to one billion continuous state variables!). Lastly\, we’ll discuss the significant overlap of techniques used for our scalable reachability analysis methods with set-based input/output analysis of neural networks. \nBiography: \nStanley Bak is a research computer scientist investigating the formal verification of cyber-physical systems. He strives to create scalable and automatic formal analysis methods for complex models with both ordinary differential equations and discrete behaviors. The ultimate goal is to make formal approaches applicable\, which demands developing new theory\, programming efficient tools and building experimental systems. \nStanley Bak received a Bachelor’s degree in Computer Science from Rensselaer Polytechnic Institute (RPI) in 2007 (summa cum laude)\, a Master’s degree in Computer Science from the University of Illinois at Urbana-Champaign (UIUC) in 2009\, and a PhD from UIUC in 2013. He received the Founders Award of Excellence for his undergraduate research at RPI in 2004\, the Debra and Ira Cohen Graduate Fellowship from UIUC twice\, in 2008 and 2009\, and was awarded the Science\, Mathematics and Research for Transformation (SMART) Scholarship from 2009 to 2013. Stanley worked as a research computer scientist for the Air Force Research Laboratory (AFRL) from 2013 to 2018\, both in the Information Directorate and the Aerospace Systems Directorate. Currently\, he helps run Safe Sky Analytics\, a small research consulting company working with the FAA and the Air Force.
URL:https://www.cecs.uci.edu/event/scalable-set-based-analysis-for-verification-of-cyber-physical-systems/
CATEGORIES:Seminars at CECS
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20191016T150000
DTEND;TZID=America/Los_Angeles:20191016T160000
DTSTAMP:20231011T190904Z
CREATED:20231011T190900Z
LAST-MODIFIED:20231011T190904Z
UID:14568-1571238000-1571241600@www.cecs.uci.edu
SUMMARY:"Energy-Aware Data Center Management: Monitoring Trends and Insights via Machine Learning"
DESCRIPTION:Name: Hayk Shoukourian\nDate and Time: Friday\, November 15\, 2019 \nLocation: Donald Bren Hall 3011 \nAbstract: \nThe increasing demand for online resources has led to an immense energy burden on contemporary\nHigh Performance Computing (HPC) and cloud data centers. Even though each new generation of HPC systems delivers a higher power efficiency\, the growth in system density and overall performance has continuously contributed to an increase in energy consumption. The mentioned energy consumption not only converts to high operational bills and affects the environment\, but also influences the stability of the underlying power grid. In fact\, all these have already led some governmental organizations to reconsider data center deployment procedures with an increased demand for the renewable energy utilization and waste heat recovery. \nThe talk will give an overview of Leibniz Supercomputing Centre (LRZ)\, introduce its flagship HPC systems\, discuss the high-temperature direct liquid cooling solution and the waste heat reuse. These will be followed by the recent R&D results that rely on ML technologies for forecasting various energy/power consumption relevant Key Performance Indicators at a data center building infrastructure level. The talk will highlight the applications of the developed model outlining its use in proactive management of modern data centers for tackling the above-mentioned challenges. \nBiography: \nDr. Hayk Shoukourian received his M.Sc. and PhD in Computer Science from Technical University of Munich in 2012 and 2015 correspondingly. He joined Leibniz Supercomputing Centre (LRZ) in 2012 and his R&D activities mainly involve efficient energy/power consumption management of the HPC data centers. In his current role\, Dr. Shoukourian is responsible for adaptive modelling of interoperability between the target HPC systems and the building infrastructure of the supercomputing site. He is also a team leader for PRACE (Partnership for Advanced Computing in Europe) work package on “HPC Commissioning and Prototyping”. Since August 2018 Dr. Shoukourian is a lecturer in Computer Science at Ludwig-Maximilians-Universität München (LMU).
URL:https://www.cecs.uci.edu/event/energy-aware-data-center-management-monitoring-trends-and-insights-via-machine-learning/
CATEGORIES:Seminars at CECS
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20200227T100000
DTEND;TZID=America/Los_Angeles:20200227T110000
DTSTAMP:20231011T190957Z
CREATED:20231011T190957Z
LAST-MODIFIED:20231011T190957Z
UID:14576-1582797600-1582801200@www.cecs.uci.edu
SUMMARY:"Answering Multi-Dimensional Analytical Queries under Local Differential Privacy"
DESCRIPTION:Name: Tianhao Wang\nDate and Time: Thursday\, February 27\, 2020 \nLocation: Engineering Hall 2430 \nAbstract: \nWhen collecting information\, local differential privacy (LDP) relieves users’ privacy concerns\, as it adds noise to users’ private information.  The LDP technique has been deployed by Google\, Apple\, and Microsoft for data collection and monitoring.  In this talk\, I will share the key algorithms we developed in a Chinese e-commercial company Alibaba.  We study the problem of answering multi-dimensional queries under LDP.  Several algorithms are proposed to handle queries with different types of predicates and aggregation functions.  We built a prototype that enables different departments to collect\, share\, and analyze data within the company. \nBiography: \nTianhao Wang is a Ph.D. candidate in the department of computer science\, Purdue University\, advised by Prof. Ninghui Li. He received his B.Eng. degree from software school\, Fudan University in 2015. His research interests include differential privacy and local differential privacy. He is a recipient of the Bilsland Dissertation Fellowship and the Emil Stefanov Memorial Fellowship. He was a member of DPSyn\, which won the second-place award in the NIST PSCR Differential Privacy Synthetic Data Challenge.
URL:https://www.cecs.uci.edu/event/answering-multi-dimensional-analytical-queries-under-local-differential-privacy/
CATEGORIES:Seminars at CECS
END:VEVENT
END:VCALENDAR