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
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
WebSpi and web application models, 2011
C Bansal, K Bhargavan, S Maffeis
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
Studying Ransomware Attacks Using Web Search Logs
C Bansal, P Deligiannis, C Maddila, N Rao
arXiv preprint arXiv:2005.00517, 2020
The Usage of Web Search for Software Engineering
C Bansal, T Zimmermann, AH Awadallah, N Nagappan
arXiv preprint arXiv:1912.09519, 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
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
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
Product Insights: Analyzing Product Intents in Web Search
N Rao, C Bansal, S Mukherjee, C Maddila
arXiv preprint arXiv:2005.08591, 2020
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
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
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
Replay of conversations for task completion and delegation
AD Uppala, C Bansal
US Patent App. 15/663,126, 2019
An Empirical Study of Software Exceptions in the Field using Search Logs
F Hassan, C Bansal, N Nagappan, T Zimmermann, AH Awadallah
arXiv preprint arXiv:2006.00385, 2020
Investigating Users' Web Search Behaviour for Software Engineering and Maintenance Tasks
N Rao, C Bansal, T Zimmermann, A Hassan Awadallah, N Nagappan
arXiv, arXiv: 1912.09519, 2019
DeCaf: Diagnosing and Triaging Performance Issues in Large-Scale Cloud Services
C Bansal, S Renganathan, A Asudani, O Midy, M Janakiraman
arXiv preprint arXiv:1910.05339, 2019
Providing and Leveraging Implicit Signals Reflecting User-to-BOT Interaction
C Bansal, AD Uppala
US Patent App. 15/810,049, 2019
The system can't perform the operation now. Try again later.
Articles 1–20