The NetDB@Penn research group is led by Professor Boon Thau Loo. Our group applies data-centric techniques and formal methods to the design, analysis, and implementation of distributed systems. We are currently interested in the development of new programming tools and analysis techniques that improve the process of designing, implementing, verifying, and securing large-scale distributed systems. We take an inter-disciplinary approach, combining ideas from databases, networking, programming languages, and formal methods.

Given the inter-disciplinary nature of our work, we have published across a wide range of conferences, including databases (SIGMOD, VLDB, CIDR, ICDE, SOCC), networking (SIGCOMM, TON, HotNets, CoNEXT, ICNP, COMSNET), security (NDSS), systems (SOSP, USENIX ATC), and formal methods (TACAS, PPDP, FMOODS, TPHOLs). We strive towards open-source releases of our research prototypes, demonstrated at major conferences such as SIGMOD and SIGCOMM.

Recent news: