Ton Chanh Le - PLDI 2015

Sat 13 - Wed 17 June 2015 Portland, Oregon, United States

Registered user since Fri 27 Feb 2015

Name:Ton Chanh Le

Country:Singapore

Affiliation:National University of Singapore

Personal website: http://www.comp.nus.edu.sg/~chanhle/

Research interests:Software Verification, Termination, Non-Termination

Contributions

2015

PLDI

Termination and Non-Termination Specification Inference

Show activities from other conferences

PLDI 2015-profile
View general profile