Loading Events

« All Events

  • This event has passed.

Colloquium – Iulian Neamtiu

March 12 @ 9:50 am - 11:30 am

Iulian Neamtiu
New Jersey Institute of Technology

March 12, 2018
2250 WEB
refreshments 9:50am
lecture 10:00am

Host: Ganesh Gopalakrishnan

Improving Android’s Reliability and Security

Abstract:
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.

BIO:
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.

Details

Date:
March 12
Time:
9:50 am - 11:30 am
Event Category:

Venue

2250 WEB