APIfix: output-oriented program synthesis for combating breaking changes in libraries X Gao, A Radhakrishna, G Soares, R Shariffdeen, S Gulwani, ... Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-27, 2021 | 13 | 2021 |
Automatic repetition of context-specific code edits S Gulwani, A Radhakrishna, A Udupa, GA SOARES, VM Le, A Miltner, ... US Patent 10,983,813, 2021 | | 2021 |
Autosynthesized sublanguage snippet presentation MA Wilson-thomas, I Radicek, A Radhakrishna, A Tiwari, S Gulwani, ... US Patent 11,074,048, 2021 | 1 | 2021 |
Autotsg: learning and synthesis for incident troubleshooting M Shetty, C Bansal, SP Upadhyayula, A Radhakrishna, A Gupta Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022 | 11 | 2022 |
Battery transition systems U Boker, TA Henzinger, A Radhakrishna Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014 | 26 | 2014 |
Coco: Interactive exploration of conformance constraints for data understanding and data cleaning A Fariha, A Tiwari, A Meliou, A Radhakrishna, S Gulwani Proceedings of the 2021 International Conference on Management of Data, 2706 …, 2021 | 8 | 2021 |
Conflict-aware replicated data types NV Lewchenko, A Radhakrishna, A Gaonkar, P Černý arXiv preprint arXiv:1802.08733, 2018 | 3 | 2018 |
Conformance constraint discovery: Measuring trust in data-driven systems A Fariha, A Tiwari, A Radhakrishna, S Gulwani, A Meliou Proceedings of the 2021 International Conference on Management of Data, 499-512, 2021 | 21 | 2021 |
Copy-paste-update edit automation A Radhakrishna, GA SOARES, P Groenewegen, MA Wilson-thomas, ... US Patent App. 17/497,923, 2023 | 2 | 2023 |
Data invariants: On trust in data-driven systems A Fariha, A Tiwari, A Radhakrishna, S Gulwani, A Meliou arXiv preprint arXiv:2003.01289, 2020 | 4 | 2020 |
Deploying a static code analyzer based on program synthesis from input-output examples P Groenewegen, GA SOARES, A Radhakrishna, MA Wilson-thomas, ... US Patent 11,775,293, 2023 | | 2023 |
DroidStar callback typestates for Android classes A Radhakrishna, NV Lewchenko, S Meier, S Mover, KC Sripada, ... Proceedings of the 40th International Conference on Software Engineering …, 2018 | 14 | 2018 |
Edit automation using a temporal edit pattern GA SOARES, P Arora, T Barik, P Groenewegen, S Gulwani, AS Ketkar, ... US Patent 11,875,136, 2024 | | 2024 |
Edit automation using an anchor target list T Barik, GA SOARES, P Arora, P Groenewegen, S Gulwani, AS Ketkar, ... US Patent 11,941,372, 2024 | | 2024 |
Efficient synthesis for concurrency by semantics-preserving transformations P Černý, TA Henzinger, A Radhakrishna, L Ryzhyk, T Tarrach International Conference on Computer Aided Verification, 951-967, 2013 | 55 | 2013 |
Explainable Program Synthesis by Localizing Specifications A Nazari, Y Huang, R Samanta, A Radhakrishna, M Raghothaman Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 2171-2195, 2023 | 7 | 2023 |
Exploring Interaction Patterns for Debugging: Enhancing Conversational Capabilities of AI-assistants B Chopra, Y Bajpai, P Biyani, G Soares, A Radhakrishna, C Parnin, ... arXiv preprint arXiv:2402.06229, 2024 | 3 | 2024 |
Extune: Explaining tuple non-conformance A Fariha, A Tiwari, A Radhakrishna, S Gulwani Proceedings of the 2020 ACM SIGMOD International Conference on Management of …, 2020 | 8 | 2020 |
Feedback-driven semi-supervised synthesis of program transformations SG Barke, X Gao, S Gulwani, AT Leung, N Nagappan, A Radhakrishna, ... US Patent 11,513,773, 2022 | 2 | 2022 |
Feedback-driven semi-supervised synthesis of program transformations X Gao, S Barke, A Radhakrishna, G Soares, S Gulwani, A Leung, ... Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020 | 27 | 2020 |