Research

You might find my CV or my list of publications of interest.

Project Pages

• The iBench Initiative Homepage
• My iBench Work

Research Focii

• Abstractions for Programming the Internet (Flows as First-Class Values)
• Tools and Concepts for Reliability and Correctness of Network Applications
• Type Systems for Networked Systems

Recent Papers

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

Tangibles

• Kartenzeichner Web Application Toolkit (alpha-quality)
• Webstacks Data Model and Type System
• StaXML Inference Engine (in development)
• iBench Toolchain (in design)

Groups and Projects

• WING@BU
• Network Reading Group (NRG)
• Mass Server Project
• Commonwealth Project

Research Focii

• Verifying Properties of the HTTP Protocol
• Web Cache Consistency Protocols
• The REFLEX Server - examining server architectures, queue management, and service design
• Characterizing the Web

Recent Papers

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

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

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

Tangibles

• 1998 BUCS Web User Trace (Release Notes)
• REFLEX hybrid-mode web server (late-beta-quality)
• BTC algorithm and specification
• SPIN models of HTTP agents

Group

• BOSS

Research Focii

• Kernel architecture and implementation
• System library optimization
• Filesystem design and implementation

Papers

Tangibles

• XLFS white papers
• BIND8 libresolv port to glibc (included in glibc 2.2)

Papers

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

Tangibles

• PMALIB

WebBib

• Graig E. Wills' WEBBIB project
• My Papers in WEBBIB

NEC ResearchIndex

Search: