Events for the 1st week of March
-
Center for Cyber-Physical Systems and Internet of Things and Ming Hsieh Institute Seminar
Mon, Mar 02, 2020 @ 12:00 PM - 01:00 PM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
Speaker: Dr. Tuba Yavuz, Electrical and Computer Engineering Department at the University of Florida
Talk Title: Improving IoT Reliability and Security using Automated Model Extraction and Guided Analysis
Series: Center for Cyber-Physical Systems and Internet of Things
Abstract: The number of Internet of Things (IoT) devices has reached 26 billion in 2019. A typical IoT ecosystem consists of a variety of components including the cloud, mobile devices, edge devices, and constrained devices. Although each component in IoT comes with unique capabilities and challenges, the system software that runs on each type of IoT component forms an important part of the IoT attack surface. Therefore, the ability to perform precise and scalable analysis of system software and to detect deep system vulnerabilities throughout the IoT ecosystem are critical for IoT reliability and security. System software includes the firmware, operating system, device drivers, and libraries. Despite recent advances in program analysis techniques and decision procedures, the complexity of system software creates challenges in terms of scalability and precision.
In this talk, I will introduce Model Extraction and Model Guided Analysis as an approach for effective and scalable analysis of system software. The idea is to use extracted models as oracles in a client analysis, where the client analysis can become a model extraction step for another client analysis, and so on. I will present our experience with Model Extraction and Model Guided analysis in the context of USB and Bluetooth firmware and protocol stacks, Linux device drivers, cryptographic libraries, and SGX enclaves. I will specifically discuss the motivations, challenges, and our achievements using the tools and methodologies we have developed including FirmUSB, ProXray, MOXCAFE, and PROMPT. I will conclude with a vision and a roadmap for Model Extraction and Model Guided Analysis to support the reliable and secure development and evolution of IoT frameworks.
Biography: Dr. Tuba Yavuz is currently an Assistant Professor at the Electrical and Computer Engineering Department of University of Florida (UF). She is also affiliated with the Florida Institute of Cyber Security Research (FICS) andthe Nelms Institute for the Connected World at UF. She received her Ph.D. in computer science from the Computer Science Department of University of California, Santa Barbara in 2004.Her research areas include formal methods, software engineering, and system security. She has recently developed tools and techniques for detecting vulnerabilities and malicious behavior in system software.
Host: Chao Wang, wang626@usc.edu
Location: Hughes Aircraft Electrical Engineering Center (EEB) - 248
Audiences: Everyone Is Invited
Contact: Talyia White
-
ECE Seminar: A Cross-Stack, Network-Centric Architectural Design for Next Generation Datacenter
Tue, Mar 03, 2020 @ 10:30 AM - 11:30 AM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
Speaker: Mohammad Alian, PhD Candidate, ECE Dept, UIUC
Talk Title: A Cross-Stack, Network-Centric Architectural Design for Next Generation Datacenter
Abstract: In the light of technology scaling and data explosion trends, the long latency and limited bandwidth of transferring data within a computer and across computers have become a key bottleneck to the improvement of performance and energy efficiency. Tacking this critical challenge, researchers have proposed various near-data processing architectures in the form of in-network and near-memory computing to move computation closer to data. In this talk, first, I introduce a technique that leverages the potentials of in-network processing for efficient power-management of network-connected computers. Then I present Memory Channel Network (MCN), a memory module based, near-memory processing architecture that seamlessly unifies near-memory processing with distributed computing for the acceleration of data-intensive applications.
Biography: Mohammad Alian is a Ph.D. candidate at the Electrical and Computer Engineering Department of the University of Illinois Urbana Champaign. His research is at the intersection of computer architecture and networking where he proposed several cross-stack, near-memory, and in-network computing architectures. His work has been published in top computer architecture and systems venues and recognized by several best paper candidacies and one honorable mention in IEEE MICRO Top Picks 2017. Mohammad holds an M.Sc. degree in computer engineering from the University of Wisconsin-Madison.
Host: Professor Murali Annavaram
Location: Hughes Aircraft Electrical Engineering Center (EEB) - 248
Audiences: Everyone Is Invited
Contact: Mayumi Thrasher
-
Medical Imaging Seminar
Tue, Mar 03, 2020 @ 03:30 PM - 04:30 PM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
Speaker: Christian Pichot, Université Côte d'Azur, CNRS, LEAT, SophiaTech Campus
Talk Title: Microwave Tomographic Imaging of Brain Strokes
Series: Medical Imaging Seminar Series
Abstract: Brain strokes are one of the leading causes of disability and mortality in adults in developed countries. Ischemic stroke (85% of total cases) and hemorrhagic stroke (15%) must be treated with opposing therapies, and thus, the nature of the stroke must be determined quickly in order to apply the appropriate treatment. Recent studies in biomedical imaging have shown that strokes produce variations in the complex electric permittivity of brain tissues, which can be detected by means of microwave tomography. Here, we present some synthetic results obtained with an experimental microwave tomography-based portable system for demonstrating the feasibility of such a new imaging modality for the early detection and monitoring of brain strokes. The determination of electric permittivity requires the solution of a coupled forward-inverse problem. Iterative microwave tomographic imaging requires the solution of an inverse problem based on a minimization algorithm (e.g. gradient based) with successive solutions of a direct problem such as the accurate modeling of a whole-microwave measurement system. Synthetic data are obtained with electromagnetic simulations, which have been derived from measurements of an experimental microwave imaging system developed by EMTensor GmbH (Vienna, Austria). Results demonstrate the possibility to detect brain strokes, as well as for monitoring during the treatment, with a microwave system with reasonable running times for image reconstructions when applying the proposed reconstruction algorithm using state-of-the-art numerical modeling and massively parallel computing.
Biography: Christian Pichot is currently a Researcher Emeritus at the French National Center for Scientific Research (CNRS), at the Electronics, Antennas & Telecommunications Laboratory (LEAT), a joint Université Côte d'Azur and CNRS laboratory, 06900 Sophia Antipolis, France.He received the Ph.D. and the Doctor of Science (D.Sc.) degrees from the University of Paris-Sud 11 in 1977 and 1982, respectively.
From 2000 to 2011, he was the Director of the LEAT. From 2008 to 2013, he was the co-founder and co-director of CREMANT, a joint Antenna Research Center, supported by the University of Nice-Sophia Antipolis, CNRS and France Telecom Orange Labs. He received in 1983 the European Microwave Prize. He is an IEEE Fellow for "Contributions to Microwave Imaging and Antenna Design". He received the Medal of Honor of CNRS in 2018, and the Academy of Sciences URSI-France Medal in 2019.
His research activities are concerned with scattering and propagation of Electromagnetic Waves,radiation of antennas, inverse scattering (Microwave Imaging and Tomography, AntennaSynthesis, Complex Permittivity Reconstruction, Object Detection and Recognition) for applications in Radar, Civil engineering, non-destructive evaluation (NDE), non-destructive testing (NDT), geophysics engineering, security and military applications, antennas, telecommunications, and medical domain (biomedical engineering), VLF/LF frequencies, microwaves and millimetre waves.
Host: Krishna Nayak, knayak@usc.edu
Location: Hughes Aircraft Electrical Engineering Center (EEB) - 132
Audiences: Everyone Is Invited
Contact: Talyia White
-
Center for Cyber-Physical Systems and Internet of Things and Ming Hsieh Institute Seminar
Wed, Mar 04, 2020 @ 02:00 PM - 03:00 PM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
Speaker: Jonathan Sprinkle, University of Arizona
Talk Title: Cyber-Physical Systems for Vehicle-in-the-Flow Traffic Flow Control
Series: Center for Cyber-Physical Systems and Internet of Things
Abstract: This talk describes previous and ongoing research in traffic flow control that involve the University of Arizona CAT Vehicle Testbed. The focus of the research is real-time control of vehicle velocity in order to effect the velocity of other vehicles in the flow. Research and results are told through the lens of several physical validation experiments. The first experiment explores how to dampen emerging waves in traffic that are due to congestive effects. This experiment grew out of theory of how traffic flow could be improved through sparse velocity control (e.g., ~5% of the vehicles) in the flow. The second experiment examines an analogous case, where 100% of the vehicles are controlled, though this time using off-the-shelf (rather than customized) cruise control algorithms. The talk will examine the hypotheses, methods, and results of these experiments, and explore the theory and motivation for the research as a means to provide insights into the obtained results. The research was sponsored by the National Science Foundation under award CNS-1446435, the Department of Energy through contract DE-EE0008872, and is collaborative work with Benedetto Piccoli, Benjamin Seibold, Dan Work, and Alexandre Bayen.
Biography: Dr. Jonathan Sprinkle is the Litton Industries John M. Leonis Distinguished Associate Professor of Electrical and Computer Engineering at the University of Arizona. In 2013 he received the NSF CAREER award, and in 2009, he received the UA's Ed and Joan Biggers Faculty Support Grant for work in autonomous systems. His work has an emphasis for industry impact, and he was recognized with the UA "Catapult Award" by Tech Launch Arizona in 2014, and in 2012 his team won the NSF I-Corps Best Team award. From 2017-2019 he served as a Program Director at the National Science Foundation in the division of Computer and Networked Systems. His research interests and experience are in cyber-physical systems control and engineering, and he teaches courses ranging from systems modeling and control to mobile application development and software engineering.
Host: Paul Bogdan, pbogdan@usc.edu
Location: Hughes Aircraft Electrical Engineering Center (EEB) - 132
Audiences: Everyone Is Invited
Contact: Talyia White
-
Xiaonan Hui - ECE-EP Seminar, Thursday, March 5th at 11am in EEB 248
Thu, Mar 05, 2020 @ 11:00 AM - 12:30 PM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
Speaker: Xiaonan Hui, Cornell University
Talk Title: Harmonic RF sensing from indoor localization to vital signs monitoring
Abstract: When wireless is perfectly applied, the whole earth will be converted into a huge brain, which in fact it is all things being particles of a real and rhythmic whole." For almost a century, electrical engineers are endeavoring to approach what Nikola Tesla predicted in 1926 for a "World Wireless System". However, as of today, many hurdles remain when we think of all things connected rhythmically with interaction and links between the cyber and the physical worlds, because sensing of the "things", especially "living things", is still heavily constrained. The location and shape of objects, as well as the vital signs of people and animals are critical information to the overall systems. In this talk, I will first highlight our solutions of highly reliable and accurate indoor RF ranging, localization and imaging. The demonstrated radio frequency (RF) localization method bypasses the Uncertainty-Principle mathematical model commonly seen in the radar-like system, so that the high temporal (kHz) and spatial (microns) resolutions can be achieved simultaneously with ~915 MHz signals which have deep penetration to many dielectrics of interests such as building materials and living tissues. Vital-sign monitoring is the second part of the talk, including the heartbeat dynamics, respiration, and blood pressures of both central and pulmonary circulations, with the new near-field coherent sensing (NCS) approach, which not only provides unparalleled RF vital-sign signal quality and sensing capability, but also does not require skin touch or motion restraint to greatly improve the applicability to people and animals. The systems in this talk can be implemented in the applications of high precision indoor locating, assisted living, RF bio-tomography, biometrics for security, wearable sensors, and clinical researches. The talk will include the supporting RF theory, the design methods and the hardware/software experimental system, but its content will be aimed for the general audience in engineering.
Biography: Xiaonan Hui is a Ph.D. candidate in the School of Electrical and Computer Engineering at Cornell University. He works with Prof. Edwin Kan and focuses on radio-frequency systems for Cyber Physical System (CPS) and Internet of Things (IoT) applications. His recent works on vital-sign acquisition for people as well as animals were published on high-impact journals and conferences, attracting not only more than 30 news agencies, but also generating broad industrial interests for automotive, medical, pharmaceutical, and digital agricultural applications. Moreover, his high-precision indoor localization works provide an innovative method for IoT tracking, robotic localization, and civil structure integrity monitoring. He is the principal investigator of Cornell Scale-up and Prototype Grants, the winner of Cornell ECE Outstanding Ph.D. Thesis Research Award, and other 3 fellowships. He also serves as the reviewer for Springer Nature, IEEE journals and conferences in the areas of electromagnetic systems, vital-sign sensing and wireless communications. More of his academic information can be found in his website: www.xiaonanhui.com
Host: ECE-Electrophysics
Location: Hughes Aircraft Electrical Engineering Center (EEB) - 248
Audiences: Everyone Is Invited
Contact: Marilyn Poplawski
-
Center for Cyber-Physical Systems and Internet of Things and Ming Hsieh Institute Seminar
Thu, Mar 05, 2020 @ 02:00 PM - 03:00 PM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
Speaker: Frederic Sala, Stanford Computer Science Department
Talk Title: Structure to the Rescue: Breaking Data Barriers in Machine Lear
Series: Center for Cyber-Physical Systems and Internet of Things
Abstract: The current machine learning zeitgeist is that models are only as good as the data they are fed, so that limitations in the data---and especially mismatches with the ML algorithm---present fundamental barriers to model performance. However, for ML to continue its growth and be safely and widely deployed across domains with significant societal impact, such limitations must be minimized. In this talk, I will describe two ways to exploit structure in data to overcome apparent obstacles, with theoretical guarantees.
First, I will argue that geometry is a barrier to producing quality representations used by models. The root cause is a mismatch between the geometric structure of the data and the geometry of the model---but the issue can be resolved by adopting matching non-Euclidean geometries, relying on, for example, hyperbolic geometry for hierarchical data. Next, motivated by the fact that labeling large datasets is a major bottleneck in supervised learning, I will discuss a weak supervision framework for automating the process of labeling, overcoming the lack of hand-labeled data. This is done by encapsulating different aspects of manual labeling into heuristics whose structure is characterized by learnable accuracies and correlations. I will describe extensions of this framework to handle multitask, time-series, and other forms of structured data. This framework is widely used in industry, helping drive applications used by millions daily.
Biography: Frederic Sala is a postdoctoral scholar in the Stanford Computer Science Department, advised by Chris Ré. His research interests include machine learning, data-driven systems, and information and coding theory, and in particular problems related to the analysis and design of algorithms that operate on diverse and challenging forms of data. He received the Ph.D. and M.S. degrees in Electrical Engineering from UCLA, where he received the Distinguished Ph.D. Dissertation in Signals & Systems Award from the UCLA Electrical Engineering Department, the NSF graduate fellowship, and the Edward K. Rice Outstanding Master's Student Award.
Host: Paul Bogdan, pbogdan@usc.edu
Location: Hughes Aircraft Electrical Engineering Center (EEB) - 248
Audiences: Everyone Is Invited
Contact: Talyia White
-
ECE Seminar: Collaborative Perception and Learning Between Robots and the Cloud
Thu, Mar 05, 2020 @ 02:15 PM - 03:15 PM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
Speaker: Sandeep Chinchali, PhD Candidate, Dept of CS, Stanford University
Talk Title: Collaborative Perception and Learning Between Robots and the Cloud
Abstract: Augmenting robotic intelligence with cloud connectivity is considered one of the most promising solutions to cope with growing volumes of rich robotic sensory data and increasingly complex perception and decision-making tasks. While the benefits of cloud robotics have been envisioned long before, there is still a lack of flexible methods to trade-off the benefits of cloud computing with end-to-end systems costs of network delay, cloud storage, human annotation time, and cloud-computing time. To address this need, I will introduce decision-theoretic algorithms that allow robots to significantly transcend their on-board perception capabilities by using cloud computing, but in a low-cost, fault-tolerant manner.
Specifically, for compute-and-power-limited robots, I will present a lightweight model selection algorithm that learns when a robot should exploit low-latency on-board computation, or, when highly uncertain, query a more accurate cloud model. Then, I will present a collaborative learning algorithm that allows a diversity of robots to mine their real-time sensory streams for valuable training examples to send to the cloud for model improvement. The utility of these algorithms will be demonstrated on months of field data and experiments on state-of-the-art embedded deep learning hardware. I will conclude this talk by outlining a number of future research directions on the systems and theoretical aspects of networked system control, some of which extend beyond cloud robotics.
Biography: Sandeep Chinchali is a computer science PhD candidate at Stanford, advised by Sachin Katti and Marco Pavone. Previously, he was the first principal data scientist at Uhana, a Stanford startup working on data-driven optimization of cellular networks, now acquired by VMWare. His research on networked control has led to proof-of-concept trials with major cellular network operators and was a finalist for best student paper at Robotics: Science and Systems 2019. Prior to Stanford, he graduated from Caltech, where he worked on robotics at NASA's Jet Propulsion Lab (JPL). He is a recipient of the Stanford Graduate Fellowship and National Science Foundation (NSF) fellowships.
Host: Host: Professor Konstantinos Psounis
Location: Michelson Center for Convergent Bioscience (MCB) - 102
Audiences: Everyone Is Invited
Contact: Mayumi Thrasher
-
Medical Imaging Seminar
Fri, Mar 06, 2020 @ 10:00 AM - 11:00 AM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
Speaker: Rudolf Stollberger, Graz University of Technology, Institute of Medical Engineering
Talk Title: Variational Reconstruction of Highly Undersampled 3D Multiple Frame Acquisitions
Series: Medical Imaging Seminar Series
Abstract: Time dependent or quantitative multiple frame acquisitions are particular well suited for the combination of accelerated acquisition and sophisticated iterative reconstruction techniques with spatial-temporal regularization or model based approaches. In this presentation the potential of variational reconstruction for dynamic MRI, for ASL and for model based quantification is explored. Although the applications are quite different, some basic principles are common to all.
For dynamic data iterative reconstruction with infimal convolution of total generalized variation (ICTGV) functionals has shown to allow temporal resolution below 1s for 3D measurements with 40 slices (3202) with excellent suppression of sub-sampling artifacts. This approach will be compared with a variational network for dynamic multi-coil cardiac data. Another example exists for accelerated time encoded CAIPIRINHA ASL data. For this application, the whole brain can be acquired within a single shot which increases the robustness against motion compared to standard segmented acquisition. A third application area consists in quantitative MRI. Model based reconstruction allow the determination of 3D isotropic T1 maps (1mm3) with an acquisition time of 1.8-“1.1 s/slice for the variable flip angle method (VFA). The variational techniques can process 4D array coil data, which is still a challenge for DL-based approaches. Reconstruction times start at about 4 minutes for 4D-ASL data and are somewhat longer for dynamic MRI, but can be many times longer for model-based reconstruction of 4D qMRI data with a nonlinear signal model like VFA.
Host: Krishna Nayak, knayak@usc.edu
Location: Hughes Aircraft Electrical Engineering Center (EEB) - 132
Audiences: Everyone Is Invited
Contact: Talyia White