The NetDB@Penn research group broadly addresses research challenges in distributed data management systems, Internet-scale query processing, and the application of data-centric techniques and formal methods to the design, analysis, and implementation of networked systems. We are particularly interested in the development of novel software methodologies and platforms to aid in the development of secure and formally verifiable distributed information-centric systems that can be easily composed and adapted in the face of changing network conditions and application requirements. We work closely with the Penn Database and the Distributed Systems groups.

Recent news:

• 12 Nov '09: Application-aware Anonymity (A3) paper accepted at NDSS'10.
• 9 Nov '09: Declarative networking paper published in the 11/09 issue of CACM.
• 21 Oct '09: Recursive View Maintenance paper accepted at TKDE Journal (special issue on best papers of ICDE 2009).
• 15 Sept '09: Formally Verifiable Networking paper accepted at HotNets '09.
• 7 Sept '09: RapidNet source code v0.1 released.
• 4 Sept '09: Doctoral student Rafi Rubin received the 08-09 Teaching Practicum Award in Prof. Loo's CIS 505 course on Software Systems.
• 1 Sept '09: Prof. Loo is co-chairing NetDB 2009 (14 Oct '09) co-located with SOSP 2009.
• 18 Aug '09: RapidNet toolkit demonstrated at SIGCOMM 2009.
• 24 Jul '09: Declarative Policy-based Adaptive MANET Routing paper accepted at ICNP 2009.
• 9 Jul '09: RapidMesh paper accepted at Mobicom/WinTECH 2009.
• 8 Jul '09: Micah Sherr successfully defends his dissertation, Coordinate-Based Routing for High Performance Anonymity.
• 1 Jul '09: Group members and Penn undergraduate alumni Andrew Mao and Bill Marczak are pursuing their Ph.D. in Computer Science at Harvard University and UC Berkeley respectively.