Ivan Radicek

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 13

Top Topics

Programming Assignments

Top Venues

Proc. ACM Program. Lang.

Publications

Harshit Joshi, Abishai Ebenezer, José Pablo Cambronero Sánchez, Sumit Gulwani, Aditya Kanade, Vu Le, Ivan Radicek, Gust Verbruggen
FLAME: A Small Language Model for Spreadsheet Formulas. AAAI (2024)
Harshit Joshi, José Pablo Cambronero Sánchez, Sumit Gulwani, Vu Le, Gust Verbruggen, Ivan Radicek
Repair Is Nearly Generation: Multilingual Program Repair with LLMs. AAAI (2023)
Harshit Joshi, Abishai Ebenezer, José Cambronero, Sumit Gulwani, Aditya Kanade, Vu Le, Ivan Radicek, Gust Verbruggen
FLAME: A small language model for spreadsheet formulas. CoRR (2023)
Harshit Joshi, José Pablo Cambronero Sánchez, Sumit Gulwani, Vu Le, Ivan Radicek, Gust Verbruggen
Repair Is Nearly Generation: Multilingual Program Repair with LLMs. CoRR (2022)
Rohan Bavishi, Harshit Joshi, José Cambronero, Anna Fariha, Sumit Gulwani, Vu Le, Ivan Radicek, Ashish Tiwari
Neurosymbolic repair for low-code formula languages. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Zhengkai Wu, Vu Le, Ashish Tiwari, Sumit Gulwani, Arjun Radhakrishna, Ivan Radicek, Gustavo Soares, Xinyu Wang, Zhenwen Li, Tao Xie
NL2Viz: natural language to visualization via constrained syntax-guided synthesis. ESEC/SIGSOFT FSE (2022)
Rohan Bavishi, Harshit Joshi, José Pablo Cambronero Sánchez, Anna Fariha, Sumit Gulwani, Vu Le, Ivan Radicek, Ashish Tiwari
Neurosymbolic Repair for Low-Code Formula Languages. CoRR (2022)
Nagarajan Natarajan, Ajaykrishna Karthikeyan, Prateek Jain, Ivan Radicek, Sriram K. Rajamani, Sumit Gulwani, Johannes Gehrke
Programming by Rewards. CoRR (2020)
Sumit Gulwani, Vu Le, Arjun Radhakrishna, Ivan Radicek, Mohammad Raza
Structure interpretation of text formats. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Sumit Gulwani, Ivan Radicek, Florian Zuleger
Automated clustering and program repair for introductory programming assignments. PLDI (2018)
Ivan Radicek, Gilles Barthe, Marco Gaboardi, Deepak Garg, Florian Zuleger
Monadic refinements for relational cost analysis. Proc. ACM Program. Lang. 2 (POPL) (2018)
Florian Zuleger, Ivan Radicek, Sumit Gulwani
Feedback generation for performance problems in introductory programming assignments. Software Engineering (2016)
Sumit Gulwani, Ivan Radicek, Florian Zuleger
Automated Clustering and Program Repair for Introductory Programming Assignments. CoRR (2016)
Sumit Gulwani, Ivan Radicek, Florian Zuleger
Feedback generation for performance problems in introductory programming assignments. SIGSOFT FSE (2014)
Sumit Gulwani, Ivan Radicek, Florian Zuleger
Feedback Generation for Performance Problems in Introductory Programming Assignments. CoRR (2014)