Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Radiček, Ivan"'
Autor:
Joshi, Harshit, Ebenezer, Abishai, Cambronero, José, Gulwani, Sumit, Kanade, Aditya, Le, Vu, Radiček, Ivan, Verbruggen, Gust
Spreadsheets are a vital tool for end-user data management. Using large language models for formula authoring assistance in these environments can be difficult, as these models are expensive to train and challenging to deploy due to their size (up to
Externí odkaz:
http://arxiv.org/abs/2301.13779
Most programmers make mistakes when writing code. Some of these mistakes are small and require few edits to the original program -- a class of errors recently termed last mile mistakes. These errors break the flow for experienced developers and can s
Externí odkaz:
http://arxiv.org/abs/2208.11640
Autor:
Bavishi, Rohan, Joshi, Harshit, Sánchez, José Pablo Cambronero, Fariha, Anna, Gulwani, Sumit, Le, Vu, Radicek, Ivan, Tiwari, Ashish
Most users of low-code platforms, such as Excel and PowerApps, write programs in domain-specific formula languages to carry out nontrivial tasks. Often users can write most of the program they want, but introduce small mistakes that yield broken form
Externí odkaz:
http://arxiv.org/abs/2207.11765
Autor:
Natarajan, Nagarajan, Karthikeyan, Ajaykrishna, Jain, Prateek, Radicek, Ivan, Rajamani, Sriram, Gulwani, Sumit, Gehrke, Johannes
We formalize and study ``programming by rewards'' (PBR), a new approach for specifying and synthesizing subroutines for optimizing some quantitative metric such as performance, resource utilization, or correctness over a benchmark. A PBR specificatio
Externí odkaz:
http://arxiv.org/abs/2007.06835
Providing feedback on programming assignments is a tedious task for the instructor, and even impossible in large Massive Open Online Courses with thousands of students. Previous research has suggested that program repair techniques can be used to gen
Externí odkaz:
http://arxiv.org/abs/1603.03165
Providing feedback on programming assignments manually is a tedious, error prone, and time-consuming task. In this paper, we motivate and address the problem of generating feedback on performance aspects in introductory programming assignments. We st
Externí odkaz:
http://arxiv.org/abs/1403.4064
Publikováno v:
ACM / SIGPLAN Notices; Apr2018, Vol. 53 Issue 4, p465-480, 16p
Autor:
Radiček, Ivan
Uporaba mrežnih modela u oblikovanju sustava probabilističkog rasuđivanja i rukovanja nesavršenom informacijom predstavlja važno područje istraživanja inteligentnih sustava. Mrežni modeli (probabilističke ili Bayesove mreže) temelje se na p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=57a035e5b1ae::027123dfa5fb41c7f96eeaeaa38d8cb3
https://www.bib.irb.hr/586280
https://www.bib.irb.hr/586280
Autor:
Radiček, Ivan
Puna formalizacija sustava pokazuje se kao dugotrajan, težak i neekonomičan postupak u validaciji i verifikaciji digitalnih sustava. Novi pristup verifikaciji tzv. laganom formalnom metodom, ističe djelomičnu i vrlo usredotočenu primjenu na sklo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=57a035e5b1ae::b8c277bf8ccf874dfba188dca4d9807a
https://www.bib.irb.hr/449990
https://www.bib.irb.hr/449990