Many say that the Internet will see substantial architectural changes in the
near future, either via rapid
evolution or revolution. In
this time of architectural flux, software tools are needed for rapidly
prototyping and deploying new architectural components. We are developing a
system called P2 that allows Internet software designers to declaratively
specify "what" they want the network to achieve at a high level, without regard
to "how" it is implemented. Declarative specification enables extremely concise
network specifications (100x fewer lines of code than C++) that compile into
respectably-performing distributed dataflow programs. The work exposes
previously unseen connections across areas -- e.g. between wireless routing
protocols and deductive database optimizations -- and therefore opportunities
for innovation in both camps. It also offers the ability to both statically and
dynamically test the safety of protocols and adherence to specifications.
Joseph M. Hellerstein is a
Professor of Computer Science at the University of California, Berkeley.
Hellerstein's research focuses on data management and networking, including
database systems, sensor networks, declarative networking, peer-to-peer and
distributed systems. Hellerstein is the recipient of multiple awards for his
research, including an Alfred P. Sloan Foundation fellowship, ACM-SIGMOD's "Test
of Time", VLDB Best Paper, and IBM's Best Paper in Computer Science. In 1999,
MIT's Technology Review named him one of the top 100 young technology innovators
worldwide in their inaugural "TR100" list.