Ivan Radicek

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