Follow
Chetan Bansal
Chetan Bansal
Microsoft Research
Verified email at microsoft.com - Homepage
Title
Cited by
Cited by
Year
Discovering concrete attacks on website authorization by formal analysis 1
C Bansal, K Bhargavan, A Delignat-Lavaud, S Maffeis
Journal of Computer Security 22 (4), 601-657, 2014
1802014
Keys to the cloud: Formal analysis and concrete attacks on encrypted web storage
C Bansal, K Bhargavan, A Delignat-Lavaud, S Maffeis
International Conference on Principles of Security and Trust, 126-146, 2013
552013
Rex: Preventing bugs and misconfiguration in large services using correlated change analysis
S Mehta, R Bhagwan, R Kumar, C Bansal, C Maddila, B Ashok, S Asthana, ...
17th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2020
262020
Predicting pull request completion time: a case study on large scale cloud services
C Maddila, C Bansal, N Nagappan
Proceedings of the 2019 27th acm joint meeting on european software …, 2019
212019
WhoDo: automating reviewer suggestions at scale
S Asthana, R Kumar, R Bhagwan, C Bird, C Bansal, C Maddila, S Mehta, ...
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
172019
Studying ransomware attacks using web search logs
C Bansal, P Deligiannis, C Maddila, N Rao
Proceedings of the 43rd International ACM SIGIR Conference on Research and …, 2020
142020
DeCaf: Diagnosing and triaging performance issues in large-scale cloud services
C Bansal, S Renganathan, A Asudani, O Midy, M Janakiraman
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
142020
Building sankie: An ai platform for devops
R Kumar, C Bansal, C Maddila, N Sharma, S Martelock, R Bhargava
2019 IEEE/ACM 1st International Workshop on Bots in Software Engineering …, 2019
12*2019
Leveraging change intents for characterizing and identifying large-review-effort changes
S Wang, C Bansal, N Nagappan, AA Philip
Proceedings of the Fifteenth International Conference on Predictive Models …, 2019
112019
Massively empowered classroom: Enhancing technical education in india
E Cutrell, S Bala, C Bansal, A Cross, N Datha, A John, R Kumar, ...
Micrsoft Research India, 2013
112013
Large-scale intent analysis for identifying large-review-effort code changes
S Wang, C Bansal, N Nagappan
Information and Software Technology 130, 106408, 2021
82021
WebSpi and web application models, 2011
C Bansal, K Bhargavan, S Maffeis
72011
Search4Code: Code search intent classification using weak supervision
N Rao, C Bansal, J Guan
2021 IEEE/ACM 18th International Conference on Mining Software Repositories …, 2021
62021
Replay of conversations for task completion and delegation
AD Uppala, C Bansal
US Patent 10,742,571, 2020
62020
CloudSDV enabling static driver verifier using Microsoft azure
R Kumar, T Ball, J Lichtenberg, N Deisinger, A Upreti, C Bansal
International Conference on Integrated Formal Methods, 523-536, 2016
62016
Nudge: Accelerating overdue pull requests towards completion
C Maddila, SS Upadrasta, C Bansal, N Nagappan, G Gousios, ...
arXiv preprint arXiv:2011.12468, 2020
52020
Product insights: Analyzing product intents in web search
N Rao, C Bansal, S Mukherjee, C Maddila
Proceedings of the 29th ACM International Conference on Information …, 2020
52020
An empirical study of software exceptions in the field using search logs
F Hassan, C Bansal, N Nagappan, T Zimmermann, AH Awadallah
Proceedings of the 14th ACM/IEEE International Symposium on Empirical …, 2020
52020
The usage of web search for software engineering
C Bansal, T Zimmermann, AH Awadallah, N Nagappan
52019
Capturing and Leveraging Signals Reflecting BOT-to-BOT Delegation
AD Uppala, C Bansal
US Patent App. 15/705,299, 2019
52019
The system can't perform the operation now. Try again later.
Articles 1–20