Doing the PhD Thing

Preliminaries

A Type-Disciplined Approach to Developing Resources and Applications for the World-Wide Web

B: Static and run-time type technology for identifying consistency relationships among resources and representations
- BTC: A cache consistency protocol which uses this information to provide strong end-to-end cache consistency
StaXML: Static type system for ensuring conformance to XML syntax
- StaXML for PHP: An implementation for the popular PHP4 scripting language
P: Static type system for identifying program fragments as safe or idempotent
L: Type technology for precisely and flexibly expressing layered content transformations
- Formal syntax-driven semantics for HTTP's content model
- Serialization of the L content model as an HTTP extension
CHAIN: Verification of indefinitely large compositions using local proofs and finite verification techniques

[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]
[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]