Ivan Kuraj

According to our database, Ivan Kuraj authored at least 14 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Synthesis-Aided Development of Distributed Programs

Ivan Kuraj

PhD thesis, 2024

2022

Optimizing consistency for partially replicated data stores.

Ivan Kuraj, Armando Solar-Lezama, Nadia Polikarpova

Proceedings of the PPoPP '22: 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Seoul, Republic of Korea, April 2, 2022

2020

Aspect-oriented language for reactive distributed applications at the edge.

Ivan Kuraj, Armando Solar-Lezama

Proceedings of the 3rd International Workshop on Edge Systems, Analytics and Networking, 2020

2017

Leveraging Sequential Computation for Programming Efficient and Reliable Distributed Systems.

Ivan Kuraj, Armando Solar-Lezama

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

DemoMatch: API discovery from demonstrations.

Kuat Yessenov, Ivan Kuraj, Armando Solar-Lezama

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

2016

Programming with Enumerators: Constructive Approach to Challenge the Status Quo in Automated Data Structure Generation.

Ivan Kuraj

Adv. Math. Commun., 2016

Program synthesis from polymorphic refinement types.

Nadia Polikarpova, Ivan Kuraj, Armando Solar-Lezama

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Exploring the role of sequential computation in distributed systems: motivating a programming paradigm shift.

Ivan Kuraj, Daniel Jackson

Proceedings of the 2016 ACM International Symposium on New Ideas, 2016

2015

InSynth: A System for Code Completion using Types and Weights.

Tihomir Gvero, Viktor Kuncak, Ivan Kuraj, Ruzica Piskac

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Programming with enumerable sets of structures.

Ivan Kuraj, Viktor Kuncak, Daniel Jackson

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

2014

SciFe: Scala framework for efficient enumeration of data structures with invariants.

Ivan Kuraj, Viktor Kuncak

Proceedings of the Fifth Annual Scala Workshop, 2014

2013

On Integrating Deductive Synthesis and Verification Systems

Etienne Kneuss, Viktor Kuncak, Ivan Kuraj, Philippe Suter

CoRR, 2013

Complete completion using types and weights.

Tihomir Gvero, Viktor Kuncak, Ivan Kuraj, Ruzica Piskac

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Synthesis modulo recursive functions.

Etienne Kneuss, Ivan Kuraj, Viktor Kuncak, Philippe Suter

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013