Faculty Presentations 2

1:45 pm to 2:45 pm
1:45 - 2:05
"A Career-Oriented Approach to Teach Software Engineering"
Yu Sun, Associate Professor, Computer Science Department, Cal Poly Pomona
A gap exists between the traditional software engineering theories in academia and the trending agile development practice in the industry today. Most of undergraduate and graduate students find themselves not ready for job applications or starting to work with a professional software development team in practice, even after finishing a traditional software engineering course. We present a practical software engineering course that aims to assist students’ job applications and new job transition, by adopting industry development approaches and tools, focusing on practice and projects, and integrating software entrepreneurship concepts.
Dr. Yu Sun is an Associate Professor of Computer Science at California State Polytechnic University, Pomona (Cal Poly Pomona). Dr. Sun has extensive work, research, and entrepreneurial experience in software engineering, mobile communications, cloud computing, and Internet-of-Things applications. He currently serves as director of Software Engineering, Cloud and Mobile Computing Lab (SoftCome Lab), and guides student research and entrepreneurship projects. At the same time, Dr. Sun is the founder of Coding Minds Academy that focuses on K12 coding education, and is also co-founder of Ziiio, an indoor navigation startup based on mobile technology. Prior to founding Ziiio, Dr. Sun was the Engineering Director at Cloudpoint Labs. He led the team in the research and development of high-precision 3D Augmented Reality (AR) technology in infrastructure. Dr. Sun also worked as a software engineer at Amazon and participated in the development of Amazon Silk, the world's first cloud-based mobile web browser.
"Synthesizing runtime enforcers for cyber physical systems"
Chao Wang, Associate Professor, Department of Computer Science, USC
Cyber-physical systems are often safety-critical in that property violations may lead to catastrophes. In this talk, I will present a method for enforcing safety properties of systems by synthesizing a runtime enforcer called the shield. Whenever the system violates a property, the shield, composed with the system, will make correction instantaneously to ensure that no erroneous output is generated by the combined system. While techniques for synthesizing shields in the Boolean domain have been proposed before, they do not handle real-valued signals that are ubiquitous in cyber-physical systems, meaning that their corrections may be either unrealizable or inefficient to compute. We solve the problem by analyzing the compatibility of predicates defined over real-valued signals, and using the results to constrain a two-player safety game used to synthesize the shield. We demonstrate the effectiveness of this method on a variety of applications, including a powertrain control system.

Chao Wang is an Associate Professor of Computer Science at University of Southern California (USC). His area of expertise is software engineering. He develops techniques for principled design of systems to improve safety and security. He published a book and more than eighty papers. He served on the program committees of many conferences; currently, he is an Associate Editor of IEEE Transactions on Software Engineering.

His work won many awards, including a Young Investigator award (2013) from the U.S. Office of Naval Research (ONR), a CAREER award (2012) from the National Science Foundation (NSF), two ACM SIGSOFT Distinguished Paper awards (2018 and 2010), an FMCAD Best Paper award (2013), and a Best Journal Paper of the Year award (2008) from ACM Transactions on Design Automation of Electronic Systems.

2:25 - 2:45
"Bug Report Aggregation and Summarization"
James A. Jones, Associate Professor, Department of Informatics, UC Irvine
Existing bug reporting practices typically discourage reporting duplicate bug reports. However, recent studies report that most bug reports contain insufficient information for developers to properly diagnose and fix the bugs that are causing failures in the field. As such, we seek to provide a new model for reporting failures that encourages the reporting of duplicate bug reports in order to provide a plethora of details and experiences with similar failures. In this talk, I will present a novel bug reporting tool, CTRAS, that automatically aggregates similar bug reports and provides summarizations that highlight similarities and distinguishing features of the constituent reports.
James A. Jones is an Assistant Professor at the University of California, Irvine. He obtained the Ph.D. in Computer Science at Georgia Institute of Technology in 2008. Professor Jones is interested in improving the quality of software and the efficiency with which it is developed and maintained. To this end, his research interests are in the areas of software analysis, testing, and visualization to enable software developers to fathom the complex internal workings of their software, specifically for finding and fixing software errors.