Chetan Bansal
Chetan Bansal
Microsoft Research
Verified email at - Homepage
Cited by
Cited by
Discovering concrete attacks on website authorization by formal analysis
C Bansal, K Bhargavan, A Delignat-Lavaud, S Maffeis
Journal of Computer Security 22 (4), 601-657, 2014
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
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
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
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
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
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
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
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
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
Nudge: accelerating overdue pull requests towards completion
C Maddila, SS Upadrasta, C Bansal, N Nagappan, G Gousios, ...
arXiv preprint arXiv:2011.12468, 2020
Large-scale intent analysis for identifying large-review-effort code changes
S Wang, C Bansal, N Nagappan
Information and Software Technology 130, 106408, 2021
WebSpi and web application models, 2011
C Bansal, K Bhargavan, S Maffeis
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
The usage of web search for software engineering
C Bansal, T Zimmermann, AH Awadallah, N Nagappan
Micro-climate prediction-multi scale encoder-decoder based deep learning framework
P Kumar, R Chandra, C Bansal, S Kalyanaraman, T Ganu, M Grant
Proceedings of the 27th ACM SIGKDD Conference on Knowledge Discovery & Data …, 2021
Neural knowledge extraction from cloud service incidents
M Shetty, C Bansal, S Kumar, N Rao, N Nagappan, T Zimmermann
2021 IEEE/ACM 43rd International Conference on Software Engineering …, 2021
Replay of conversations for task completion and delegation
AD Uppala, C Bansal
US Patent 10,742,571, 2020
Hashtag recommendation for enterprise applications
D Mahajan, V Kolathur, C Bansal, S Parthasarathy, S Sellamanickam, ...
Proceedings of the 25th ACM International on Conference on Information and …, 2016
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
The system can't perform the operation now. Try again later.
Articles 1–20