Ivan Kuraj

15 papers A* 3A 2B 1Journal 3Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Peepco: Batch-Based Consistency Optimization.
Proc. ACM Program. Lang.
Ivan Kuraj, John K. Feser, Nadia Polikarpova, Armando Solar-Lezama
2024 — —
Synthesis-Aided Development of Distributed Programs
Ivan Kuraj
2022 B conf
Optimizing consistency for partially replicated data stores.
PPoPP
Ivan Kuraj, Armando Solar-Lezama, Nadia Polikarpova
2020 — conf
Aspect-oriented language for reactive distributed applications at the edge.
EdgeSys@EuroSys
Ivan Kuraj, Armando Solar-Lezama
2017 A* conf
DemoMatch: API discovery from demonstrations.
PLDI
Kuat Yessenov, Ivan Kuraj, Armando Solar-Lezama
2017 — conf
Leveraging Sequential Computation for Programming Efficient and Reliable Distributed Systems.
SNAPL
Ivan Kuraj, Armando Solar-Lezama
2016 — conf
Exploring the role of sequential computation in distributed systems: motivating a programming paradigm shift.
Onward!
Ivan Kuraj, Daniel Jackson
2016 A* conf
Program synthesis from polymorphic refinement types.
PLDI
Nadia Polikarpova, Ivan Kuraj, Armando Solar-Lezama
2016 J jnl
Programming with Enumerators: Constructive Approach to Challenge the Status Quo in Automated Data Structure Generation.
Tiny Trans. Comput. Sci.
Ivan Kuraj
2015 — conf
InSynth: A System for Code Completion using Types and Weights.
Software Engineering & Management
Tihomir Gvero, Viktor Kuncak, Ivan Kuraj, Ruzica Piskac
2015 A conf
Programming with enumerable sets of structures.
OOPSLA
Ivan Kuraj, Viktor Kuncak, Daniel Jackson
2014 — conf
SciFe: Scala framework for efficient enumeration of data structures with invariants.
SCALA@ECOOP
Ivan Kuraj, Viktor Kuncak
2013 A* conf
Complete completion using types and weights.
PLDI
Tihomir Gvero, Viktor Kuncak, Ivan Kuraj, Ruzica Piskac
2013 J jnl
On Integrating Deductive Synthesis and Verification Systems
CoRR
Etienne Kneuss, Viktor Kuncak, Ivan Kuraj, Philippe Suter
2013 A conf
Synthesis modulo recursive functions.
OOPSLA
Etienne Kneuss, Ivan Kuraj, Viktor Kuncak, Philippe Suter