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

Affiliation:National University of Singapore
Research interests:Programming Languages, Constraints, Security

Contributions

PLDI 2021 Committee Member in Program Committee within the PLDI-track
Speaker of Ask Me Anything with Joxan Jaffar within the Ask Me Anything-track
ISSTA 2021 Author of Toward Optimal MC/DC Test Case Generation within the Technical Papers-track
Author of Toward Optimal MC/DC Test Case Generation within the Artifact Evaluation-track
SPLASH 2020 Author of Inter-theory Dependency Analysis for SMT String Solvers within the OOPSLA-track
Author of Inter-Theory Dependency Analysis for SMT String Solvers within the OOPSLA Artifacts-track
TACAS 2019 Committee Member in Program Committee within the TACAS 2019-track
ICSE 2019 Author of Optimal MC/DC Test Case Generation within the Posters-track
PLDI 2018 Committee Member in Program Committee
LCTES 2016 Author of Symbolic Execution for Memory Consumption Analysis within the LCTES-track
Session Chair of Session 5: Computation Partitioning (part of LCTES)
POPL 2016 ERC member in External Reviewing Committee within the Research Papers-track
ERC member in External Reviewing Committee
PLDI 2015 Author of Automatic Induction Proofs of Data-Structures in Imperative Programs within the Research Papers-track