@inproceedings{key,
 author = {Brian Demsky and Martin C. Rinard},
 title = {Automatic Detection and Repair of Errors in Data Structures},
 booktitle = {Proceedings of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications},
 pages = {78--95},
 location = {Anaheim, California},
 month = {October},
 year = {2003}
}