- This event has passed.
Colloquium – Iulian Neamtiu
March 12, 2018 @ 9:50 am - 11:30 am
New Jersey Institute of Technology
March 12, 2018
Host: Ganesh Gopalakrishnan
Improving Android’s Reliability and Security
My group conducts research in Programming Languages and Software Engineering (PL/SE), as well as their applications to Systems or Security. Our recent efforts have targeted Android: we have developed a variety of approaches for improving Android’s reliability and security, including static and dynamic program analyses, record-and-replay systems, runtime systems for Moving Target Defense, automatic test generators. In this talk, I will primarily focus on concurrency. Event-driven races are a new type of races, germane to event-based systems, caused by nondeterministic order of events. We have constructed an effective end-to-end approach to detect, reproduce, and classify event-driven races in Android apps: a precise static race detector and a dynamic verifier/replayer. Our approach has found errors in popular apps. In the last part of the talk I will briefly touch upon my group’s other work in PL/SE, as well as future directions in applying PL/SE approaches to medical (mobile) systems and AI.
Iulian Neamtiu is an Associate Professor in the Department of Computer Science at the New Jersey Institute of Technology. He received his Ph.D. from the University of Maryland in 2008, and between 2008-2015 he was an Assistant, then Associate Professor at the University of California, Riverside. His research spans programming languages, software engineering, and the systems/security side of smartphones. He is a recipient of the NSF CAREER award, the UCR Regents’ Fellowship award, as well as two Google Research Awards. His research has been funded by NSF, ARL, DARPA, Intel, and Google.