@Misc{User-level-sandboxing,
  key = 	 {ULS},
  author = 	 {Richard West},
  title = 	 {User-level Sandboxing: 
http://www.cs.bu.edu/fac/richwest/sandboxing.html},
  OPThowpublished = {},
  OPTmonth = 	 {},
  OPTyear = 	 {},
  note = 	 {Software available upon request},
  OPTannote = 	 {}
}

@misc{ijs-bch-impl,
title={An Implementation of Syndrome Encoding and Decoding for Binary
{BCH} codes, Secure Sketches and Fuzzy Extractors},
author={Kevin Harmon and Soren Johnson and Leonid Reyzin},
url={\url{http://www.cs.bu.edu/~reyzin/code/fuzzy.html}}
}


@misc{LHKR06,
author={Feifei Li and Marios Hadjieleftheriou and George Kollios and
Leonid Reyzin},
title={Implementation of Authenticated Index Structures for Outsourced
Databases},
url={\url{http://cs-people.bu.edu/lifeifei/aisl/}}
}

@misc{ATS,
author = "Hongwei Xi",
title = {{Applied Type System}},
url = {{http://www.cs.bu.edu/\char126hwxi/ATS}},
year = "2006",
}

@Misc{SMAmatlab,
  author = "Romer Rosales and Stan Sclaroff",
  title = 	 {Matlab Implementation of Human Pose Estimation Algorithms},
  howpublished = {http://www.cs.bu.edu/groups/ivc/Software/SMACode.htm}
}

@Misc{HandData, author="Vassilis Athitsos and Stan Sclaroff", 
title="Hand image database for use in testing systems for hand pose estimation",
howpublished={http://www.cs.bu.edu/groups/ivc/Data/}, 
}

@misc{BodyPoseSW,
author="R.\ Rosales and S.\ Sclaroff",
title="{Matlab implementation of articulated body pose algorithms}",
howpublished="{Beta implementation available to collaborators at other institutions: Rutgers, Ohio State U, U Palermo and U Florence}",
note="software will be made available for Public FTP after Beta"}

@unpublished{HarfoushBestavros:periscope02,
  author = {Khaled Harfoush and Azer Bestavros}, 
  title = {{Periscope: A Linux API for active measurements of Internet internal characteristics using user-defined probing structures}}, 
  month = {September}, 
  year = {2002},
  note = {Available from http://www.csc.ncsu.edu/faculty/harfoush/periscope.htm}
}

@misc{KfoWasWelITRS-2002,
  author =      {Assaf Kfoury and Geoff Washburn and Joe Wells},
  title =        {Implementing Compositional Analysis Using
                  Intersection Types With Expansion Variables},
  url =
{http://www.church-project.org/reports/electronic/Kfo+Was+Wel:ITRS-2002.pdf},
  abstract = {A program analysis is \emph{compositional} when the analysis
result for a particular program fragment is obtained solely from the
results for its immediate subfragments via some composition operator.  This
means the subfragments can be analyzed independently in any order.  Many
commonly used program analysis techniques (in particular, most abstract
interpretations and most uses of the Hindley/Milner type system) are not
compositional and require the entire text of a program for sound and
complete analysis.  \par System I is a recent type system for the pure
$\lambda$-calculus with intersection types and the new technology of
expansion variables.  System I supports compositional analysis because it
has the \emph{principal typings} property and an algorithm based on the new
technology of $\beta$-unification has been developed that finds these
principal typings.  In addition, for each natural number $k$, typability in
the rank-$k$ restriction of System I is decidable, so a complete and
terminating analysis algorithm exists for the rank-$k$ restriction.  \par
This paper presents new underst  anding that has been gained from working
with multiple implementations of System I and $\beta$-unification-based
analysis algorithms.  The previous literature on System I presented the
type system in a way that helped in proving its more important theoretical
properties, but was not as easy for implementers to follow as it could be.
This paper provides a presentation of many aspects of System I that should
be clearer as well as a discussion of important implementation issues.}}

@misc{GuoMatta:ITMmice-elephants03,
  author = "Liang Guo and Ibrahim Matta",
  title = {{Size-aware Scheduling of TCP Flows}},
  howpublished = "{Boston University, The Traffic Managers Project}",
  month = "May",
  year = 2003 
}

@misc{AlbertoMattaTaft:TM03,
  author = "Alberto Medina and Ibrahim Matta and Nina Taft",
  title = {{Traffic Analysis Toolkit}},
  howpublished = "{Boston University and Sprint}",
  year = 2003 
}


@Misc{IZ03,
Author= {Gene Itkis and Tianye Zhang},
Title= {Java-Based Implementation of the Intrusion-Resilient
Signatures},
Year=2003,
Annote="Java Implementation of the Itkis-Reyzin Signer-Base
Intrusion-Resilient (SiBIR) signature scheme",
note={Available from {\tt http://sibir.bu.edu}},
}

@unpublished{BradleyBestavrosKfoury:phpstaxml04,
  author = {Adam Bradley and Azer Bestavros and Assaf Kfoury}, 
  title = {{The StaXML for PhP Web Gateway}}, 
  month = {January}, 
  year = {2004},
  note = {Available from http://cs-people.bu.edu/artdodge/research/ibench/staxml/php/gateway/staxphp.php}
}

@unpublished{GuirguisBestavrosMattaRigaDiamantZhang:itmbench03,
  author = {Mina Guirguis and Azer Bestavros and Ibrahim Matta and Niky Riga and Gali Diamant and Yuting Zhang},
  title = {{ITMbench: A Linux API for Internet Traffic Management}},
  month = {December}, 
  year = {2003},
  note = {Available from http://www.cs.bu.edu/groups/itm/itmBench/index.html}
}

@TECHREPORT{Hal+Kfo:BUCS-TR-2004-004,
  AUTHOR = {Joseph J. Hallett and Assaf J. Kfoury},
  TITLE = {Programming Examples Needing Polymorphic Recursion},
  INSTITUTION = {Department of Computer Science, Boston University},
  YEAR = 2004,
  MONTH = JAN,
  TYPE = {Technical Report},
  NUMBER = {BUCS-TR-2004-004},
  PDF = 
{http://www.church-project.org/reports/electronic/Hal+Kfo:BUCS-TR-2004-004.pdf},
  POSTSCRIPT = 
{http://www.church-project.org/reports/electronic/Hal+Kfo:BUCS-TR-2004-004.ps.gz},
  XPOSTSCRIPT = 
{http://www.cs.bu.edu/techreports/2004-004-polymorphic-recursion-progams.ps.Z},
  XPDF = 
{http://www.cs.bu.edu/techreports/pdf/2004-004-polymorphic-recursion-progams.pdf}
}