Group 1: Pass-by-Value Services in Object Component Software - Michele Co, Jinze Liu, Yannick Loitiere, Andrea Rowan
Group 2: Exception Mechanisms - Anirban De, Jeffrey Harry, Yves Lepouchard, Peixian Li, Pinchao Lu
Group 3: Static Detection of Buffer Overflow in C using LCLint - Yanlin "Bill" Huang, David Larochelle, Avneesh Saxena, Seejo Sebastine
Group 4: Java ParTy: Java With Parameterized Types - Song Li, Ying Lu, Michael Walker, Hexin Wang
Group 5: Tabasco: A Static Security Checking Tool for Python - Yu Lin, Yiting Nan, Mike Smoot, Jianrong Zhang
Group 6: JIST: Java with Lists - James McCliggott, Geoff Stoker, Joel Winstead, Greg Yukl
|
University of Virginia CS 655: Programming Languages |
cs655-staff@cs.virginia.edu Last modified: Mon Feb 26 12:48:13 2001 |