Speaker: Gang Tan
Room: 220
Time: 2:00pm, Friday, Nov. 26th

Abstract:

Most programming languages provide a Foreign Function Interface(FFI) to interface with native code (C, C++, assembly code). Thegoal of the GoNative research project is to enable safe executionof native code in type-safe programming languages such as Java,Python, and C#. In this talk, we will discuss severallanguage-based techniques that make progress toward this goal,including source-level rewriting of C code, binary rewriting,static analysis across language boundaries, and some on going work toward formal, verifiable safety guarantees for languageinteroperation.

Bio: Gang Tan is an assistant professor of Computer Science and Engineering and leads the Security of Software (SOS) Lab at Lehigh University. He received his B.E. degrees in Computer Science and also Economics from Tsinghua University in 1999. He received his Ph.D. degree from Princeton University in 2005 and received a Francis Upton Graduate Fellowship. His research interests are in the areas of programming languages and computer security. His research projects are sponsored by US National Science Foundation (NSF) and Google Inc.