Person
Ivan Kuraj
This person is no longer with EPFL
Related publications (8)
Programming with Enumerable Sets of Structures
Viktor Kuncak, Ivan Kuraj, Daniel Jackson
We present an efficient, modular, and feature-rich framework for automated generation and validation of complex structures, suitable for tasks that explore a large space of structured values. Our framework is capable of exhaustive, incremental, parallel, a ...
Assoc Computing Machinery2015On Repairing Ill-Typed Expressions
Tihomir Gvero, Ivan Kuraj, Ruzica Piskac
When developing code, a programmer typically knows the approximate structure of the desired expression. However, often the first attempt at writing it down results in an ill-typed code fragment. We propose an approach that automatically repairs code expres ...
2013On Integrating Deductive Synthesis and Verification Systems
Viktor Kuncak, Etienne Kneuss, Ivan Kuraj, Philippe Paul Henri Suter
We describe techniques for synthesis and verification of recursive functional programs over unbounded domains. Our techniques build on top of an algorithm for satisfiability modulo recursive functions, a framework for deductive synthesis, and complete synt ...
2013Complete 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 ...
ACM2013Synthesis Modulo Recursive Functions
Viktor Kuncak, Etienne Kneuss, Ivan Kuraj, Philippe Paul Henri Suter
We describe techniques for synthesis and verification of recursive functional programs over unbounded domains. Our techniques build on top of an algorithm for satisfiability modulo recursive functions, a framework for deductive synthesis, and complete synt ...
2013Interactive Code Generation
This thesis presents two approaches to code generation (synthesis) along with a discussion of other related and influential works, their ideas and relations to these approaches. The common goal of these approaches is to efficiently and effectively assist d ...
2013On 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 ...
2012