DBLP Keys for 'David Mandelin'

# of records = 5

homepages/94/615 conf/pldi/GalESAMHKHZORSRBCF09 conf/icse/MandelinKY06 conf/pldi/MandelinXBK05 conf/pldi/AmmonsMBL03