Travelled to:
1 × China
Collaborated with:
F.Zuleger S.Gulwani G.Barthe M.Gaboardi D.G.0001
Talks about:
program (3) introductori (2) assign (2) feedback (1) problem (1) perform (1) generat (1) cluster (1) analysi (1) repair (1)
Person: Ivan Radicek
DBLP: Radicek:Ivan
Contributed to:
Wrote 3 papers:
- FSE-2014-GulwaniRZ #feedback #generative #performance #problem #programming
- Feedback generation for performance problems in introductory programming assignments (SG, IR, FZ), pp. 41–51.
- PLDI-2018-GulwaniRZ #automation #clustering #program repair #programming
- Automated clustering and program repair for introductory programming assignments (SG, IR, FZ), pp. 465–480.
- POPL-2018-RadicekBG0Z #cost analysis #monad #relational
- Monadic refinements for relational cost analysis (IR, GB, MG, DG0, FZ), p. 32.