Kuo Yen Wen

• Machine parameter deduction by program analysis