Get started
Author

Ajay Chander

Observed names: A. Chander, Chander Ajay, Chander, Ajay
OpenAlex ID: A5090054099
Explainable AI: The New 42?
2018 · Randy Goebel, Ajay Chander, et al. · Lecture notes in computer science · 279
PDF
JavaScript instrumentation for browser security
2007 · Dachuan Yu, Ajay Chander, et al. · ACM SIGPLAN Notices · 179
Dynamic test input generation for web applications
2008 · Gary Wassermann, Dachuan Yu, et al. · International Symposium on Software Testing and Analysis · 171
Biases in AI systems
2021 · Ramya Srinivasan, Ajay Chander · Communications of the ACM · 132
JavaScript instrumentation for browser security
2007 · Dachuan Yu, Ajay Chander, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 104
A state-transition model of trust management and access control
2005 · A. Chander, D. Dean, et al. · IEEE Computer Security Foundations Workshop (CSFW) · 61
Biases in AI Systems
2021 · Ramya Srinivasan, Ajay Chander · Queue · 44
PDF
Mobile code security by Java bytecode instrumentation
2002 · A. Chander, J.C. Mitchell, et al. · DARPA Information Survivability Conference and Exposition · 43
Explanation Perspectives from the Cognitive Sciences---A Survey
2020 · Ramya Srinivasan, Ajay Chander · International Joint Conference on Artificial Intelligence · 39
PDF
JavaScript Instrumentation in Practice
2008 · Haruka Kikuchi, Dachuan Yu, et al. · Lecture notes in computer science · 35
Working with Beliefs: AI Transparency in the Enterprise.
2018 · Ajay Chander, Ramya Srinivasan, et al. · IUI Workshops · 29
Enforcing Resource Bounds via Static Verification of Dynamic Checks
2005 · Ajay Chander, David Espinosa, et al. · Lecture notes in computer science · 29
PDF
Formal Specification and Analysis of Timing Properties in Software Systems
2009 · Musab AlTurki, Dinakar Dhurjati, et al. · Lecture notes in computer science · 22
PDF
Evaluating Explanations by Cognitive Value
2018 · Ajay Chander, Ramya Srinivasan · Lecture notes in computer science · 15
PDF
Enforcing resource bounds via static verification of dynamic checks
2007 · Ajay Chander, David Espinosa, et al. · ACM Transactions on Programming Languages and Systems · 13
Generating User-friendly Explanations for Loan Denials using GANs
2019 · Srinivasan, Ramya, Chander, Ajay, et al. · arXiv (Cornell University) · 12
PDF
Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems
2011 · Ajay Chander, Dinakar Dhurjati, et al. · IEEE International Conference on Software Testing, Verification and Validation (ICST) · 12
Reconstructing trust management
2004 · Ajay Chander, Drew Dean, et al. · Journal of Computer Security · 12
Better abstractions for secure server-side scripting
2008 · Dachuan Yu, Ajay Chander, et al. · International World Wide Web Conference (WWW) · 10
Optimizing user interaction for web-based mobile tasks
2010 · Dong Zhou, Ajay Chander, et al. · International World Wide Web Conference (WWW) · 8
Guided play
2019 · Cong Chen, Ajay Chander, et al. · ACM International Conference on Intelligent User Interfaces (IUI) · 7
JVer: A Java Verifier
2005 · Ajay Chander, David Espinosa, et al. · Lecture notes in computer science · 6
PDF
Crowdsourcing in the Absence of Ground Truth -- A Case Study
2019 · Srinivasan, Ramya, Chander, Ajay · arXiv (Cornell University) · 5
PDF
Guided Play
2016 · Cong Chen, Ajay Chander, et al. · Annual Symposium on Computer-Human Interaction in Play · 5
Personalized Monitors for Real-Time Detection of Physiological States
2014 · Lawrence Chow, Nicholas Bambos, et al. · International Journal of E-Health and Medical Communications · 5
Works count: 48
Citation count: 1,293
H-index: 14
I10-index: 19
Year
Topic
Type