SPLASH 2020
Sun 15 - Fri 20 November 2020 Online Conference
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

SPLASH 2020Author 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
Show activities from other conferences

Using general profile