We're all about programming the internet. The iBench (Internet Programming WorkBench) Initiative is the umbrella project for a number of interrelated initiatives seeking to elevate the art of internet application design, development, implementation, and maintenance via the development of appropriate programming-language abstractions. Of particular importance is our conviction that the elevation of network flows to first-class strongly typed programming language constructs will significantly advance the expressiveness and verifiability of network programming languages.

My Particular Focii and Projects

• Practical tools for local and global protocol/behavior verification
• STAXML - Verifying XML well-formedness for imperative-style applications
• Stacked Data Model for HTTP
• Programming with the HTTP data model
• Enforcing HTTP architectural and semantic constraints via PL/type constructs

Press

• An article in the BU Bridge newspaper which hypes our project.
• The Official Project Web Page

Funding

• Supported partially by a National Science Foundation ITR grant entitled Internet Flows as First-Class Values: Support for Dynamic, Flexible Internet Services
  

Publications

• [sod:icnp2005] Azer Bestavros and Adam D. Bradley and Assaf J. Kfoury and Ibrahim Matta, Typed Abstraction of Complex Network Compositions, IEEE International Conference on Network Protocols (ICNP), Boston, MA, 2005.  

• [snbench:basenets2005] Azer Bestavros and Adam D. Bradley and Assaf J. Kfoury and Michael Ocean, snBench: A Development and Run-Time Platform for the Rapid Deployment of Video SensorNet Applications, BaseNets 2005, Boston, MA, 2005.  

• [http:icnp2004] Adam D. Bradley and Azer Bestavros and Assaf J. Kfoury, A Typed Model for Encoding-Based Protocol Interoperability, IEEE International Conference on Network Protocols (ICNP), Berlin, Germany, 2004. [PDF] [PS.gz]  

• [sod:ccr2004] Azer Bestavros and Adam D. Bradley and Assaf J. Kfoury and Ibrahim Matta, Safe Compositional Specification of Networking Systems, ACM Computer Communications Review (CCR), 2004, pp 21-33. [PDF]  

• [sod:tr] Azer Bestavros and Adam D. Bradley and Assaf J. Kfoury and Ibrahim Matta, Safe Compositional Specification of Networking Systems, BU Computer Science Technical Report, BUCS-TR-2004-021, Boston, MA, 2004.  

• [staxml:tr] Adam D. Bradley and Assaf J. Kfoury and Azer Bestavros, StaXML: Static Typing of XML Document Fragments for Imperative Web Scripting Languages, BU Computer Science Technical Report, BUCS-TR-2004-007, Boston, MA, 2004. [PDF] [PS]  

• [thesis] Adam D. Bradley, A Type-Disciplined Approach to Developing Resources and Applications for the World-Wide Web, Ph.D. Dissertation, Boston University, Boston, MA, 2004.  

• [chain:icnp2003] Adam D. Bradley and Azer Bestavros and Assaf J. Kfoury, Systematic Verification of Safety Properties of Arbitrary Network Protocol Compositions Using CHAIN, IEEE International Conference on Network Protocols (ICNP), Atlanta, GA, 2003. [PDF] [PS.gz]  

  • Also appeared as: [chain:tr]

• [chain:tr] Adam D. Bradley and Azer Bestavros and Assaf J. Kfoury, Systematic Verification of Safety Properties of Arbitrary Network Protocol Compositions Using CHAIN, BU Computer Science Technical Report, BUCS-TR-2003-012, Boston, MA, 2003. [PDF] [PS.gz]  

  • Also appeared as: [chain:icnp]

• [infinitemodel:tr] Adam D. Bradley and Azer Bestavros and Assaf J. Kfoury, Validating Arbitrarily Large Network Protocol Compositions with Finite Computation, BU Computer Science Technical Report, BUCS-TR-2002-030, Boston, MA, 2002. [PDF] [PS]  

• [httpverify:wcw2002] Adam D. Bradley and Azer Bestavros and Assaf J. Kfoury, Safe Composition of Web Communication Protocols for Extensible Edge Services, 7th International Workshop on Web Content Caching and Distribution (WCW), Boulder, CO, 2002. [PDF] [PS.gz] [PPT]  

  • Extended version: [httpverify:tr]

• [httpverify:tr] Adam D. Bradley and Azer Bestavros and Assaf J. Kfoury, Safe Composition of Web Communication Protocols for Extensible Edge Services, BU Computer Science Technical Report, BUCS-TR-2002-017, Boston, MA, 2002. [PS] [PDF]  

  • Extended version of: [httpverify:wcw2002]