SPLASH 2020
Sun 15 - Sat 21 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

Affiliation: National University of Singapore

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

Research interests: Programming Languages, Constraints, Security

Contributions

SPLASH 2020 Inter-theory Dependency Analysis for SMT String Solvers
Inter-Theory Dependency Analysis for SMT String Solvers
Show activities from other conferences

SPLASH 2020-profile
View general profile