"Ad\u017E\u00E1n Tong Sirimangalo"@cs .