Ivan Kuraj

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 9

Top Topics

Crosscutting Concerns

Distributed Systems

Recursive Functions

Top Venues

Publications

Ivan Kuraj, Armando Solar-Lezama, Nadia Polikarpova
Optimizing consistency for partially replicated data stores. PPoPP (2022)
Ivan Kuraj, Armando Solar-Lezama
Aspect-oriented language for reactive distributed applications at the edge. EdgeSys@EuroSys (2020)
Kuat Yessenov, Ivan Kuraj, Armando Solar-Lezama
DemoMatch: API discovery from demonstrations. PLDI (2017)
Ivan Kuraj, Armando Solar-Lezama
Leveraging Sequential Computation for Programming Efficient and Reliable Distributed Systems. SNAPL (2017)
Nadia Polikarpova, Ivan Kuraj, Armando Solar-Lezama
Program synthesis from polymorphic refinement types. PLDI (2016)
Ivan Kuraj
Programming with Enumerators: Constructive Approach to Challenge the Status Quo in Automated Data Structure Generation. Tiny Trans. Comput. Sci. 4 (2016)
Ivan Kuraj, Daniel Jackson
Exploring the role of sequential computation in distributed systems: motivating a programming paradigm shift. Onward! (2016)
Ivan Kuraj, Viktor Kuncak, Daniel Jackson
Programming with enumerable sets of structures. OOPSLA (2015)
Tihomir Gvero, Viktor Kuncak, Ivan Kuraj, Ruzica Piskac
InSynth: A System for Code Completion using Types and Weights. Software Engineering & Management (2015)
Ivan Kuraj, Viktor Kuncak
SciFe: Scala framework for efficient enumeration of data structures with invariants. SCALA@ECOOP (2014)
Tihomir Gvero, Viktor Kuncak, Ivan Kuraj, Ruzica Piskac
Complete completion using types and weights. PLDI (2013)
Etienne Kneuss, Viktor Kuncak, Ivan Kuraj, Philippe Suter
On Integrating Deductive Synthesis and Verification Systems CoRR (2013)
Etienne Kneuss, Ivan Kuraj, Viktor Kuncak, Philippe Suter
Synthesis modulo recursive functions. OOPSLA (2013)