| 2022 | PPoPP | Optimizing consistency for partially replicated data stores. | Ivan Kuraj, Armando Solar-Lezama, Nadia Polikarpova |
| 2020 | EuroSys | Aspect-oriented language for reactive distributed applications at the edge. | Ivan Kuraj, Armando Solar-Lezama |
| 2017 | PLDI | DemoMatch: API discovery from demonstrations. | Kuat Yessenov, Ivan Kuraj, Armando Solar-Lezama |
| 2016 | OOPSLA | Exploring the role of sequential computation in distributed systems: motivating a programming paradigm shift. | Ivan Kuraj, Daniel Jackson |
| 2016 | PLDI | Program synthesis from polymorphic refinement types. | Nadia Polikarpova, Ivan Kuraj, Armando Solar-Lezama |
| 2015 | OOPSLA | Programming with enumerable sets of structures. | Ivan Kuraj, Viktor Kuncak, Daniel Jackson |
| 2014 | ECOOP | SciFe: Scala framework for efficient enumeration of data structures with invariants. | Ivan Kuraj, Viktor Kuncak |
| 2013 | OOPSLA | Synthesis modulo recursive functions. | Etienne Kneuss, Ivan Kuraj, Viktor Kuncak, Philippe Suter |
| 2013 | PLDI | Complete completion using types and weights. | Tihomir Gvero, Viktor Kuncak, Ivan Kuraj, Ruzica Piskac |