Joxan Jaffar

Registered user since Mon 4 Sep 2017

Name: Joxan Jaffar

Bio: 1982-1986: Lecturer, Monash University 1986-1995: Research Staff Member, IBM T.J. Watson Research Center 1995-Present: Professor of Computer Science, National University of Singapore

Country: Singapore

Affiliation: National University of Singapore

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

Research interests: Programming Languages, Constraints, Security

Contributions

TACAS 2019Committee Member in Program Committee within the TACAS 2019-track
ICSE 2019Author of Optimal MC/DC Test Case Generation within the Posters-track
PLDI 2018Committee Member in Program Committee
LCTES 2016Author of Symbolic Execution for Memory Consumption Analysis within the LCTES-track
Session Chair of Session 5: Computation Partitioning (part of LCTES)
POPL 2016ERC member in External Reviewing Committee within the Research Papers-track
ERC member in External Reviewing Committee
PLDI 2015Author of Automatic Induction Proofs of Data-Structures in Imperative Programs within the Research Papers-track