Dr. Adam D. Bradley

Education

• Ph.D., Computer Science, Boston University, 2004
  • A Type-Disciplined Approach to Developing Resources and Applications for the World-Wide Web
  • Major Advisors: Azer Bestavros and Assaf J. Kfoury
  • Presidential University Graduate Fellow
  • GAANN Fellow
• B.S. (Magna cum laude), Computer Science, University of North Carolina at Asheville, May 1997
  • Distinction in Computer Science
  • Distinction as a University Scholar
  • Distinction as a University Research Scholar
  • Tackett Award (departmental best-in-class)
  • Undergraduate Research Fellow

Professional Experience

• Software Development Engineer, Amazon Web Services, Seattle, WA. August 2005-present.
• Research Associate, Boston University Department of Computer Science
  iBench Project, Sensorium, 2004-August 2005
• Research Intern, AT&T Labs-Research, Florham Park, NJ. Summer of 1999.
  Infrastructure and protocol research for the En Passant system.
• Instructor, Department of Computer Science, Boston University. Spring 1999, Spring 2000.
  CAS CS 550 : Advanced Computer Architecture
• Research Fellow, Web and InterNetworking Group and Commonwealth Project, Department of Computer Science, Boston University.
• Research Co-op, IBM Networking Software Division, Research Triangle Park, NC. Summer of 1997.
  Studied reliable multicast protocols; designed and built a multicast testbed network.

Honors

• GAANN Fellowship, 1998-2002.
• Presidential University Graduate Fellow, Boston University, 1997-2001.
• Omicron Delta Kappa (National Leadership Honor Society)
• Undergraduate Research Fellow, UNC-Asheville, 1993-1997.

Affiliations

• Sigma Xi
• ACM
• Usenix Association

Patents

• ...pending...

Funding

• NSF ANI-0205294 ($1.67M)

Professional Activities

• UNCA URPAC (Undergraduate Research Program Advisory Committee) member, 1995-1997.
• Conference Assistant Coordinator, Tenth National Conference on Undergradutate Research (NCUR-10), Asheville, NC, April 18-20, 1996.

Reviewer

• IEEE International Conference on Multimedia and Expo (ICME 2000)
• ACM SIGCOMM
• WCW
• IFIP Networking
• IEEE RTSS

Journal Publications

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

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

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

Refereed Conference 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]  

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

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

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

Technical Reports

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

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

Invited Talks

• "Linux : Origins, Growth, and Potential Directions"
  • Computer Organizations of New England (CONE), Jan 19th, 1999, Wakefield, MA
• "A Threaded HTTP Server Infrastructure"
  • InfoLibria, May 22nd, 1998, Waltham, MA

Tech Community Involvement

• Coding for the GNU project's C Library
• Various projects pertaining to the Linux Kernel
• CrystalSpace 3D Library