Kenny Qili Zhu (Shanghai Jiao Tong University)
In this talk, I will give an overview of the PADS project, in which we attack
the problem of ad hoc data processing using various programming language
approaches. Ad hoc data are any non-standard, semi-structured text data sources
for which no ready-made tools are available. These data sources prevails in
computer systems, monitoring systems, scientific repositories and financial
organizations. I will show that we can use programming language types to
describe these non-standard data formats, type-directed programming to
automatically general tool for processing these data sources, formal semantics
to specify the meaning of the descriptions and type inference to learn
descriptions from raw data.
Kenny Q. Zhu is an Associate Professor and Distinguished Research Fellow at
Department of Computer Science and Engineering at Shanghai Jiao Tong
University. He graduated with B.Eng (Hons) in Electrical Engineering in 1999
and PhD in Computer Science in 2005 from National University of Singapore. He
was a postdoctoral researcher and lecturer from 2007 to 2009 in the programming
language group at Princeton University. Prior to that, he was a software design
engineer in the Windows Live Identity group of Microsoft in Redmond, WA. From
Feb 2010 to Aug 2010, Kenny was a visiting faculty to Microsoft Research Asia
on the MSR Young Faculty Visiting Program. Kenny's main research interests are
programming technologies in data processing and most recently, knowledge
discovery. He has published in POPL, ICLP, SIGMOD, ICDE, ECML and other well
known venues.