Synthesis modulo recursive functions. - Etienne Kneuss; Ivan Kuraj; Viktor Kuncak; Philippe Suter (OOPSLA, 2013)

Complete completion using types and weights. - Tihomir Gvero; Viktor Kuncak; Ivan Kuraj; Ruzica Piskac (PLDI, 2013)

On Integrating Deductive Synthesis and Verification Systems - Etienne Kneuss; Viktor Kuncak; Ivan Kuraj; Philippe Suter (CoRR, 2013)

SciFe: Scala framework for efficient enumeration of data structures with invariants. - Ivan Kuraj; Viktor Kuncak (SCALA@ECOOP, 2014)

Programming with enumerable sets of structures. - Ivan Kuraj; Viktor Kuncak; Daniel Jackson 001 (OOPSLA, 2015)

InSynth: A System for Code Completion using Types and Weights. - Tihomir Gvero; Viktor Kuncak; Ivan Kuraj; Ruzica Piskac (Software Engineering & Management, 2015)

Exploring the role of sequential computation in distributed systems: motivating a programming paradigm shift. - Ivan Kuraj; Daniel Jackson 001 (Onward!, 2016)

Program synthesis from polymorphic refinement types. - Nadia Polikarpova; Ivan Kuraj; Armando Solar-Lezama (PLDI, 2016)

Programming with Enumerators: Constructive Approach to Challenge the Status Quo in Automated Data Structure Generation. - Ivan Kuraj (Adv. Math. Commun., 2016)

DemoMatch: API discovery from demonstrations. - Kuat Yessenov; Ivan Kuraj; Armando Solar-Lezama (PLDI, 2017)

Leveraging Sequential Computation for Programming Efficient and Reliable Distributed Systems. - Ivan Kuraj; Armando Solar-Lezama (SNAPL, 2017)

Aspect-oriented language for reactive distributed applications at the edge. - Ivan Kuraj; Armando Solar-Lezama (EdgeSys@EuroSys, 2020)

Optimizing consistency for partially replicated data stores. - Ivan Kuraj; Armando Solar-Lezama; Nadia Polikarpova (PPoPP, 2022)

Synthesis-Aided Development of Distributed Programs - Ivan Kuraj (2024)

Peepco: Batch-Based Consistency Optimization. - Ivan Kuraj; John K. Feser; Nadia Polikarpova; Armando Solar-Lezama (Proc. ACM Program. Lang., 2025)