Ivan Radicek

According to our database1, Ivan Radicek authored at least 5 papers between 2016 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Structure interpretation of text formats.
Proc. ACM Program. Lang., 2020

Programming by Rewards.
CoRR, 2020

2018
Monadic refinements for relational cost analysis.
Proc. ACM Program. Lang., 2018

Automated clustering and program repair for introductory programming assignments.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2016
Feedback generation for performance problems in introductory programming assignments.
Proceedings of the Software Engineering 2016, 2016


  Loading...