TECHNICAL REPORTS
- Christine
Bassem and Azer Bestavros.
Incentive
Compatible Route Coordination of Crowdsourced Resources and its Application
to GeoPresence-as-a-Service.
Technical Report BUCS-TR-2015-004, CS Department, Boston University, April 14
2015.
- Christine
Bassem and Azer Bestavros.
Rational
Coordination of Crowdsourced Resources for Geo-temporal Request
Satisfaction.
Technical Report BUCS-TR-2015-002, CS Department, Boston University, March 23
2015.
- Andrei Lapets, Eric
Dunton, Kyle Holzinger, Frederick Jansen, and Azer Bestavros.
Web-based
Multi-Party Computation with Application to Anonymous Aggregate Compensation
Analytics.
Technical Report BUCS-TR-2015-009, CS Department, Boston University, August
15 2015.
- Nikolaj
Volgushev, Andrei Lapets, and Azer Bestavros.
Programming
Support for an Integrated Multi-Party Computation and MapReduce
Infrastructure.
Technical Report BUCS-TR-2015-011, CS Department, Boston University, September
1 2015.
- Christine
Bassem and Azer Bestavros.
Network-Constrained
Packing of Brokered Workloads in Virtualized Environments.
Technical Report BUCS-TR-2014-009, CS Department, Boston University, November
10 2014.
- Mario
Teixeira and Azer Bestavros.
End-to-End
Informed VM Selection in Compute Clouds.
Technical Report BUCS-TR-2014-008, CS Department, Boston University, November
10 2014.
- Azer
Bestavros and Orran Krieger.
Towards
an Open Cloud Marketplace: Vision and First Steps.
Technical Report BUCS-TR-2013-019, CS Department, Boston University, November
23 2013.
- Saber Mirzaei,
Sanaz Bahargam, Richard Skowyra, Assaf Kfoury, and Azer Bestavros.
Using
Alloy to Formally Model and Reason About an OpenFlow Network Switch.
Technical Report BUCS-TR-2013-007, CS Department, Boston University, July 10
2013.
- Rick Skowyra,
Sanaz Bahargam, and Azer Bestavros.
Software-Defined
IDS for Securing Embedded Mobile Devices.
Technical Report BUCS-TR-2013-005, CS Department, Boston University, May 1
2013.
- Rick Skowyra,
Andrei Lapets, Azer Bestavros, and Assaf Kfoury.
Reusable
Requirements in Automated Verification of Distributed Systems.
Technical Report BUCS-TR-2013-002, CS Department, Boston University, February
8 2013.
- Christine
Bassem and Azer Bestavros.
Mechanism
Design for Spatio-Temporal Request Satisfaction in Mobile Networks.
Technical Report BUCS-TR-2012-002, CS Department, Boston University, February
10 2012.
- Azer Bestavros,
Assaf Kfoury, and Andrei Lapets.
Seamless
Composition and Integration: A Perspective on Formal Methods Research.
Technical Report BUCS-TR-2012-001, CS Department, Boston University, February
7 2012.
- Andrei Lapets, Rick
Skowyra, Christine Bassem, Sanaz Bahargam, Azer Bestavros, and Assaf Kfoury.
Towards
Accessible Integrated Formal Reasoning Environments for Protocol Design.
Technical Report BUCS-TR-2012-016, CS Department, Boston University, December
10 2012.
- Rick Skowyra,
Andrei Lapets, Azer Bestavros, and Assaf Kfoury.
Verifiably-Safe
Software-Defined Networks for CPS.
Technical Report BUCS-TR-2012-020, CS Department, Boston University, December
10 2012.
- Ray Sweha, Azer
Bestavros, and Ibrahim Matta.
Enhancing
Tor Performance For Bandwidth-Intensive Applications.
Technical Report BUCS-TR-2012-013, CS Department, Boston University, July 30
2012.
- Azer
Bestavros and Assaf Kfoury.
A
Domain Specific Language for Incremental and Modular Design of Large-Scale
Verifiably-Safe Flow Networks (Preliminary Report).
Technical Report BUCS-TR-2011-016, CS Department, Boston University, July 11
2011.
- Azer Bestavros,
Dora Erdos, Vatche Ishakian, Andrei Lapets, and Evimaria Terzi.
The
Filter-Placement Problem and its Application to Content De-Duplication.
Technical Report BUCS-TR-2011-005, CS Department, Boston University, February
21 2011.
- Vatche
Ishakian and Azer Bestavros.
MorphoSys:
Efficient Colocation of QoS-Constrained Workloads in the Cloud.
Technical Report BUCS-TR-2011-002, CS Department, Boston University, January
25 2011.
- Vatche Ishakian,
Dora Erdos, Evimaria Terzi, and Azer Bestavros.
A
Framework for the Evaluation and Management of Network Centrality.
Technical Report BUCS-TR-2011-022, CS Department, Boston University, October
13 2011.
- Vatche Ishakian,
Raymond Sweha, Azer Bestavros, and Jonathan Appavoo.
Dynamic
Pricing For Efficient Workload Colocation.
Technical Report BUCS-TR-2011-024, CS Department, Boston University, November
15 2011.
- Mark
Reynolds and Azer Bestavros.
Formal
Verification of Cross-Domain Access Control Policies Using Model
Checking.
Technical Report BUCS-TR-2011-031, CS Department, Boston University, December
30 2011.
- Richard Skowyra,
Azer Bestavros, and Sharon Goldberg.
The Zenith
Attack: Vulnerabilities and Countermeasures.
Technical Report BUCS-TR-2011-015, CS Department, Boston University, May 15
2011.
- Nate Soule, Azer
Bestavros, Vatche Ishakian, Assaf Kfoury, and Andrei Lapets.
Use
Cases for Compositional Modeling and Analysis of Equation-based Constrained
Flow Networks.
Technical Report BUCS-TR-2011-019, CS Department, Boston University, July 15
2011.
- Nate Soule, Azer
Bestavros, Assaf Kfoury, and Andrei Lapets.
Safe
Compositional Equation-based Modeling of Constrained Flow Networks.
Technical Report BUCS-TR-2011-014, CS Department, Boston University, May 15
2011.
- Nate Soule, Azer
Bestavros, Assaf Kfoury, and Andrei Lapets.
Safe
Compositional Network Sketches: NetSketch Tool Implementation.
Technical Report BUCS-TR-2011-004, CS Department, Boston University, February
8 2011.
- Raymond Sweha,
Vatche Ishakian, and Azer Bestavros.
AngelCast:
Cloud-based Peer-Assisted Live Streaming Using Optimized Multi-Tree
Construction.
Technical Report BUCS-TR-2011-026, CS Department, Boston University, December
14 2011.
- Francesco
Albanese, Damiano Carra, Pietro Michiardi, and Azer Bestavros.
Cloud-based
Content Distribution on a Budget.
Technical Report BUCS-TR-2010-022, CS Department, Boston University, August
12 2010.
- Vatche Ishakian,
Azer Bestavros, and Assaf Kfoury.
A
Type-Theoretic Framework for Efficient and Safe Colocation of Periodic
Real-time Systems.
Technical Report BUCS-TR-2010-002, CS Department, Boston University, January
24 2010.
- Vatche Ishakian,
Andrei Lapets, Azer Bestavros, and Assaf Kfoury.
Formal
Verification of SLA Transformations.
Technical Report BUCS-TR-2010-025, CS Department, Boston University, August
24 2010.
- Vatche Ishakian,
Raymond Sweha, Jorge Londono, and Azer Bestavros.
Colocation as
a Service: Strategic and Operational Services for Cloud Colocation.
Technical Report BUCS-TR-2010-003, CS Department, Boston University, March 1
2010.
- Andrei Lapets,
Assaf Kfoury, and Azer Bestavros.
Safe
Compositional Network Sketches: Reasoning with Automated Assistance.
Technical Report BUCS-TR-2010-001, CS Department, Boston University, January
19 2010.
- Raymond Sweha,
Vatche Ishakian, and Azer Bestavros.
Angels
In the Cloud -- A Peer-Assisted Bulk-Synchronous Content Distribution
Service.
Technical Report BUCS-TR-2010-024, CS Department, Boston University, August
12 2010.
- Christine
Bassem and Azer Bestavros.
CSR:
Constrained Selfish Routing in Ad-hoc Networks.
Technical Report BUCS-TR-2009-018, CS Department, Boston University, May 28
2009.
- Azer Bestavros,
Assaf Kfoury, Andrei Lapets, and Michael Ocean.
Safe
Compositional Network Sketches: The Formal Framework.
Technical Report BUCS-TR-2009-029, CS Department, Boston University, October
1 2009.
- Azer Bestavros,
Assaf Kfoury, Andrei Lapets, and Michael Ocean.
Safe
Compositional Network Sketches: Tool and Use Cases.
Technical Report BUCS-TR-2009-028, CS Department, Boston University, October
1 2009.
- Jorge Londono,
Azer Bestavros, and Nikolaos Laoutaris.
Trade
and Cap: A Customer-Managed, Market-Based System for Trading Bandwidth
Allowances at a Shared Link.
Technical Report BUCS-TR-2009-025, CS Department, Boston University, July 29
2009.
- Jorge Londono,
Azer Bestavros, and Shang-Hua Teng.
Collocation
Games And Their Application to Distributed Resource Management.
Technical Report BUCS-TR-2009-002, CS Department, Boston University, February
7 2009.
- Hany Morcos, Azer
Bestavros, and Ibrahim Matta.
Preferential
Field Coverage Through Detour-Based Mobility Coordination.
Technical Report BUCS-TR-2009-010, CS Department, Boston University, March 30
2009.
- Raymond Sweha, Azer
Bestavros, and John Byers.
Angels --
In-Network Support for Minimum Distribution Time in P2P Overlays.
Technical Report BUCS-TR-2009-003, CS Department, Boston University, February
10 2009.
- Fernando Duarte,
Bernardo Mattos, Jussara Almeida, Virgilio Almeida, Mariela Curiel, and Azer
Bestavros.
Hierarchical
Characterization and Generation of Blogosphere Workloads.
Technical Report BUCS-TR-2008-028, CS Department, Boston University, October
17 2008.
- Jorge
Londono and Azer Bestavros.
A
Two-Tiered On-Line Server-Side Bandwidth Reservation Framework for the
Real-Time Delivery of Multiple Video Streams.
Technical Report BUCS-TR-2008-012, CS Department, Boston University, July 1
2008.
- Hany Morcos,
George Atia, Azer Bestavros, and Ibrahim Matta.
An
Information Theoretic Framework for Field Monitoring Using Autonomously
Mobile Sensors.
Technical Report BUCS-TR-2008-003, CS Department, Boston University, February
10 2008.
- Hany Morcos, Azer
Bestavros, and Ibrahim Matta.
Detour-Based
Mobility Coordination in DTNs.
Technical Report BUCS-TR-2008-004, CS Department, Boston University, February
10 2008.
- Michael Ocean, Assaf
Kfoury, and Azer Bestavros.
A
Type System For Safe SN Resource Allocation.
Technical Report BUCS-TR-2008-011, CS Department, Boston University, June 14
2008.
- Georgios
Smaragdakis, Vassilis Lekakis, Nikolaos Laoutaris, Azer Bestavros, John
Byers, and Mema Roussopoulos.
The
EGOIST Overlay Routing System.
Technical Report BUCS-TR-2008-016, CS Department, Boston University, July 22
2008.
- Hany Morcos, Azer
Bestavros, and Ibrahim Matta.
Amorphous
Placement and Informed Diffusion for Efficient Field Monitoring by
Autonomusly Mobile Sensors.
Technical Report BUCS-TR-2007-008, CS Department, Boston University, June 6
2007.
- Niky Riga, Ibrahim
Matta, and Azer Bestavros.
A
Geometric Approach to Slot Alignment in Wireless Sensor Networks.
Technical Report BUCS-TR-2007-002, CS Department, Boston University, March 26
2007.
- Georgios
Smaragdakis, Nikolaos Laoutaris, Azer Bestavros, John Byers, and Mema
Roussopoulos.
EGOIST:
Overlay Routing using Selfish Neighbor Selection.
Technical Report BUCS-TR-2007-013, CS Department, Boston University, October
9 2007.
- Georgios
Smaragdakis, Nikolaos Laoutaris, Azer Bestavros, John Byers, and Mema
Roussopoulos.
Improving
the Performance of Overlay Routing and P2P File Sharing using Selfish
Neighbor Selection.
Technical Report BUCS-TR-2007-006, CS Department, Boston University, May 15
2007.
- Georgios
Smaragdakis, Nikolaos Laoutaris, Pietro Michiardi, Azer Bestavros, John
Byers, and Mema Roussopoulos.
Swarming
on optimized graphs for n-way broadcast.
Technical Report BUCS-TR-2007-009, CS Department, Boston University, July 5
2007.
- Fernando Duarte,
Bernardo Mattos, Azer Bestavros, Virgilio Almeida, and Jussara Almeida.
Traffic
Characteristics and Communication Patterns in Blogosphere.
Technical Report BUCS-TR-2006-033, CS Department, Boston University, December
15 2006.
- Mina Guirguis,
Azer Bestavros, and Ibrahim Matta.
On
the Impact of Low-Rate Attacks.
Technical Report BUCS-TR-2006-002, CS Department, Boston University, February
6 2006.
- Nikolaos
Laoutaris, Georgios Smaragdakis, Azer Bestavros, and John Byers.
Implications
of Selfish Neighbor Selection in Overlay Networks.
Technical Report BUCS-TR-2006-019, CS Department, Boston University, July 14
2006.
- Nikolaos
Laoutaris, Georgios Smaragdakis, Azer Bestavros, Ibrahim Matta, and Ioannis
Stavrakakis.
Distributed
Selfish Caching.
Technical Report BUCS-TR-2006-003, CS Department, Boston University, February
7 2006.
- Nikolaos
Laoutaris, Georgios Smaragdakis, Konstantinos Oikonomou, Ioannis Stavrakakis,
and Azer Bestavros.
Distributed
Placement of Service Facilities in Large-Scale Networks.
Technical Report BUCS-TR-2006-018, CS Department, Boston University, July 14
2006.
- Nikolaos
Laoutaris, Georgos Zervas, Azer Bestavros, and George Kollios.
The
Cache Inference Problem and its Application to Content and Request
Routing.
Technical Report BUCS-TR-2006-017, CS Department, Boston University, July 14
2006.
- Jorge
Londono and Azer Bestavros.
netEmbed:
A Network Resource Mapping Service for Distributed Applications.
Technical Report BUCS-TR-2006-032, CS Department, Boston University, December
15 2006.
- Karim Mattar,
Ashwin Sridharan, Hui Zang, Ibrahim Matta, and Azer Bestavros.
On
the Interaction between TCP and the Wireless Channel in CDMA2000
Networks.
Technical Report BUCS-TR-2006-009, CS Department, Boston University, June 6
2006.
- Karim Mattar,
Ashwin Sridharan, Hui Zang, Ibrahim Matta, and Azer Bestavros.
TCP
over CDMA2000 Networks: A Cross-Layer Measurement Study.
Technical Report BUCS-TR-2006-030, CS Department, Boston University, October
25 2006.
- Hany Morcos, Azer
Bestavros, and Ibrahim Matta.
Amorphous
Placement and Retrieval of Sensory Data in Sparse Mobile Ad-Hoc
Networks.
Technical Report BUCS-TR-2006-005, CS Department, Boston University, April 4
2006.
- Hany Morcos, Azer
Bestavros, and Ibrahim Matta.
Real-Time
Spatio-Temporal Query Processing in Mobile Ad-Hoc Sensor Networks.
Technical Report BUCS-TR-2006-028, CS Department, Boston University, October
15 2006.
- Michael Ocean, Assaf
Kfoury, and Azer Bestavros.
Integrating
Sensor-Network Research and Development into a Software Engineering
Curriculum.
Technical Report BUCS-TR-2006-016, CS Department, Boston University, July 14
2006.
- Azer Bestavros,
Adam Bradley, Assaf Kfoury, and Ibrahim Matta.
Typed
Abstraction of Complex Network Compositions.
Technical Report BUCS-TR-2005-014, CS Department, Boston University, May 1
2005.
- Yarom Gabay, Assaf
Kfoury, Likai Liu, Azer Bestavros, Adam Bradley, and Ibrahim Matta.
Type
Systems for a Network Specification Language With Multiple-Choice Let.
Technical Report BUCS-TR-2005-034, CS Department, Boston University, December
28 2005.
- Nikolaos
Laoutaris, Georgios Smaragdakis, Azer Bestavros, and Ioannis Stavrakakis.
Mistreatment
in Distributed Caching Groups: Causes and Implications.
Technical Report BUCS-TR-2005-026, CS Department, Boston University, July 7
2005.
- Likai Liu, Assaf
Kfoury, Azer Bestavros, Adam Bradley, Yarom Gabay, and Ibrahim Matta.
Safe
Compositional Specification of Networking Systems: TRAFFIC The Language and
Its Type Checking.
Technical Report BUCS-TR-2005-015, CS Department, Boston University, May 12
2005.
- Likai Liu, Assaf
Kfoury, Azer Bestavros, Yarom Gabay, Adam Bradley, and Ibrahim Matta.
Safe
Compositional Specification of Networking Systems: A Compositional Analysis
Approach.
Technical Report BUCS-TR-2005-033, CS Department, Boston University, December
28 2005.
- Azer Bestavros,
Adam Bradley, Assaf Kfoury, and Ibrahim Matta.
Safe
Compositional Specification of Networking Systems.
Technical Report BUCS-TR-2004-021, CS Department, Boston University, May 14
2004.
- Adam Bradley,
Assaf Kfoury, and Azer Bestavros.
StaXML:
Static Typing of XML Document Fragments for Imperative Web Scripting
Languages.
Technical Report BUCS-TR-2004-007, CS Department, Boston University, February
13 2004.
- Ching Chang,
Feifei Li Li, Azer Bestavros, and George Kollios.
GreedyDual-Join:
Locality-Aware Buffer Management for Approximate Join Processing Over Data
Streams.
Technical Report BUCS-TR-2004-028, CS Department, Boston University, July 1
2004.
- Vijay Erramilli,
Ibrahim Matta, and Azer Bestavros.
On the
Interaction between Data Aggregation and Topology Control in Wireless Sensor
Networks.
Technical Report BUCS-TR-2004-024, CS Department, Boston University, June 18
2004.
- Mina Guirguis,
Azer Bestavros, and Ibrahim Matta.
Exploiting the
Transients of Adaptation for RoQ Attacks on Internet Resources.
Technical Report BUCS-TR-2004-005, CS Department, Boston University, January
30 2004.
- Hany Morcos,
Ibrahim Matta, and Azer Bestavros.
M2RC:
Multiplicative-increase/additive-decrease Multipath Routing Control for
Wireless Sensor Networks.
Technical Report BUCS-TR-2004-029, CS Department, Boston University, July 14
2004.
- Niky Riga, Ibrahim
Matta, and Azer Bestavros.
DIP: Density
Inference Protocol for wireless sensor networks and its application to
density-unbiased statistics.
Technical Report BUCS-TR-2004-023, CS Department, Boston University, May 31
2004.
- Abhishek Sharma,
Azer Bestavros, and Ibrahim Matta.
dPAM: A
Distributed Prefetching Protocol for Scalable Asynchronous Multicast in P2P
Systems.
Technical Report BUCS-TR-2004-026, CS Department, Boston University, July 1
2004.
- Georgios
Smaragdakis, Ibrahim Matta, and Azer Bestavros.
SEP: A
Stable Election Protocol for clustered heterogeneous wireless sensor
networks.
Technical Report BUCS-TR-2004-022, CS Department, Boston University, May 31
2004.
- Yuting Zhang, Azer
Bestavros, Mina Guirguis, Ibrahim Matta, and Richard West.
Friendly
Virtual Machine: Leveraging a Feedback-Control Model for Application
Adaptation.
Technical Report BUCS-TR-2004-030, CS Department, Boston University, July 19
2004.
- Adam Bradley, Azer Bestavros, and Assaf Kfoury.
Systematic
Verification of Safety Properties of Arbitrary Network Protocol Compositions
Using CHAIN.
Technical Report BUCS-TR-2003-012, Boston University, Computer Science
Department, May 2003.
- Gali Diamant,
Leonid Veytser, Ibrahim Matta, Azer Bestavros, Mina Guirguis, Liang Guo,
Yuting Zhang, and Sean Chen.
itmBench:
Generalized API for Internet Traffic Managers.
Technical Report BUCS-TR-2003-032, CS Department, Boston University, December
16 2003.
- Mina Guirguis, Azer Bestavros, and Ibrahim Matta.
On
the Efficiency and Fairness of Transmission Control Loops: A Case for
Exogenous Losses.
Technical Report BUCS-TR-2003-013, Boston University, Computer Science
Department, May 2003.
- Mina Guirguis, Azer Bestavros, Ibrahim Matta, Niky
Riga, Gali Diamant, and Yuting Zhang.
Providing
Soft Bandwidth Guarantees Using Elastic TCP-based Tunnels.
Technical Report BUCS-TR-2003-028, CS Department, Boston University, December
2 2003.
- Adam Bradley, Azer Bestavros, and Assaf Kfoury.
Safe
Composition of Web Communication Protocols for Extensible Edge Services.
Technical Report BUCS-TR-2002-017, Boston University, Computer Science
Department, May 2002.
- Adam Bradley, Azer Bestavros, and Assaf Kfoury.
Validating
Arbitrarily Large Network Protocol Compositions with Finite Computation.
Technical Report BUCS-TR-2002-030, Boston University, Computer Science
Department, November 2002.
- Khaled Harfoush, Azer Bestavros, and John Byers.
PeriScope:
An Active Measurement API.
Technical Report BUCS-TR-2002-005, Boston University, Computer Science
Department, January 2002.
- Shudong Jin and Azer Bestavros.
Cache
and Relay Streaming Media Delivery for Asynchronous Clients.
Technical Report BUCS-TR-2002-024, Boston University, Computer Science
Department, May 2002.
- Shudong Jin and Azer Bestavros.
Small-World
Internet Topologies: Possible Causes and Implications on Scalability of
End-System Multicast.
Technical Report BUCS-TR-2002-004, Boston University, Computer Science
Department, January 2002.
- Eveline Veloso, Virgilio Almeida, Wagner Meira, Azer Bestavros,
and Shudong Jin.
A
Hierarchical Characterization of a Live Streaming Media Workload.
Technical Report BUCS-TR-2002-014, Boston University, Computer Science
Department, May 2002.
- Azer Bestavros and Sumit Mehrotra.
DNS-based
Internet Client Clustering and Characterization.
Technical Report BUCS-2001-012, Boston University, Computer Science Department,
Boston, MA 02215, June 2001.
- Azer Bestavros and Michael Rabinovich.
Proceedings
of the Sixth International Web Content Caching and Distribution Workshop
(WCW'01).
Technical Report BUCS-TR-2001-017, Boston University, Computer Science
Department, August 2001.
- Azer Bestavros, John Byers, and Khaled Harfoush.
Inference and
Labeling of Metric-Induced Network Topologies.
Technical Report BUCS-TR-2001-010, Boston University, Computer Science
Department, June 2001.
- Adam Bradley and Azer Bestavros.
Basis Token
Consistency: A Practical Mechanism for Strong Web Cache Consistency.
Technical Report BUCS-TR-2001-024, Boston University, Computer Science
Department, October 2001.
- Khaled Harfoush, Azer Bestavros, and John Byers.
Measuring
Bottleneck Bandwidth of Targeted Path Segments.
Technical Report BUCS-TR-2001-016, Boston University, Computer Science
Department, July 2001.
- Shudong Jin and Azer Bestavros.
GISMO: A
Generator of Internet Streaming Media Objects and Workloads.
Technical Report BUCS-TR-2001-020, Boston University, Computer Science
Department, October 2001.
- Shudong Jin and Azer Bestavros.
Scalability
of Multicast Delivery for Non-sequential Streaming Access.
Technical Report BUCS-TR-2001-025, Boston University, Computer Science
Department, October 2001.
- Shudong Jin, Azer Bestavros, and Arun Iyengar.
Accelerating
Internet Streaming Media Delivery using Network-Aware Partial Caching.
Technical Report BUCS-TR-2001-023, Boston University, Computer Science
Department, October 2001.
- Shudong Jin, Liang Guo, Ibrahim Matta, and Azer Bestavros.
A
Spectrum of TCP-friendly Window-based Congestion Control Algorithms.
Technical Report BUCS-2002-027, Boston University, Computer Science Department,
Boston, MA 02215, July 2001.
- Shudong Jin, Liang Guo, Ibrahim Matta, and Azer Bestavros.
A Spectrum of
TCP-friendly Window-based Congestion Control Algorithms.
Technical Report BUCS-2001-015, Boston University, Computer Science Department,
Boston, MA 02215, July 2001.
- Shudong Jin, Liang Guo, Ibrahim Matta, and Azer Bestavros.
TCP-friendly
SIMD Congestion Control and Its Convergence Behavior.
Technical Report BUCS-2001-006, Boston University, Computer Science Department,
Boston, MA 02215, May 2001.
- Paul Barford, Azer Bestavros, John Byers, and Mark Crovella.
On
the Marginal Utility of Deploying Measurement Infrastructure.
Technical Report BUCS-TR-2000-018, Boston University, Computer Science
Department, July 2000.
- Enrique Duvos and Azer Bestavros.
An
Infrastructure for the Dynamic Distribution of Web Applications and
Services.
Technical Report BUCS-TR-2000-027, Boston University, Computer Science
Department, December 2000.
- Khaled Harfoush, Azer Bestavros, and John Byers.
Robust
Identification of Shared Losses Using End-to-End Unicast Probes.
Technical Report BUCS-TR-2000-013, Boston University, Computer Science
Department, May 2000.
- Khaled Harfoush, Azer Bestavros, and John Byers.
Unicast-based
Characterization of Network Loss Topologies.
Technical Report BUCS-TR-2000-016, Boston University, Computer Science
Department, July 2000.
- Shudong Jin and Azer Bestavros.
GreedyDual*
Web Caching Algorithm: Exploiting the Two Sources of Temporal Locality in Web
Request Streams.
Technical Report BUCS-TR-2000-011, Boston University, Computer Science
Department, April 2000.
- Ibrahim Matta and Azer Bestavros.
QoS
Controllers for the Internet.
Technical Report BUCS-TR-2000-008, Boston University, Computer Science
Department, March 2000.
- Stanislav Rost, John Byers, and Azer Bestavros.
The
Cyclone Server Architecture: Streamlining Delivery of Popular Content.
Technical Report BUCS-TR-2000-025, Boston University, Computer Science
Department, December 2000.
- Luis Aversa and Azer Bestavros.
Load
Balancing a Cluster of Web Servers using Distributed Packet Rewriting.
Technical Report BUCS-TR-1999-001, Boston University, Computer Science
Department, January 1999.
- Prithwish Basu, Ashok Narayanan, Wang Ke, Tom Little, and Azer
Bestavros.
Optimal
Scheduling of Secondary Content for Aggregation in Video-on-Demand
Systems.
Technical Report BUCS-TR-1999-008, Boston University, Computer Science
Department, August 1999.
This report is cross listed as BU ECE Department Technical Report:
TR-12-16-98.
- Azer
Bestavros, John Byers, Mark Crovella, Paul Barford, Ibrahim Matta, and
Michael Mitzenmacher.
BU/NSF
Workshop on Internet Measurement Instrumentation and Characterization.
Technical Report BUCS-TR-1999-019, Boston University, Computer Science
Department, December 1999.
- Shudong Jin and Azer Bestavros.
Popularity-Aware
GreedyDual-Size Web Proxy Caching Algorithms.
Technical Report BUCS-TR-1999-009, Boston University, Computer Science
Department, August 1999.
- Shudong Jin and Azer Bestavros.
Temporal
Locality in Web Request Streams: Sources, Characteristics, and Caching
Implications.
Technical Report BUCS-TR-1999-009, Boston University, Computer Science
Department, August 1999.
- Jaehee Yoon, Azer Bestavros, and Ibrahim Matta.
Adaptive
Reliable Multicast.
Technical Report BUCS-TR-1999-012, Boston University, Computer Science
Department, September 1999.
- Jaehee Yoon, Azer Bestavros, and Ibrahim Matta.
SomeCast:
A Paradigm for Real-Time Adaptive Reliable Multicast.
Technical Report BUCS-TR-1999-018, Boston University, Computer Science
Department, December 1999.
- Alia Atlas and Azer Bestavros.
An
Omniscient Scheduling Oracle for Systems with Harmonic Periods.
Technical Report BUCS-TR-1998-014, Boston University, Computer Science
Department, September 1998.
- Alia Atlas and Azer Bestavros.
Design
and Implementation of SRMS in Kurt Linux.
Technical Report BUCS-TR-1998-013, Boston University, Computer Science
Department, September 1998.
- Alia Atlas and Azer Bestavros.
Multiplexing
VBR Traffic Flows with Guaranteed Application-level QoS Using Statistical
Rate Monotonic Scheduling.
Technical Report BUCS-TR-1998-011, Boston University, Computer Science
Department, May 1998.
- Alia Atlas and Azer Bestavros.
Slack Stealing Job Admission Control Scheduling.
Technical Report BUCS-TR-1998-009, Boston University, Computer Science
Department, May 1998.
- Alia Atlas and Azer Bestavros.
Statistical
Rate Monotonic Scheduling.
Technical Report BUCS-TR-1998-010, Boston University, Computer Science
Department, May 1998.
- Alia Atlas and Azer Bestavros.
The
Statistical Rate Monotonic Scheduling Workbench.
Technical Report BUCS-TR-1998-012, Boston University, Computer Science
Department, May 1998.
- Paul Barford, Azer Bestavros, Adam Bradley, and Mark Crovella.
Changes
in Web Client Access Patterns: Characteristics and Caching Implications.
Technical Report BUCS-TR-1998-023, Boston University, Computer Science
Department, December 1998.
- Azer Bestavros and Olivier Hartmann.
Aggregating
Congestion Information Over Sequences of TCP Connections.
Technical Report BUCS-TR-1998-001, Boston University, Computer Science
Department, January 1998.
- Azer Bestavros, Mark Crovella, Jun Liu, and David Martin.
Distributed
Packet Rewriting and its Application to Scalable Server Architectures.
Technical Report BUCS-TR-1998-003, Boston University, Computer Science
Department, February 1998.
- Gitae
Kim and Azer Bestavros.
Preserving
Bandwidth Through A Lazy Packet Discard Policy in ATM Networks.
Technical Report BUCS-TR-1998-005, Boston University, Computer Science
Department, February 1998.
- Sanjoy Baruah and Azer Bestavros.
Real-Time
Mutable Broadcast Disks.
Technical Report BUCS-TR-1997-007, Boston University, Computer Science
Department, May 1997.
- Azer Bestavros.
Discovering
Spatial Locality in World Wide Web Access Patterns using Data Mining of
Document Clusters in Server Logs.
Technical Report BUCS-TR-1997-016, Boston University, Computer Science
Department, August 1997.
- Azer Bestavros.
Proceedings
of the 18th Real-Time Systems Symposium WIP Session.
Technical Report BUCS-TR-1997-021, Boston University, Computer Science
Department, December 1997.
- Azer
Bestavros and Gitae Kim.
Exploiting
Redundancy for Timeliness in TCP Boston.
Technical Report BUCS-TR-1997-001, Boston University, Computer Science
Department, January 1997.
- Azer Bestavros and Ibrahim Matta.
Load
Profiling for Efficient Route Selection in Multi-Class Networks.
Technical Report BUCS-TR-1997-009, Boston University, Computer Science
Department, May 1997.
Also NU-CCS-97-08 at Northeastern University.
- Azer Bestavros, Naomi Katagai, and Jorge Londono.
Admission
Control and Scheduling for High Performance World Wide Web Servers.
Technical Report BUCS-TR-1997-015, Boston University, Computer Science
Department, August 1997.
- Ibrahim Matta and Azer Bestavros.
Evaluation
of a Load Profiling Approach to Routing Guaranteed Bandwidth Flows.
Technical Report BUCS-TR-1997-013, Boston University, Computer Science
Department, July 1997.
Also NU-CCS-97-10 at Northeastern University.
- Sue
Nagy and Azer Bestavros.
Concurrency
Admission Control Management in ACCORD.
Technical Report BUCS-TR-1997-010, Boston University, Computer Science
Department, May 1997.
- Virgilio Almeida, Azer Bestavros, Mark Crovella, and Adriana
de Oliveira.
Characterizing
Reference Locality in the World Wide Web.
Technical Report BUCS-TR-1996-011, Boston University, Computer Science
Department, June 1996.
- Sanjoy Baruah and Azer Bestavros.
Pinwheel
Scheduling for Fault-tolerant Broadcast Disks in Real-time Database
Systems.
Technical Report BUCS-TR-1996-023, Boston University, Computer Science
Department, August 1996.
- Azer Bestavros.
Advances
in Real-Time Database Systems Research.
Technical Report BUCS-TR-1996-003, Boston University, Computer Science
Department, January 1996.
- Azer Bestavros.
AIDA-based
Real-Time Fault-Tolerant Broadcast Disks.
Technical Report BUCS-TR-1996-001, Boston University, CS Dept, Boston, MA
02215, January 1996.
- Azer Bestavros.
Load
Profiling in Distributed Real-Time Systems: One Size Doesn't Fit All.
Technical Report BUCS-TR-1996-017, Boston University, Computer Science
Department, August 1996.
- Azer Bestavros.
Proceedings
of the 17th Real-Time Systems Symposium WIP Session.
Technical Report BUCS-TR-1996-027, Boston University, Computer Science
Department, December 1996.
- Azer
Bestavros and Gitae Kim.
TCP
Boston: A Fragmentation-tolerant TCP Protocol for ATM Networks.
Technical Report BUCS-TR-1996-014, Boston University, Computer Science
Department, July 1996.
- Azer Bestavros and Sue Nagy.
An
Admission Control Paradigm for Real-Time Databases.
Technical Report BUCS-TR-1996-002, Boston University, Computer Science
Department, January 1996.
- Azer
Bestavros, Marina Chen, Mark Crovella, Abdelsalam Heddaya, Stan Sclaroff, and
James Cowie.
Responsive Web
Computing: Resource Management, Protocol Techniques, and Applications (A
research statement).
Technical Report BUCS-TR-1996-008, Boston University, Computer Science
Department, March 1996.
- Azer Bestavros, Kwei-Jay Lin, and Sang Son.
RTDB'96: The
First International Workshop on Real-Time Database Systems (Workshop
Report).
Technical Report BUCS-TR-1996-013, Boston University, Computer Science
Department, July 1996.
- Azer Bestavros.
Demand-based
Document Dissemination for the World Wide Web.
Technical Report BUCS-TR-1995-003, Boston University, CS Dept, Boston, MA
02215, February 1995.
- Azer Bestavros.
Using
Speculation to Reduce Server Load and Service Time on the World Wide
Web.
Technical Report BUCS-TR-1995-006, Boston University, CS Dept, Boston, MA
02215, April 1995.
- Azer Bestavros and Carlos Cunha.
A Prefetching
Protocol Using Client Speculation for the World Wide Web.
Technical Report BUCS-TR-1995-011, Boston University, CS Dept, Boston, MA
02215, April 1995.
- Azer
Bestavros and Yueh-Lin Liu.
Simulation
of Hardware Dynamic Scheduling on the DLX Architecture.
Technical Report BUCS-TR-1995-013, Boston University, CS Dept, Boston, MA
02215, June 1995.
- Azer
Bestavros, Robert Carter, Mark Crovella, Carlos Cunha, Abdelsalam Heddaya,
and Suliman Mirdad.
Application
Level Document Caching in the Internet.
Technical Report BUCS-TR-1995-002, Boston University, CS Dept, Boston, MA
02215, January 1995.
- Patrick Cai and Azer
Bestavros.
Object-Oriented
Animation on the World Wide Web.
Technical Report BUCS-TR-1995-012, Boston University, CS Dept, Boston, MA
02215, May 1995.
- Mark Crovella and Azer Bestavros.
Explaining
World Wide Web Traffic Self-Similarity.
Technical Report BUCS-TR-1995-015, Boston University, CS Dept, Boston, MA
02215, August 1995.
- Carlos Cunha, Azer Bestavros, and Mark Crovella.
Characteristics
of World Wide Web Client-based Traces.
Technical Report BUCS-TR-1995-010, Boston University, CS Dept, Boston, MA
02215, April 1995.
- Azer Bestavros.
Towards
physically-correct specifications of embedded real-time systems.
Technical Report BUCS-TR-1994-008, Computer Science Department, Boston
University, Boston, MA, May 1994.
This report supersedes BU-TR-93-012.
- Azer Bestavros and Spyridon Braoudakis.
Timeliness
via speculation for real-time databases.
Technical Report BUCS-TR-1994-007, Computer Science Department, Boston
University, Boston, MA, May 1994.
- Thomas Marlowe, William Pugh, Ted Baker, Azer Bestavros,
Ron Cytron, and Victor Fay Wolfe.
Proceedings
of the ACM SIGPLAN Workshop on Language, Compiler, and Tool Support for
Real-Time Systems.
Technical Report CS-TR-3342, Dept. of Computer Science, Univ. of Maryland,
College Park, MD, August 1994.
Also cross-referenced as UMIACS-TR-94-104.
- Azer Bestavros.
Building
Responsive Systems from Physically-correct Specifications.
Technical Report BUCS-TR-1993-012, Computer Science Department, Boston
University, Boston, MA, July 1993.
- Azer Bestavros.
Speculative
Concurrency Control.
Technical Report BUCS-TR-1993-002, Computer Science Department, Boston
University, Boston, MA, February 1993.
- Azer Bestavros and Mohammad Makarechian.
AIDA-based
Distributed File System.
Technical Report BUCS-TR-1993-020, Computer Science Department, Boston
University, December 1993.
- Azer Bestavros and Biao Wang.
Multi-version
speculative concurrency control with delayed commit.
Technical Report BUCS-TR-1993-014, Computer Science Department, Boston
University, Boston, MA, October 1993.
- Azer Bestavros, Spyridon Braoudakis, and Euthimios Panagos.
Performance
Evaluation of Two-shadow Speculative Concurrency Control.
Technical Report BUCS-TR-1993-001, Computer Science Department, Boston
University, Boston, MA, January 1993.
- Azer Bestavros.
AIDA-based
Reliable Communication for Time-Critical Distributed Systems.
Technical Report BUCS-TR-1992-020, Computer Science Department, Boston
University, Boston, MA, November 1992.
- Azer Bestavros.
Speculative
Concurrency Control: A Position Statement.
Technical Report BUCS-TR-1992-016, Computer Science Department, Boston
University, Boston, MA, July 1992.
- Azer Bestavros and Spyridon Braoudakis.
A
family of Speculative Concurrency Control Algorithms.
Technical Report BUCS-TR-1992-017, Computer Science Department, Boston
University, Boston, MA, July 1992.
- Azer Bestavros and Natalya Fridman.
Implementation
of a Vectorized and Pipelined DLX Simulator.
Technical Report BUCS-TR-1992-018, Computer Science Department, Boston
University, Boston, MA, August 1992.
- Azer
Bestavros, Devora Reich, and Robert Popp.
CLEOPATRA
Compiler Design and Implementation.
Technical Report BUCS-TR-1992-019, Computer Science Department, Boston
University, Boston, MA, August 1992.
- Azer Bestavros.
ESPRIT: Executable Specification of Parallel Real-time Interactive Tasks.
Technical Report TR-06-90, Department of Computer Science, Harvard University,
Cambridge, MA, September 1990.
- Azer Bestavros.
The Input Output Timed Automaton: A Model for Real-Time Parallel Computation.
Technical Report TR-12-90, Department of Computer Science, Harvard University,
Cambridge, MA, October 1990.
- Azer Bestavros and Thomas Cheatham.
Efficient Execution of Homogeneous Tasks with Unequal Run Times on the
Connection Machine.
Technical Report TR-22-90, Department of Computer Science, Harvard University,
Cambridge, MA, August 1990.
- Azer
Bestavros.
IDA-based
Disk Arrays.
Technical Memorandum 45312-890707-01TM, AT&T, Bell Laboratories, Department
45312, Holmdel, NJ, July 1989.
- Azer Bestavros.
SETH: A
VLSI Chip for the Real-Time Information Dispersal and Retrieval for Security
and Fault-Tolerance.
Technical Report TR-06-89, Harvard University, Department of Computer Science,
DAS, Aiken Computation Lab, Cambridge, Massachusetts, May 1989.
- Azer Bestavros.
The Input Output Real-Time Automaton.
Technical Report TR-12-89, Harvard University, Department of Computer Science,
DAS, Aiken Computation Lab, Cambridge, Massachusetts, October 1989.
(Revision of August 1988 version).
- Azer Bestavros, Danny Chen, and Wing Wong.
The
Reliability and Performance of Parallel Disks.
Technical Memorandum 45312-891206-01TM, AT&T, Bell Laboratories, Department
45312, Holmdel, NJ, December 1989.
- Azer Bestavros.
An Algorithm for Self Diagnosis in Distributed Systems.
Technical Report TR-11-88, Harvard University, Department of Computer Science,
DAS, Aiken Computation Lab, Cambridge, Massachusetts, April 1988.
- Azer Bestavros and William McKeeman.
Parallel Bin Packing Using First-Fit and K-Delayed Best-fit Heuristics.
Technical Report TR-16-88, Harvard University, Department of Computer Science,
DAS, Aiken Computation Lab, Cambridge, Massachusetts, June 1988.
PUBLICATIONS IN OTHER VENUES
- Evimaria Terzi, Azer Bestavros, Dora Erdos, and Vatche Ishakian.
Towards
Generalized Centrality Measures with Applications to Information
Networks.
NSF Workshop on Social Networking and Mobility in the Cloud, February
2012.
- Benyuan
Liu, Azer Bestavros, Ding-Zhu Du, and Jie Wang.
Editorial on
Research Advances in Wireless Algorithms, Systems, and Applications.
EURASIP Journal on Wireless Communications and Networking, August 2010.
- Rick Schantz, Jake Beal, Joe Loyall, Partha Pal, Kurt Rohloff,
and Azer Bestavros.
Research
Challenges in Information Systems for the Next Generation Electric Grid.
NITRD Workshop on New Research Directions for Future Cyber-Physical Energy
Systems, June 2009.
- Azer Bestavros.
Workshop on the instrumentation needs of cise research (presentation of final
recommendations), 2008.
Presented at CRA Snowbird'08 COnference and available from
url http://archive.cra.org/Activities/snowbird/2008/slides/bestavros.instrumentation.pdf.
- Azer Bestavros.
If GENI is a
Programmable Architecture then What (Real-Time) Instruction Set Architecture
should GENI have?.
Position Statement at NSF Workshop on Real-Time GENI, February 2006.
- Azer Bestavros.
Towards Safe and
Scalable Compositional Analysis and Programming.
Position Statement at NSF Workshop on High-Confidence Software Systems, October
2006.
- Azer Bestavros.
Towards Trusted
Adaptation Dynamics in Computing Systems and Networks.
Position Statement at NSF Workshop on Next Generation Secure Internet, July
2005.
- Mina Guirguis, Azer Bestavros, and Ibrahim Matta.
Adaptation
= Vulnerability: Under RoQ Attacks.
In ACM SIGCOMM 2004 (Poster Session), Portland, Oregon, August
2004.
- Kanishka
Gupta, Azer Bestavros, and Ibrahim Matta.
Context-aware
Real-time Scheduling.
In RTAS 2004: IEEE Real-Time and Embedded Technology and Applications
Symposium (WIP Session), Toronto, Canada, May 2004.
- Mina
Guirguis, Azer Bestavros, and Ibrahim Matta.
XQM:
eXogenous-loss aware Queue Management.
In IEEE ICNP 2003 (Poster Session), Atlanta, Georgia, November
2003.
- Shudong Jin and Azer Bestavros.
An
Empirical Study of Inherent Routing Bias in Variable-degree networks.
Unpublished manuscript, January 2003.
- Azer
Bestavros, John Byers, Mark Crovella, Paul Barford, Ibrahim Matta, and
Michael Mitzenmacher.
BU/NSF
Workshop on Internet Measurement Instrumentation and Characterization.
NSF Workshop Report (Also available as Boston University Technical Report
BUCS-TR-1999-019), December 1999.
- Azer
Bestavros, Ann Cavoukian, Lorrie Faith Cranor, Josef Dietl, Daniel Jaye,
Marit Kohntopp, Tara Lemmey, Steven Lucas, Massimo Marchiori, Dave Marvit,
Maclen Marvit, Yossi Matias, James S. Miller, Deirdre Mulligan, Joseph
Reagle, Drummond Reed, and Lawrence C. Stewart.
P3P Guiding Principles
.
W3C Technical Note (P3P10-19980721), July 1998.
- Azer Bestavros.
CLEOPATRA -- A Programming Environment for Embedded Time-critical Systems.
Final Report for Research Initiation Award CCR-9308344, The National Science
Foundation, CISE, Washington DC, January 1997.
- Azer Bestavros.
Real-time Computer Monitoring & Control Methodologies to Aid in the Study of
Protein Interactions for Biosensor Applications.
Final Report for Grant: DAAH04-94-G-0095, The US Army Research Office, In
collaboration with ARO Natick Labs, January 1997.
- Azer Bestavros.
Advances
in Real-Time Database Systems Research.
ACM SIGMOD Record, 25(1):3-8, March 1996.
(Research Topic Review).
- Azer Bestavros,
Kwei-Jay Lin, and Sang Son.
Real-Time
Databases: Issues and Applications.
ACM SIGMOD Record, 25(3), September 1996.
(Workshop Review).
- Azer Bestavros.
Information Dissemination and Speculative Service: Two Candidate
Functionalities for the Middleware Infrastructure.
A Position Statement in SIGCOMM'95: Workshop on Middleware, Cambridge, MA,
August 1995.
- Azer Bestavros.
Models, Languages, and Architectures of Parallel Computers.
An Invited Presentation to the BU/NSF High Performance Computing Workshop for
Educators, June 1995.
- Azer Bestavros,
Roscoe Giles, Abdelsalam Heddaya, Steve Homer, and Claudio Rebbi.
The Boston University
Parallel Curriculum.
Proceedings of the First Wellesley Forum on Parallel Computing Curricula, March
1995.
- Azer Bestavros.
Parallel Computing: From Architectures to Programming Languages.
An Invited Presentation to the BU/NSF High Performance Computing Workshop for
Educators, May 1994.
- Azer Bestavros,
Richard Gerber, and Steve Masticola.
Language,
Compiler, and Tool Support for Real-Time Systems.
ACM SIGPLAN Notices, December 1994.
(Workshop Review).
- Azer Bestavros.
Speculative Concurrency Control: On Being Neither Optimistic Nor Pessimistic.
A Position Statement in IEEE RTOSS'92: Panel on Real-Time Databases, June
1992.
- Azer Bestavros.
A New Environment for Developing Real-Time Embedded Systems.
Internal Report, Department of Computer Science, Harvard University, April
1989.
- Azer Bestavros.
SETH: A VLSI Chip for the Dispersal and Retrieval of Information for
Security and Fault-Tolerance.
In the Massachusetts Microelectronic Center (M2C) newsletter, March
1989.
- Azer Bestavros.
The Michael-Merlin Connection: Programming tools for the remote control
of the American Cimflex robot.
Robotics Laboratory, Harvard University, Cambridge, MA, September 1988.
- Azer Bestavros.
Depth Estimation in a System with a Mobile Camera.
Internal Report, Department of Computer Science, Harvard University, December
1987.
- Azer Bestavros.
On automatic programming.
Internal Report, Department of Computer Science, Harvard University, December
1987.
- Azer Bestavros.
Very High Level programming Languages.
Internal Report, Department of Computer Science, Harvard University, December
1987.
- Azer Bestavros
and Ahmed Belal.
MasterMind: A
Game of Diagnostic Strategies.
Bulletin of the Faculty of Engineering, Alexandria University, December
1986.
PATENTS AND DISCLOSURES
- Mark Reynolds, Azer
Bestavros, and Assaf Kfoury.
Software Inspection System.
Patent Application Number US 13780448, filed by Boston University on February
28, 2013. Technology is basis of a BU startup incubated at the Hariri
Institute for Computing, 2013.
- Mark Reynolds, Azer Bestavros, and Assaf Kfoury.
Software Inspection System and Certification: Innovative Cloud-Based Malware
Detection.
Invention Disclosure and Provisional Patent Application Filed by BU, 2012.
- Vijay Basani,
Krishna Mangiapudi, Lynne Murach, Leroy Karge, Vitaly Revsin, Azer Bestavros,
Mark Crovella, and Domenic LaRosa.
Method
and apparatus for election of group leaders in a distributed network.
United States Patent Number US 7,451,221, issued November 11, 2008 (Priority
Date: March 3, 2005). Technology is licensed to Network Appliance Inc.,
2008.
- Vijay Basani,
Krishna Mangiapudi, Lynne Murach, Leroy Karge, Vitaly Revsin, Azer Bestavros,
Mark Crovella, and Domenic LaRosa.
System
for creating and distributing prioritized list of computer nodes selected as
participants in a distributed job.
United States Patent Number US 7,346,682, issued March 18, 2008 (Priority Date:
April 20, 2004). Technology is licensed to Network Appliance Inc., 2008.
- Vijay Basani,
Krishna Mangiapudi, Lynne Murach, Leroy Karge, Vitaly Revsin, Azer Bestavros,
Mark Crovella, and Domenic LaRosa.
Method
and apparatus for election of group leaders in a distributed network.
United States Patent Number US 6,993,587, issued on January 31, 2006 (Priority
Date: April 7, 2000). Technology is licensed to Network Appliance Inc.,
2006.
- Azer Bestavros
and Ibrahim Matta.
Providing Soft Bandwidth Guarantees Using Elastic TCP-Based Tunnels.
Patent Application Number US 20050259689, filed by Boston University on April
1, 2005. Technology is licensed to SUTI Inc., 2005.
- Vijay Basani,
Krishna Mangiapudi, Lynne Murach, Leroy Karge, Vitaly Revsin, Azer Bestavros,
Mark Crovella, and Domenic LaRosa.
Method
and apparatus for reliable and scalable distribution of data files in
distributed networks.
United States Patent Number US 6,718,361, issued on April 6, 2004 (Priority
Date: April 7, 2000). Technology is licensed to Network Appliance Inc.,
2004.
- Vijay Basani,
Krishna Mangiapudi, Lynne Murach, Leroy Karge, Vitaly Revsin, Azer Bestavros,
Mark Crovella, and Domenic LaRosa.
Method
and apparatus for scalable distribution of information in a distributed
network.
United States Patent Number US 6,748,447, issued on June 8, 2004 (Priority
Date: April 7, 2000). Technology is licensed to Network Appliance Inc.,
2004.
- Azer
Bestavros and Mark Crovella.
Distributed
Routing.
United States Patent Number US 6,370,584, issued on April 9, 2002 (Priority
Date: September 1, 1998). Technology is licensed to Commonwealth Network
Technologies, Inc. (now part of Network Appliance Inc.), 2002.
- Azer Bestavros.
DNS-based client profiling and characterization on the Internet.
Invention Disclosure and Provisional Patent Application Filed by BU, 2000.
- Azer Bestavros.
Split Caching and its Application to Caching Multimedia Content on the Web.
Invention Disclosure and Provisional Patent Application Filed by BU, 2000.
- Azer Bestavros and Alia Atlas.
Statistical Rate Monotonic Scheduling.
Invention Disclosure and Provisional Patent Application Filed by BU. Technology
is licensed to Tripacific Software, Inc., 1999.
GRANTS AND CONTRACTS
- Azer
Bestavros and Assaf Kfoury.
FORMSEC: Formal Methods for Embedded
System Security.
Draper Laboratories ($110,000), 2014.
- Azer Bestavros, Christos Cassandras, Lucy Hutyra, and Evimaria
Terzi.
SCOPE: A
Smart-city Cloud-based Open Platform and Ecosystem.
NSF IIP PFI:BIC Award #1430145 ($800,000), 2014.
- Azer Bestavros, Orran Krieger, James Cuff, Peter
Desnoyers, and John Goodhue.
The Massachusetts Open Cloud.
The Massachusetts Technology Collaborative Matching Grant Program
($3,000,000), 2014.
- Ran Canetti, Azer Bestavros, Sharon Goldberg, George
Kollios, Orran Krieger, , and Jonathan Appavoo.
MACS: A
Modular Approach to Cloud Security.
NSF CISE CNS/SaTC Award #1414119 ($10,000,000), 2014.
- Azer
Bestavros and Assaf Kfoury.
FORMSEC: Formal Certification of
ARM-based Software.
Draper Laboratories ($110,000), 2013.
- Ran
Canetti, Azer Bestavros, Sharon Goldberg, George Kollios, Orran Krieger, ,
and Jonathan Appavoo.
EAGER:
Holistic Security for Cloud Computing: Verifiable Computation.
NSF CISE CNS EAGER Award #1347522 ($200,000), 2013.
- Evimaria Terzi and Azer Bestavros.
Generalized Centrality Measures with Applications to Information Networks.
Google 2012 Faculty Research Award ($38,000), 2012.
- Azer Bestavros.
Delegation of Authority Web Services.
Air Force Research Laboratory/BBN Subcontract ($60,000). Award returned due
to DFAR restriction on publications which is unacceptable by Boston
University, 2010.
- Azer Bestavros and Assaf Kfoury.
Cross-Domain Identity Management and Entitlement.
Air Force Research Laboratory/BBN Subcontract ($100,000). Award returned due
to DFAR restriction on publications which is unacceptable by Boston
University, 2010.
- Azer Bestavros
et al.
Towards
Trustworthy Interactions in the Cloud.
NSF CISE CNS Award #0952145 ($3,000,000), 2010.
- Azer Bestavros.
EAGER:
Towards a Marketplace for Colocation of Cloud Services.
NSF CISE CNS Award #0952145 ($199,810), 2009.
- Azer Bestavros.
US-Middle
East: Regional Workshop On Emerging Networking Research.
NSF CISE/CNS & OISE Award #0958498 ($165,352), 2009.
- Assaf Kfoury, Azer Bestavros, and Ibrahim Matta.
Genericity
in Network Software: Using Type Systems and Formal Methods to Harness Diverse
Theories and Calculi for Scalable and Safe Compositions of Network
Services.
NSF CISE/CCF SRS Award #0820138 ($400,000), 2008.
- Azer Bestavros, Assaf Kfoury, and Ibrahim Matta.
Leveraging
Type Systems for the Development of High-Assurance Cyber-Physical Systems and
Appications.
NSF CISE/CSR EHS/CPS Award #0720604 ($99,999), 2007.
- Christos Cassandras, Azer Bestavros, Robert Gao, Weibo
Gong, and Yannis Paschalidis.
EFRI-ARESCI:
Event-Driven Sensing for Enterprise Reconfigurability and Optimization.
NSF ENG EFRI Award #0735974 ($1,999,573), 2007.
- Christos Cassandras, Azer Bestavros, and Yannis
Paschalidis.
A
Cyber-Physical Infrastructure for the "Smart City".
NSF CPS Award #1287343 ($1,000,000), 2007.
- Azer Bestavros.
BU/CS Industrial Affiliates Program.
Microsoft University Relations. ($25,000), 2005.
- Azer Bestavros.
ICNP
2005 Travel Awards in Support of Graduate Students, Minority, and
Minority-Serving Faculty.
NSF CISE/CNS Award #0548724 ($25,000), 2005.
- Azer Bestavros.
Performance Profiling of End-Host Intrusion Detection Systems.
Fortress Technologies. ($37,000), 2005.
- Azer
Bestavros and Ibrahim Matta.
Towards
Trusted Adaptation Dynamics in Computing Systems and Networks.
NSF CISE/CNS Cybertrust Award #0524477 ($300,000), 2005.
- John
Byers and Azer Bestavros.
Expressive
Resource Specification and Discovery in Configurable Networks.
NSF CISE/CNS NeTS-NBD Award #0520166 ($390,000), 2005.
- Ibrahim Matta and Azer Bestavros.
Cellular Network IP Traffic Measurement and Characterization.
Sprint Advanced Technology Labs, IP Group. ($25,000), 2005.
- Azer Bestavros.
BU/CS Industrial Affiliates Program.
Microsoft University Relations. ($65,000), 2004.
- Azer Bestavros.
BU/CS Industrial Affiliates Program.
Microsoft University Relations. ($60,000), 2003.
- Azer Bestavros, John Byers, Mark Crovella, and Ibrahim Matta.
IP Network Characterization, Analysis, and Evaluation.
Sprint Advanced Technology Labs, IP Group. ($60,000), 2003.
- Azer Bestavros.
BU/CS Industrial Affiliates Program.
Microsoft University Relations. ($25,000), 2002.
- Azer Bestavros and Assaf Kfoury (et al.).
Internet
Flows as First-Class Values: Support for Dynamic, Flexible Internet
Services.
NSF CISE/ANIR ITR Award #0205294 ($1,665,497), 2002.
- Azer Bestavros
(et al.).
CISE
Research Infrastructure: SENSORIUM: Research Infrastructure for Managing
Spatio-Temporal Objects in Video Sensor Networks.
NSF CISE/EIA Research Infrastructure Award #0202067 and Boston University
Cost Sharing ($1,247,395 + $414,912), 2002.
- Azer Bestavros.
BU/CS Industrial Affiliates Program.
Microsoft University Relations. ($25,000), 2001.
- Ibrahim Matta, Azer Bestavros, and Mark Crovella.
A
Control Theoretic Approach to the Design of Internet Traffic Managers.
NSF CISE/ANIR Special Project in Networking Award #0095988 ($719,968),
2000.
- Azer Bestavros, John Byers, and Mark Crovella.
Diagnosis
and Control of Network Variability by Massively Accessed Servers.
NSF CISE/ANIR Special Project in Networking Award #9986397 ($1,210,768),
1999.
- Azer Bestavros, John Byers, and Mark Crovella.
Internet
Measurement, Instrumentation and Characterization, held on August 30, 1999 at
Boston University.
NSF CISE/ANIR Award #9985484 ($11,494), 1999.
- Azer Bestavros.
Large-scale WWW Services on the NT Platform.
Microsoft University Relations. ($20,000), 1998.
- Azer Bestavros and Mark Crovella.
COMMONWEALTH:
Architecture and Protocols for Scalable WWW Service.
NSF CISE/EIA Experimental Software Systems Award #9706685 ($590,087),
1997.
- Azer Bestavros.
Speculative Concurrency Control for Distributed Real-time Database Systems.
GTE Laboratories, University Support Program ($25,000), 1995.
- Azer Bestavros, Marina Chen, and Abdelsalam Heddaya.
Real-time,
Multimedia and High Performance Computing in Distributed Systems.
NSF CISE/EIA Research Instrumentation Award #952940 ($95,167), 1995.
- Azer Bestavros.
Real-Time Computer Monitoring and Control Methodologies.
Army Research Office, University Basic Research., 1994.
- Azer Bestavros.
Cleopatra:
A Programming Environment for Embedded Time-Critical Systems.
NSF CISE/CCR Research Initiation Award #9308344 ($99,807), 1993.