Registered user since Mon 4 Sep 2017

Name: Joxan Jaffar

Affiliation: National University of Singapore

PLDI 2015 Activities

• Author of Automatic Induction Proofs of Data-Structures in Imperative Programs within the Research Papers-track in PLDI 2015
• Show activities from other conferences