Chetan Bansal
Chetan Bansal
Microsoft Research
Verified email at - Homepage
Cited by
Cited by
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
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 …, 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
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
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
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
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
WebSpi and web application models, 2011
C Bansal, K Bhargavan, S Maffeis
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 usage of web search for software engineering
C Bansal, T Zimmermann, AH Awadallah, N Nagappan
Capturing and Leveraging Signals Reflecting BOT-to-BOT Delegation
AD Uppala, C Bansal
US Patent App. 15/705,299, 2019
Cache timing attacks revisited: efficient and repeatable browser history, OS and network sniffing
C Bansal, S Preibusch, N Milic-Frayling
IFIP International Information Security and Privacy Conference, 97-111, 2015
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
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
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
Large-scale intent analysis for identifying large-review-effort code changes
S Wang, C Bansal, N Nagappan
Information and Software Technology 130, 106408, 2021
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
The system can't perform the operation now. Try again later.
Articles 1–20