Ph.D CandidateComputer and Information Sciences Department
University of Pennsylvania
Office:Rooms 575, Levine Hall
3330 Walnut Street
Philadelphia, PA 19104-6309
I am a sixth year Ph.D student in Computer and Information Science Department of University of Pennsylvania, advised by Professor Boon Thau Loo and co-advised by Professor Limin Jia (Carnegie Mellon University). I received my Bachelor Degree from Fudan University in Shanghai in 2011.
My research mainly focuses on networking, database and formal methods.
My most recent project aims to reduce the high storage overhead of network provenance, by compressing provenance information efficiently in a distributed fashion.
This is accomplished by modeling the network applications with a declarative, distributed query language -- Network Datalog (NDlog) -- and using static analysis of NDlog programs to detect sharable provenance information.
STRANDS: A unified framework for static and runtime analysis of declarative systems.