Select a calendar:
Filter February Events by Event Type:
SUNMONTUEWEDTHUFRISAT
Events for February 17, 2016
-
CS Colloquium: Arjun Radhakrishna (U. Pennsylvania) - Performance-aware Repair for Concurrent Programs
Wed, Feb 17, 2016 @ 11:00 AM - 12:00 PM
Thomas Lord Department of Computer Science
Conferences, Lectures, & Seminars
Speaker: Arjun Radhakrishnan, U. Pennsylvania
Talk Title: Performance-aware Repair for Concurrent Programs
Series: CS Colloquium
Abstract: This lecture satisfies requirements for CSCI 591: Computer Science Research Colloquium
We present a recent line of work on automated synthesis of synchronization constructs for concurrent programs. Our techniques are inspired by a study of the most common types of concurrency bugs and bugs-fixes in Linux device-drivers. As opposed to classical techniques which tend to use expensive synchronization constructs, our technique attempts to use inexpensive program transformations, such as reordering independent statements, to improve the performance of generated fixes.
Our techniques are based on the observation that a large fraction of concurrency bugs are data-independent. This observations allow us to characterize and fix concurrency bugs based only on the order of execution of the statements involved. We evaluated our techniques on several real concurrency bugs that occurred in Linux device drivers, and showed that our synthesis procedure is able to produce more efficient and "programmer-like" bug-fixes.
We finish by talk with a brief note on the general theme of soft specifications, such as performance and energy consumption, in program synthesis. Specifically, we will discuss the use of quantitative specifications and their applications to resource management in embedded and cyber-physical systems.
Biography: Arjun Radhakrishna is a post-doctoral researcher at the University of Pennsylvania. Previously, he completed his PhD at the Institute of Science and Technology, Austria advised by Prof. Thomas A. Henzinger. His research focuses primarily on using programming language techniques, specifically, automated program synthesis, for rigorous systems engineering. His current research interests include the use of alternative specification mechanisms to capture subtle soft requirements on computing systems, such as program performance, energy consumption, or a program's robustness to errors. He is also interested in verification and synthesis of concurrent programs, in particular, device drivers.
Host: CS Department
Location: Olin Hall of Engineering (OHE) - 136
Audiences: Everyone Is Invited
Contact: Assistant to CS chair
-
MHI Distinguished Visitor Talk
Wed, Feb 17, 2016 @ 02:00 PM - 04:00 PM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
Speaker: Prof. Petros Maragos, School of E.C.E., National Technical University of Athens, Greece
Talk Title: Signal Processing and Dynamical Systems on Weighted Lattices
Abstract: In this talk we will present a new unifying theoretical framework of nonlinear signal processing operators and dynamical systems that obey a superposition of a weighted max-min type and evolve on nonlinear spaces which we call complete weighted lattices. Special cases of such systems have found applications in morphological image analysis and vision scale-spaces, in control of discrete-event dynamical systems with minimax algebra, in speech recognition as weighted finite-state transducers, and in belief propagation on graphical models. Our theoretical approach establishes their representation in state and input-output spaces using monotone lattice operators, finds analytically their state and output responses using nonlinear convolutions of a weighted max-min type, studies their stability and reachability, and provides optimal solutions to solving max-min matrix equations. The talk will emphasize the main concepts and theoretical results in this broad field using weighted lattice algebra and will outline some application areas.
Biography: Petros Maragos received the Diploma in E.E. from the National Technical University of Athens (NTUA) in 1980 and the M.Sc. and Ph.D. degrees from Georgia Tech, Atlanta, in 1982 and 1985. In 1985, he joined the faculty of the Division of Applied Sciences at Harvard University, where he worked for eight years as professor of electrical engineering affiliated with the Harvard Robotics Lab. In 1993, he joined the faculty of the School of ECE at Georgia Tech. During periods of 1996-98 he had a joint appointment as director of research at the Institute of Language and Speech Processing in Athens. Since 1998, he has been working as a professor at the NTUA School of ECE. He has held a visiting scientist position at MIT LIDS in fall 2012. He is currently the Director of the NTUA Division of Signals, Control and Robotics, and the Director of the Intelligent Robotics and Automation Lab. His research and teaching interests include signal processing, systems theory, pattern recognition, image processing and computer vision, audio and speech/language processing, cognitive systems, and robotics. In the above areas he has published numerous papers, book chapters, and has also co-edited three Springer research books, one on multimodal processing and interaction and two on shape analysis. He has served as: Associate Editor for the IEEE Trans. on ASSP, IEEE Trans. on PAMI, and editorial board member and guest editor for several journals on signal processing, image analysis and vision; co-organizer of several conferences and workshops, including VCIP 1992 (GC), ISMM 1996 (GC), VLBV 2001 (GC), MMSP 2007 (GC), ECCV 2010 (PC), ECCV 2010 Workshop on Sign, Gesture and Activity, EUSIPCO 2012 (TC), 2011 & 2014 Dagstuhl Symposia on Shape, 2015 IROS Workshop on Cognitive Mobility Assistance Robots; member of the IEEE committees on DSP, IMDSP and MMSP. He is currently organizing EUSIPCO 2017 (GC).
His is the recipient or co-recipient of several awards for his academic work, including a 1983 Sigma Xi best thesis award, a 1987-1992 National Science Foundation Presidential Young Investigator Award, a 1988 IEEE SPS Young Author Best Paper Award, a 1994 IEEE SPS Senior Best Paper Award, the 1995 IEEE W.R.G. Baker Prize Award, the 1996 Pattern Recognition Society's Honorable Mention Award, the EURASIP 2007 Technical Achievement Award for contributions to nonlinear signal, image and speech processing, and the Best Paper Award of the IEEE CVPR-2011 Gesture Recognition Workshop. He was elected a Fellow of IEEE in 1995 and a Fellow of EURASIP in 2010 for his research contributions.
Host: Prof. Shrikanth Narayanan, Theodora Chaspari, and Zisis Skordilis
Location: Hughes Aircraft Electrical Engineering Center (EEB) - 132
Audiences: Everyone Is Invited
Contact: Tanya Acevedo-Lam/EE-Systems
-
Communications, Networks & Systems (CommNetS) Seminar
Wed, Feb 17, 2016 @ 02:00 PM - 03:00 PM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
Speaker: Hao Yu, USC
Talk Title: A fast drift method for convex programs
Series: CommNetS
Abstract: This talk considers convex programs with a general (possibly non-differentiable) convex objective function and Lipschitz continuous convex inequality constraint functions. A simple algorithm is developed and achieves an $O(1/t)$ convergence rate. Similar to the classical dual subgradient algorithm and the ADMM algorithm, the new algorithm has a parallel implementation when the objective and constraint functions are decomposable. However, the new algorithm has faster $O(1/t)$ convergence rate compared with the best known $O(1/\sqrt{t})$ convergence rate for the dual subgradient algorithm with averaged primals. Further, it can solve convex programs with nonlinear constraints, which cannot be handled by the ADMM algorithm. The new algorithm is applied to a multipath network utility maximization problem and yields a decentralized flow control algorithm with fast $O(1/t)$ convergence rate.
Biography: Hao Yu is currently a PhD student in EE department at University of Southern California, advised by Prof. Michael J. Neely. He received the B.Eng. in Electrical Engineering from Xi'an Jiaotong University, China, and the Mphil. degree in Electrical Engineering from the Hong Kong University of Science and Technology, Hong Kong. His research interests are in the areas of design and analysis of optimization algorithms, network optimization and network coding.
Host: Prof. Rahul Jain
Location: Hughes Aircraft Electrical Engineering Center (EEB) - 248
Audiences: Everyone Is Invited
Contact: Annie Yu
-
Interviewing Strategies and Techniques - For Grad Students
Wed, Feb 17, 2016 @ 04:30 PM - 05:30 PM
Viterbi School of Engineering Career Connections
Workshops & Infosessions
Students will learn interviewing strategies and techniques to help them do their best during the interview.
Location: Hughes Aircraft Electrical Engineering Center (EEB) - 132
Audiences: Everyone Is Invited
Contact: RTH 218 Viterbi Career Connections
-
FM Global Information Session
Wed, Feb 17, 2016 @ 06:00 PM - 07:00 PM
Viterbi School of Engineering Career Connections
Workshops & Infosessions
Are you an engineer interested in a world of opportunity? Would you like to work for a global leader? Get out from behind the desk? Make a difference at some of the world's top companies? Then a career as an FM Global field engineer is just what you've been looking for.
Come to our information session and learn about our past and our company culture to see what has made us one of the most stable and profitable property insurance companies. With FM Global offices and clients on nearly every continent, our engineers have the ability and encouragement to pursue a number of career paths within the company.More Information: FM Global.pdf
Location: Seeley G. Mudd Building (SGM) - 101
Audiences: Everyone Is Invited
Contact: RTH 218 Viterbi Career Connections
-
ASBME GM 7: Preparing for an Interview
Wed, Feb 17, 2016 @ 07:00 PM - 08:00 PM
Viterbi School of Engineering Student Organizations
Student Activity
Now that the Career Fair and Corporate Dinner are over, what's next for the industry recruitment process? Interviews! Join ASBME for our GM 7: Preparing for an Interview. We will have a panel of students who had internship experiences to inform us more about the process, their tips and to-do's, and a sample interview. We hope that you join us for this event which will hopefully help you get that ideal summer internship. King Taco will be served for dinner! See you there.
Location: Kaprielian Hall (KAP) - 156
Audiences: Everyone Is Invited
Contact: Associated Students of Biomedical Engineering
