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
Research interests:Programming Languages, Constraints, Security

Contributions

SPLASH 2022 Session Chair of APLAS Papers (part of COVID Time Papers In Person)
Session Chair of PLDI and POPL Papers (part of COVID Time Papers In Person)
ECOOP and ISSTA 2021 Author of Toward Optimal MC/DC Test Case Generation within the Posters-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
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
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
ICSE 2019 Author of Optimal MC/DC Test Case Generation within the Posters-track
TACAS 2019 Committee Member in Program Committee within the TACAS 2019-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