"Julie Bindel"@cs .