Name Card

Full name Familienname, Vorname
Gulwani, Sumit
 

Own Publications Eigene Publikationen

Results 1-4 of 4 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Radicek, Ivan ; Gulwani, Sumit ; Zuleger, Florian Automated clustering and program repair for introductory programming assignmentsKonferenzbeitrag Inproceedings 2018
2Gulwani, Sumit ; Radiček, Ivan ; Zuleger, Florian Feedback generation for performance problems in introductory programming assignmentsKonferenzbeitrag Inproceedings 2014
3Zuleger, Florian ; Sinn, Moritz ; Gulwani, Sumit ; Veith, Helmut Bound Analysis of Imperative Programs with the Size-Change AbstractionKonferenzbeitrag Inproceedings2011
4Gulwani, Sumit ; Zuleger, Florian The reachability-bound problemKonferenzbeitrag Inproceedings2010

Contributing Publications Mitbeteiligte Publikationen

Results 1-1 of 1 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Zuleger Florian - 2011 - Resource bound analysis of imperative programs.pdf.jpgZuleger, FlorianResource bound analysis of imperative programsThesis Hochschulschrift 2011