Ivan Radicek

According to our database, Ivan Radicek authored at least 9 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

FLAME: A Small Language Model for Spreadsheet Formulas.

Harshit Joshi, Abishai Ebenezer, José Pablo Cambronero Sánchez, Sumit Gulwani, Aditya Kanade, Vu Le, Ivan Radicek, Gust Verbruggen

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Repair Is Nearly Generation: Multilingual Program Repair with LLMs.

Harshit Joshi, José Pablo Cambronero Sánchez, Sumit Gulwani, Vu Le, Gust Verbruggen, Ivan Radicek

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Neurosymbolic repair for low-code formula languages.

Rohan Bavishi, Harshit Joshi, José Cambronero, Anna Fariha, Sumit Gulwani, Vu Le, Ivan Radicek, Ashish Tiwari

Proc. ACM Program. Lang., 2022

NL2Viz: natural language to visualization via constrained syntax-guided synthesis.

Zhengkai Wu, Vu Le, Ashish Tiwari, Sumit Gulwani, Arjun Radhakrishna, Ivan Radicek, Gustavo Soares, Xinyu Wang, Zhenwen Li, Tao Xie

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

2020

Structure interpretation of text formats.

Sumit Gulwani, Vu Le, Arjun Radhakrishna, Ivan Radicek, Mohammad Raza

Proc. ACM Program. Lang., 2020

Programming by Rewards.

Nagarajan Natarajan, Ajaykrishna Karthikeyan, Prateek Jain, Ivan Radicek, Sriram K. Rajamani, Sumit Gulwani, Johannes Gehrke

CoRR, 2020

2018

Monadic refinements for relational cost analysis.

Ivan Radicek, Gilles Barthe, Marco Gaboardi, Deepak Garg, Florian Zuleger

Proc. ACM Program. Lang., 2018

Automated clustering and program repair for introductory programming assignments.

Sumit Gulwani, Ivan Radicek, Florian Zuleger

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2016

Feedback generation for performance problems in introductory programming assignments.

Florian Zuleger, Ivan Radicek, Sumit Gulwani

Proceedings of the Software Engineering 2016, 2016