"Pratap Lakshman"@cs .