Personne
Tihomir Gvero
Cette personne n’est plus à l’EPFL
Publications associées (12)
Search Techniques for Code Generation
This dissertation explores techniques that synthesize and generate program fragments and test inputs. The main goal of these techniques is to improve and support automation in program synthesis and test input generation. This is important because performin ...
EPFL2015Interactive Synthesis using Free-Form Queries
We present a new code assistance tool for integrated development environments. Our system accepts free-form queries allowing a mixture of English and Java as an input, and produces Java code fragments that take the query into account and respect syntax, ty ...
2015Synthesizing Java Expressions from Free-Form Queries
We present a new code assistance tool for integrated development environments. Our system accepts as input free-form queries containing a mixture of English and Java, and produces Java code expressions that take the query into account and respect syntax, t ...
Assoc Computing Machinery2015On Synthesizing Code from Free-Form Queries
We present a new code assistance tool for integrated development environments. Our system accepts free-form queries allowing a mixture of English and Java as an input, and produces Java code fragments that take the query into account and respect syntax, ty ...
2014Complete Completion using Types and Weights
Viktor Kuncak, Tihomir Gvero, Ivan Kuraj, Ruzica Piskac
Developing modern software typically involves composing functionality from existing libraries. This task is difficult because libraries may expose many methods to the developer. To help developers in such scenarios, we present a technique that synthesizes ...
ACM2013On Complete Completion using Types and Weights
Viktor Kuncak, Tihomir Gvero, Ivan Kuraj, Ruzica Piskac
Developing modern software applications typically involves composing functionality from existing libraries. This task is difficult because libraries may expose many methods to the developer. To help developers in such scenarios, we present a technique that ...
2012On Fast Code Completion using Type Inhabitation
Viktor Kuncak, Tihomir Gvero, Ivan Kuraj, Ruzica Piskac
Developing modern software applications typically involves composing functionality from existing libraries. This task is difficult because libraries may expose many methods to the developer. To help developers in such scenarios, we present a technique that ...
2012Code Completion using Quantitative Type Inhabitation
Viktor Kuncak, Tihomir Gvero, Ruzica Piskac
Developing modern software applications typically involves composing functionality from existing libraries. This task is difficult because libraries may expose many methods to the developer. To help developers in such scenarios, we present a technique that ...
2011