Papers
(Listed from most to least recent)
[turk:chi2011] Jenny J. Chen and Natala J. Menezes and Adam D. Bradley, Opportunities for Crowdsourcing Research on Amazon Mechanical Turk, CHI 2011 Workshop on Crowdsourcing and Human Computation, Vancouver, BC, 2011. [PDF]
[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]
[btc:gi2002] Adam D. Bradley and Azer Bestavros, Basis Token Consistency: Supporting Strong Web Cache Consistency, Global Internet 2002 (GI2002), Taipei, Taiwan, 2002. [PDF] [PDF Slides]
- Supersedes: [btc:tr]
[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]
[btc:wc3] Adam D. Bradley and Azer Bestavros, Basis Token Consistency: Extending and Evaluating a Novel Web Consistency Algorithm, Workshop on Caching, Coherence, and Consistency (WC3), New York City, 2002. [PDF] [PS]
Best Student Presentation - Supersedes: [btc: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]
[btc:tr] Adam D. Bradley and Azer Bestavros, Basis Token Consistency: A Practical Mechanism for Strong Web Cache Consistency, BU Computer Science Technical Report, BUCS-TR-2001-024, Boston, MA, 2001. [PS] [PDF]
- Superseded by: [btc:wc3] [btc:gi2002]
[traces98release:tr] Adam D. Bradley, BU Computer Science 1998 Proxy Trace, BU Computer Science Technical Report, BUCS-TR-1999-011, Boston, MA, 1999. [PS.Z] [PDF]
[procow] Bala Krishnamurthy and Marin Arlitt, PRO-COW: Protocol Compliance on the Web (appendix), AT&T Labs Technical Memo, HA1630000-990803-05TM, Florham Park, NJ, 1999. [PS.gz]
[traces98:www] Paul Barford and Azer Bestavros and Adam D. Bradley and Mark Crovella, Changes in Web Client Access Patterns : Characteristics and Caching Implications, World Wide Web, Vol 2, No 1-2, Blacksburg, VA, 1999. [PS]
- Extended version: [traces98:tr]
[traces98:tr] Paul Barford and Azer Bestavros and Adam D. Bradley and Mark Crovella, Changes in Web Client Access Patterns : Characteristics and Caching Implications, BU Computer Science Technical Report, BUCS-TR-1998-023, Boston, MA, 1998. [PS.Z] [PDF]
- Extended version of: [traces98:www]
[pma:jur] Adam D. Bradley, Digital Simulation of the Acoustic Guitar: A Physical Model Abstraction (extended version), UNCA Journal of Undergraduate Research, p.169-188, Asheville, NC, 1997.
- Extended version of: [pma:ncur]
[pma:ncur] Adam D. Bradley, Digital Simulation of the Acoustic Guitar: A Physical Model Abstraction, Proceedings of the Eleventh National Conference on Undergraduate Research (NCUR-11), Vol 3:1098-1102, Austin, TX, 1997.
- Extended version: [pma:jur]

