Select a calendar:
Filter September Events by Event Type:
SUNMONTUEWEDTHUFRISAT
Events for September 21, 2017
-
DEN@Viterbi Information Session
Thu, Sep 21, 2017 @ 11:00 AM - 12:00 PM
Distance Education Network
Workshops & Infosessions
Webinars are held ONLINE throughout the year using WebEx technology. All that is needed to participate is a computer with internet access. These 1-hour information sessions are designed to introduce the Viterbi School of Engineering, online graduate engineering programs, application requirements and procedures. USC representatives will be on-hand to answer questions.
More information.Audiences: RSVP Only
Posted By: Viterbi Graduate and Professional Programs
-
Dramatic Improvements in Pre-silicon and Post-silicon Validation of Digital Systems with Quick Error Detection and Formal Methods
Thu, Sep 21, 2017 @ 02:00 PM - 03:00 PM
Ming Hsieh Department of Electrical Engineering
Conferences, Lectures, & Seminars
Speaker: Clark Barrett, Stanford University
Talk Title: Dramatic Improvements in Pre-silicon and Post-silicon Validation of Digital Systems with Quick Error Detection and Formal Methods
Abstract: Ensuring the correctness of integrated circuits (ICs) is essential for ensuring the correctness, safety and security of the many electronic systems we rely on. However, the effort required to validate ICs continues to be a major bottleneck in modern system design. To make matters worse, difficult bugs still escape into post-silicon and even production systems. I will present a set of results based on Quick Error Detection (QED). The standard QED technique is a testing technique which drastically reduces error detection latency, the time elapsed between the occurrence of an error caused by a bug and its manifestation as an observable failure. I will then present two new techniques, Symbolic QED and Electrical QED which use formal methods to dramatically extend the reach of QED: to automatically detect and localize both logic and electrical bugs during both pre- and post-silicon validation. Experimental results collected from several commercial designs as well as hardware platforms demonstrate the effectiveness and practicality of these methods. For example, for a 500 million transistor multi-core IC, Symbolic QED automatically detected and localized difficult logic design bugs (the kind that could escape traditional simulation-based pre-silicon verification) in only a few hours (~ 8 hours on average). This research was performed at Stanford University in collaboration with Prof. Subhasish Mitra, several graduate students, and several industrial collaborators.
Biography: Clark Barrett is an associate professor (research) of computer science at Stanford University, with expertise in constraint solving and its applications to verification. His PhD dissertation introduced a novel approach to constraint solving now known as satisfiability modulo theories (SMT). His subsequent work on SMT has been recognized with a best paper award at DAC, an IBM Software Quality Innovation award, the Haifa Verification Conference award, and first-place honors at the SMT, CASC, and SyGuS competitions. He was also an early pioneer in the development of formal hardware verification: at Intel, he collaborated on a novel theorem prover used to verify key microprocessor properties; and at 0-in Design Automation (now part of Mentor Graphics), he helped build one of the first industrially successful assertion-based verification tool-sets for hardware.
Host: Pierluigi Nuzzo, x09079, nuzzo@usc.edu
Location: Hughes Aircraft Electrical Engineering Center (EEB) - 132
Audiences: Everyone Is Invited
Posted By: Gerrielyn Ramos
-
Center for Cyber-Physical Systems and Internet of Things and Ming Hsieh Institute for Electrical Engineering Joint Seminar Series on Cyber-Physical Systems
Thu, Sep 21, 2017 @ 02:00 PM - 03:00 PM
Ming Hsieh Department of Electrical Engineering
Conferences, Lectures, & Seminars
Speaker: Hong-Linh Truong, Priv.Doz and an Assistant Professor, TU Wien (Vienna University of Technology), Austria
Talk Title: Managing and Testing Ensembles of IoT, Network functions, and Clouds
Abstract: By leveraging virtualization and pay-per-use models, we believe that eventually applications will easily acquire IoT, network functions, and cloud services together to establish a virtual, unified resource ensemble across various subsystems from different IoT, network and cloud providers. But this will require us to research and develop various programming and management utilities. In this talk, we will first discuss the necessity and feasibility of application-level resource slice provisioning. We will overview our SINC - Slicing IoT, Network functions, and Clouds - as an approach for provisioning resource slices of end-to-end IoT, network functions, and cloud capabilities for novel requirements from a wide range of IoT/CPS applications. We will present several works on service engineering analytics for SINC, including harmonizing IoT, network functions, and cloud resources, supporting end-to-end monitoring and analytics, and testing uncertainties.
Some links to related tools:
http://rdsea.github.io/
http://sincconcept.github.io/
http://sincconcept.github.io/HINC/
https://github.com/tuwiendsg/COMOT4U/
http://tuwiendsg.github.io/iCOMOT/
Biography: Hong-Linh Truong is currently a Priv.Doz and an assistant professor for Service Engineering Analytics at TU Wien (Vienna University of Technology), Austria. He received an engineer degree from the Bach Khoa University (HoChiMinh City University of Technology), Vietnam, in 1998, a PhD degree, in 2005, and a Habilitation, in 2013, both from TU Wien, Austria; all in computer science and engineering. His main research interest focuses Systems, Software, Data and Service Engineering Analytics by developing novel techniques and tools for monitoring, analyzing, and optimizing functions, performance, data quality, elasticity, and uncertainties associated with systems, software, data and services. His research has been applied to: Monitoring, Analysis and Optimization Techniques for Programs, Data and Systems; Parallel, Grid and Cloud Computing, and IoT; Data Service Models and Analytics; Socio-technical Services Engineering; and Elastic Computing. Furthermore, he is interested in (free) ICT solutions for (under) developing countries. He had delivered several invited talks and he published more than 180 refereed papers in books, conferences/workshops and journals. He (co)receives an outstanding paper award, seven best paper awards, one best paper run-up award, and one best poster award. Contact him at truong@dsg.tuwien.ac.at http://dsg.tuwien.ac.at/staff/truong .
Host: Bhaskar Krishnamachari and Paul Bogdan
Location: Hughes Aircraft Electrical Engineering Center (EEB) - 248
Audiences: Everyone Is Invited
Posted By: Estela Lopez
-
CS Colloquium: Dr. Kris Zacny (Honeybee Robotics) - Honeybee Robotics
Thu, Sep 21, 2017 @ 03:30 PM - 04:50 PM
Computer Science
Conferences, Lectures, & Seminars
Speaker: Dr. Kris Zacny, PhD, Honeybee Robotics Spacecraft Mechanisms Corporation
Talk Title: Honeybee Robotics
Series: CS Colloquium
Abstract: This lecture satisfies requirements for CSCI 591: Research Colloquium.
Honeybee Robotics, based in Pasadena, develops cutting edge robotic systems for solar system destinations such as the Moon, Mars, Venus, and comets. We are currently operating our hardware on the surface of Mars. Our technologies are also used for Oil & Gas, mining, and U.S. Special Forces.
The presentation will initially provide some background to space exploration and then introduce several exciting missions in the works. These include Lunar Resource Prospector with a goal of identifying volatiles at the lunar South Pole, Mars2020 mission with a goal of returning samples from Mars, Europa deep drill mission with a purpose of penetrating through >10 km thick ice crust and reaching subglacial ice, as well as Planetary Volatiles Extractor with a goal of mining the Moon and Mars.
We will also discuss various ways USC faculty and students could collaborate with Honeybee Robotics. Our company currently employs several USC alumni as well as interns, and works with USC professors on space technologies.
Biography: Dr. Kris Zacny is Vice President and Director of Exploration Technology Group at Honeybee Robotics in Pasadena. His expertise includes terrestrial and extraterrestrial robotic drilling, excavation, sample handling and processing, geotechnical systems, and sensors.
In his previous capacity as an engineer in the South African mining industry, Dr. Zacny managed numerous underground mining projects. Dr. Zacny received his PhD at UC Berkeley in Geotechnical Engineering with an emphasis on Mars drilling, and his ME at UC Berkeley in Petroleum Engineering with emphasis on Drilling and Materials Science. He received his BSc cum laude in Mechanical Engineering at U. Cape Town.
He has participated in several Arctic, Antarctic, Atacama, and Greenland expeditions. Dr. Zacny has over 200 publications related to extreme drilling and excavation and has managed over 100 technology projects. He has over 40 NASA New Technology Records and four NASA Group Achievement Awards.
Host: Computer Science Department
Location: Henry Salvatori Computer Science Center (SAL) - 101
Audiences: Everyone Is Invited
Posted By: Computer Science Department
-
Navigating the Internship & Job Search- Presented by ITP Faculty Larry Jordan
Thu, Sep 21, 2017 @ 04:00 PM - 05:00 PM
Viterbi School of Engineering Career Connections
Workshops & Infosessions
Virtually everything you think you know about getting a job/internship is wrong -- especially in the real-world after graduation. Join Larry Jordan for this one-hour session on what you NEED to know to find the job/internship of your dreams.
Discover how to cope with competition and avoid pitfalls in your job hunt, learn what employers are actually looking for during an interview and get tips on how to negotiate your salary.
Larry Jordan has hired teams in media and high-tech for more than 40 years. He's part of the ITP Part-Time Faculty Job Search committee and has run his own business for more than 20 years. He also teaches ITP-211 and ITP-411. This is his favorite lecture from his award-winning course.
This will be one of the most valuable hours you spend this entire year.
Pizza will be provided!Location: Ronald Tutor Hall of Engineering (RTH) - 211
Audiences: All Viterbi Students
Posted By: RTH 218 Viterbi Career Connections
-
CAIS Seminar: Dr. Ece Kamar (Microsoft Research) - Directions in Hybrid Intelligence: Discovering Blind Spots of AI
Thu, Sep 21, 2017 @ 04:00 PM - 05:00 PM
Computer Science
Conferences, Lectures, & Seminars
Speaker: Dr. Ece Kamar, Microsoft Research
Talk Title: Directions in Hybrid Intelligence: Discovering Blind Spots of AI
Series: Center for AI in Society (CAIS) Seminar Series
Abstract: Despite advances in AI, machines still have limitations in accomplishing tasks that come naturally to humans. When AI systems are fielded in the open world, these limitations cause concerns around reliability, biases and trust. In this talk, Dr. Kamar will argue that hybrid systems that combine the strengths of machine and human intelligence is key to overcoming the limitations of AI algorithms and developing reliable systems. She will provide an overview of multiple projects, which investigate how to integrate human intelligence into the training, execution and troubleshooting of AI systems.
Biography: Dr. Ece Kamar is a Senior Researcher in the Adaptive Systems and Interaction Group at Microsoft Research. She received her Ph.D. in computer science from Harvard University. Her work spans several subfields of AI, including planning, machine learning, multi-agent systems and human-computer teamwork and is inspired by real-world applications.
Host: Milind Tambe
Location: Seeley Wintersmith Mudd Memorial Hall (of Philosophy) (MHP) - 101
Audiences: Everyone Is Invited
Posted By: Computer Science Department
-
Raytheon Information Session
Thu, Sep 21, 2017 @ 06:00 PM - 07:15 PM
Viterbi School of Engineering Career Connections
Workshops & Infosessions
Raytheon is a global technology leader that provides innovative solutions to customers in 80 nations with the most advanced technology in the world and in the strategic business areas of Homeland Security, Missile Defense, Precision Engagement and Intelligence Surveillance Reconnaissance. With opportunities available in all engineering fields, including software, electronics design and manufacturing, mechanical engineering, and aerospace, use this event to network and explore career opportunities with Raytheon.
Light refreshments will be provided.Location: Seeley G. Mudd Building (SGM) - 101
Audiences: All Viterbi Students
Posted By: RTH 218 Viterbi Career Connections
-
DEN@Viterbi Information Session
Thu, Sep 21, 2017 @ 06:00 PM - 07:00 PM
Distance Education Network
Workshops & Infosessions
Webinars are held ONLINE throughout the year using WebEx technology. All that is needed to participate is a computer with internet access. These 1-hour information sessions are designed to introduce the Viterbi School of Engineering, online graduate engineering programs, application requirements and procedures. USC representatives will be on-hand to answer questions. More information.
Audiences: Registered Attendees
Posted By: Viterbi Graduate and Professional Programs
