Skip to content

Ajay Chander

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

18

Venues

14

Active years

2002–2020

Best venue rank

A*

Where they publish

Papers

18 indexed papers, newest first.

YearVenueTitleAuthors
2020IJCAIExplanation Perspectives from the Cognitive Sciences - A Survey.Ramya Srinivasan, Ajay Chander
2019IJCAIUnderstanding Bias in Datasets using Topological Data Analysis.Ramya Srinivasan, Ajay Chander
2019IUIGuided play: digital sensing and coaching for stereotypical play behavior in children with autism.Cong Chen, Ajay Chander, Kanji Uchino
2018IUIWorking with Beliefs: AI Transparency in the Enterprise.Ajay Chander, Ramya Srinivasan, Suhas Chelian, Jun Wang, Kanji Uchino
2017ECSCWEnterprise Assistant Service: Supporting Employees in the Digital Enterprise.Ajay Chander, Sanam Mirzazad-Barijough, Yuko Okubo
2017ICSELast mile end-user programmers: programming exposure, influences, and preferences of the masses.Ramya M. Srinivasan, Jorjeta G. Jetcheva, Ajay Chander
2016ECAIONE - A Personalized Wellness System.Ajay Chander, Ramya Srinivasan
2016IUIThe Lifeboard: Improving Outcomes via Scarcity Priming.Ajay Chander, Sanam Mirzazad-Barijough
2011ICSTOptimal Test Input Sequence Generation for Finite State Models and Pushdown Systems.Ajay Chander, Dinakar Dhurjati, Koushik Sen, Dachuan Yu
2010WWWOptimizing user interaction for web-based mobile tasks.Dong Zhou, Ajay Chander, Hiroshi Inamura
2009FASEFormal Specification and Analysis of Timing Properties in Software Systems.Musab AlTurki, Dinakar Dhurjati, Dachuan Yu, Ajay Chander, Hiroshi Inamura
2008APLASJavaScript Instrumentation in Practice.Haruka Kikuchi, Dachuan Yu, Ajay Chander, Hiroshi Inamura, Igor Serikov
2008ISSTADynamic test input generation for web applications.Gary Wassermann, Dachuan Yu, Ajay Chander, Dinakar Dhurjati, Hiroshi Inamura, Zhendong Su
2008WWWBetter abstractions for secure server-side scripting.Dachuan Yu, Ajay Chander, Hiroshi Inamura, Igor Serikov
2007POPLJavaScript instrumentation for browser security.Dachuan Yu, Ajay Chander, Nayeem Islam, Igor Serikov
2005CAVJVer: A Java Verifier.Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula
2005ESOPEnforcing Resource Bounds via Static Verification of Dynamic Checks.Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula
2002CCGRIDNEVRLATE: Scalable Resource Discovery.Ajay Chander, Steven Dawson, Patrick Lincoln, David W. J. Stringer-Calvert