The NetDB@Penn research group is led by Professor
Boon Thau Loo
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.
To learn more about our work, please refer to
statements. For a quick summary, please refer to
our one-page research statement.