iBench Meetings

iBench People iBench Projects iBench Papers iBench Meetings

horizontal rule

 

Group Meetings

The iBench initiative is a collaboration that spans three main research groups in the Computer Science Department at Boston University:

bullet

The WING Networking Group

bullet

The BOSS Systems Group

bullet

The CHURCH Programming Languages Group

These various groups alternate in hosting iBench "super group" meetings, in which topics that are pertinent to the iBench agenda in each one of these disciplines are discussed. In addition to these general meetings, participants in specific iBench projects have regular, more focused project meetings. For more information on these meetings, please contact any of the faculty members associated with iBench.

 

iBench Presentations

The following are future/past iBench meeting presentations, with pointers to slides when available:

[03/13/06] Azer Bestavros TRAFFIC: Typed Representation and Analysis of Network Flows for Scalable and Practical Interoperability Checks
[05/25/05] Adam Bradley If You Build It, They Will Come: The snBench Architecture
[05/13/05] Azer Bestavros snBench: The Sensor Network Programming Workbench
[03/29/04] Ibrahim Matta Traffic Controllers as Building Blocks: Toward Safely Composing New Network Services
[03/29/04] Azer Bestavros Controllers as Typed Gadgets
[03/18/04] Greg Morrisett Implementing a Garbage Collector in Cyclone
[02/11/04] Gary Wong Motes/Sensor net programming (Part 2)
[02/04/04] Gary Wong Motes/Sensor net programming (Part 1)
[05/01/03] Hongwei Xi Facilitating Program Verification with Dependent Types
[04/10/03] Rich West An Operating Systems Perspective on Cyclone
[03/24/03] Adam Bradley Systematic Verification of Safety Properties of Arbitrary Network Protocol Compositions Using CHAIN
[02/27/03] Assaf Kfoury What types are good for? Programming with Safety, with Secrecy and Integrity
[02/14/03] Rich West Using Memory-safe Programming Languages in an Architecture for Safe Extensible System Services

 

Other Noteworthy Efforts

There are a number of national and international efforts with goals that are either similar or complementary to the goals of the iBench initiative. Pointers to these efforts are listed below (in no particular order!)

bullet

The SafetyNet Project

bullet

The Ensemble Distributed Communication System

bullet

Totem: Robust Distributed Systems for Real-Time Applications

bullet

The Spread Toolkit

bullet

The SwitchWare Project

bullet

The Tau Project

bullet

The Spidle Project

bullet

The Ptolemy Project

bullet

The Resource Aware Project

bullet

The NetScript Project

 

horizontal rule

(C) Copyright 2004. All rights reserved.
Updated last on September 10, 2004

 

iBench Home

Any opinions, findings, conclusions, or recommendations expressed in materials available from this site are those of the author(s) and do not necessarily reflect the views of Boston University or of the National Science Foundation.