Publications
Export 383 results:
[ Author] Title Type Year Filters: First Letter Of Last Name is H [Clear All Filters]
2010. Viewpoint Adapting agile software development methodology toward more efficient management of academic research groups.. Communications of the ACM. 53(10):30-30.
2006. Lock inference for atomic sections. Proceedings of the First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing.
2003. User-specified adaptive scheduling in a streaming media network. 2003 IEEE Conference on Open Architectures and Network Programming. :87-96.
1998. A study of large object spaces. Proceedings of the 1st international symposium on Memory management. :138-145.
2007. Analyzing information flow. Conference on Programming Language Design and Implementation: Proceedings of the 2007 workshop on Programming languages and analysis for security.
2002. Experiences with capsule-based active networking. DARPA Active NEtworks Conference and Exposition, 2002. Proceedings. :16-24.
2002. A secure PLAN (extended version). DARPA Active NEtworks Conference and Exposition, 2002. Proceedings. :224-237.
2005. Dynamic updating of information-flow policies. Proceedings of the International Workshop on Foundations of Computer Security (FCS).
1995. A modified cellular automata model of nucleotide interactions and non-enzymatic transcription of DNA. inbs. :136-136.
2015. Environmental Surveillance for Toxigenic Vibrio cholerae in Surface Waters of Haiti. The American Journal of Tropical Medicine and Hygiene. 92(1):118-125.
2008. CiCUTS: Combining System Execution Modeling Tools with Continuous Integration Environments. Engineering of Computer-Based Systems, IEEE International Conference on the. :66-75.
2006. Recurring genomic breaks in independent lineages support genomic fragility. BMC Evolutionary Biology. 6(1):90-90.