Interface Simulation Distances
Černý, Pavol, Chmelík, Martin, Henzinger, Thomas A., Radhakrishna, Arjun
Published in Electronic proceedings in theoretical computer science (07.10.2012)
Published in Electronic proceedings in theoretical computer science (07.10.2012)
Get full text
Journal Article
Trace-Guided Inductive Synthesis of Recursive Functional Programs
Yuan, Yongwei, Radhakrishna, Arjun, Samanta, Roopsha
Published in Proceedings of ACM on programming languages (06.06.2023)
Published in Proceedings of ACM on programming languages (06.06.2023)
Get full text
Journal Article
Explainable Program Synthesis by Localizing Specifications
Nazari, Amirmohammad, Huang, Yifei, Samanta, Roopsha, Radhakrishna, Arjun, Raghothaman, Mukund
Published in Proceedings of ACM on programming languages (16.10.2023)
Published in Proceedings of ACM on programming languages (16.10.2023)
Get full text
Journal Article
On the fly synthesis of edit suggestions
Miltner, Anders, Gulwani, Sumit, Le, Vu, Leung, Alan, Radhakrishna, Arjun, Soares, Gustavo, Tiwari, Ashish, Udupa, Abhishek
Published in Proceedings of ACM on programming languages (01.10.2019)
Published in Proceedings of ACM on programming languages (01.10.2019)
Get full text
Journal Article
Multi-modal program inference: a marriage of pre-trained language models and component-based synthesis
Rahmani, Kia, Raza, Mohammad, Gulwani, Sumit, Le, Vu, Morris, Daniel, Radhakrishna, Arjun, Soares, Gustavo, Tiwari, Ashish
Published in Proceedings of ACM on programming languages (01.10.2021)
Published in Proceedings of ACM on programming languages (01.10.2021)
Get full text
Journal Article
FlashFill++: Scaling Programming by Example by Cutting to the Chase
Cambronero, José, Gulwani, Sumit, Le, Vu, Perelman, Daniel, Radhakrishna, Arjun, Simon, Clint, Tiwari, Ashish
Published in Proceedings of ACM on programming languages (09.01.2023)
Published in Proceedings of ACM on programming languages (09.01.2023)
Get full text
Journal Article
Feedback-driven semi-supervised synthesis of program transformations
Gao, Xiang, Barke, Shraddha, Radhakrishna, Arjun, Soares, Gustavo, Gulwani, Sumit, Leung, Alan, Nagappan, Nachiappan, Tiwari, Ashish
Published in Proceedings of ACM on programming languages (13.11.2020)
Published in Proceedings of ACM on programming languages (13.11.2020)
Get full text
Journal Article
Learning Patterns in Configuration
Bhagwan, Ranjita, Mehta, Sonu, Radhakrishna, Arjun, Garg, Sahil
Published in 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.11.2021)
Published in 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.11.2021)
Get full text
Conference Proceeding
Simulation distances
Černý, Pavol, Henzinger, Thomas A., Radhakrishna, Arjun
Published in Theoretical computer science (06.01.2012)
Published in Theoretical computer science (06.01.2012)
Get full text
Journal Article
Overwatch: learning patterns in code edit sequences
Zhang, Yuhao, Bajpai, Yasharth, Gupta, Priyanshu, Ketkar, Ameya, Allamanis, Miltiadis, Barik, Titus, Gulwani, Sumit, Radhakrishna, Arjun, Raza, Mohammad, Soares, Gustavo, Tiwari, Ashish
Published in Proceedings of ACM on programming languages (31.10.2022)
Published in Proceedings of ACM on programming languages (31.10.2022)
Get full text
Journal Article
Sequential programming for replicated data stores
Lewchenko, Nicholas V., Radhakrishna, Arjun, Gaonkar, Akash, Černý, Pavol
Published in Proceedings of ACM on programming languages (01.08.2019)
Published in Proceedings of ACM on programming languages (01.08.2019)
Get full text
Journal Article
Structure interpretation of text formats
Gulwani, Sumit, Le, Vu, Radhakrishna, Arjun, Radiček, Ivan, Raza, Mohammad
Published in Proceedings of ACM on programming languages (13.11.2020)
Published in Proceedings of ACM on programming languages (13.11.2020)
Get full text
Journal Article
Towards More Effective AI-Assisted Programming: A Systematic Design Exploration to Improve Visual Studio IntelliCode's User Experience
Vaithilingam, Priyan, Glassman, Elena L., Groenwegen, Peter, Gulwani, Sumit, Henley, Austin Z., Malpani, Rohan, Pugh, David, Radhakrishna, Arjun, Soares, Gustavo, Wang, Joey, Yim, Aaron
Published in 2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) (01.05.2023)
Published in 2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) (01.05.2023)
Get full text
Conference Proceeding
Interface simulation distances
Černý, Pavol, Chmelík, Martin, Henzinger, Thomas A., Radhakrishna, Arjun
Published in Theoretical computer science (04.12.2014)
Published in Theoretical computer science (04.12.2014)
Get full text
Journal Article