Publications

2018

  • Ivan Radiček, Gilles Barthe, Marco Gaboardi, Deepak Garg, and Florian Zuleger. Monadic refinements for relational cost analysis. POPL 2018, 2018. To appear.
    [full text] [appendix] [BibTeX▼]

2016

  • Sumit Gulwani, Ivan Radiček, and Florian Zuleger. Automated clustering and program repair for introductory programming assignments. arXiv (under submission), 2016.
    [full text] [BibTeX▼]
  • Florian Zuleger, Ivan Radiček, and Sumit Gulwani. Feedback generation for performance problems in introductory programming assignments. In Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik, 23.-26. Februar 2016, Wien, Österreich, 49–50. 2016. URL: http://subs.emis.de/LNI/Proceedings/Proceedings252/article9.html.
    [full text] [BibTeX▼]

2014

  • Sumit Gulwani, Ivan Radiček, and Florian Zuleger. Feedback generation for performance problems in introductory programming assignments. In Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2014, 41–51. New York, NY, USA, 2014. ACM.
    [full text] [appendix] [BibTeX▼]