Follow
Ivan Radicek
Ivan Radicek
Senior Researcher, Microsoft
Verified email at icpn.hr - Homepage
Title
Cited by
Cited by
Year
Automated clustering and program repair for introductory programming assignments
S Gulwani, I Radiček, F Zuleger
ACM SIGPLAN Notices 53 (4), 465-480, 2018
1932018
Feedback generation for performance problems in introductory programming assignments
S Gulwani, I Radiček, F Zuleger
Proceedings of the 22nd acm sigsoft international symposium on foundations …, 2014
902014
Repair is nearly generation: Multilingual program repair with llms
H Joshi, JC Sanchez, S Gulwani, V Le, G Verbruggen, I Radiček
Proceedings of the AAAI Conference on Artificial Intelligence 37 (4), 5131-5140, 2023
722023
Monadic refinements for relational cost analysis
I Radiček, G Barthe, M Gaboardi, D Garg, F Zuleger
Proceedings of the ACM on Programming Languages 2 (POPL), 1-32, 2017
372017
Monadic refinements for relational cost analysis
I Radicek, G Barthe, M Gaboardi, D Garg, F Zuleger
PACMPL 2 (POPL), 36, 2018
112018
Neurosymbolic repair for low-code formula languages
R Bavishi, H Joshi, J Cambronero, A Fariha, S Gulwani, V Le, I Radiček, ...
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1093-1122, 2022
92022
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
62024
Structure interpretation of text formats
S Gulwani, V Le, A Radhakrishna, I Radiček, M Raza
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29, 2020
42020
Programming by rewards
N Natarajan, A Karthikeyan, P Jain, I Radicek, S Rajamani, S Gulwani, ...
arXiv preprint arXiv:2007.06835, 2020
32020
NL2Viz: natural language to visualization via constrained syntax-guided synthesis
Z Wu, V Le, A Tiwari, S Gulwani, A Radhakrishna, I Radiček, G Soares, ...
Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022
22022
Flame: A small language model for spreadsheet formulas
H Joshi, A Ebenezer, JC Sanchez, S Gulwani, A Kanade, V Le, I Radiček, ...
Proceedings of the AAAI Conference on Artificial Intelligence 38 (12), 12995 …, 2024
12024
Autosynthesized sublanguage snippet presentation
MA Wilson-thomas, I Radicek, A Radhakrishna, A Tiwari, S Gulwani, ...
US Patent 11,074,048, 2021
12021
Feedback generation for performance problems in introductory programming assignments.
F Zuleger, I Radicek, S Gulwani
Software Engineering, 49-50, 2016
12016
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
Language-agnostic computer program repair engine generator
RJ Bavishi, JPC SÁNCHEZ, A Fariha, S Gulwani, VM Le, I Radicek, ...
US Patent App. 17/693,285, 2023
2023
Automated feedback generation in introductory programming education: a dynamic program analysis approach
I Radiček
Technische Universität Wien, 2020
2020
Structure Interpretation of Text Formats
I RADIČEK, M RAZA
2020
The system can't perform the operation now. Try again later.
Articles 1–17