Synthesis-Aided Development of Distributed Programs by Kuraj, Ivan

Get full text

Exploring the role of sequential computation in distributed systems: motivating a programming paradigm shift by Kuraj, Ivan, Jackson, Daniel

Get full text
Get full text
Get full text

Leveraging Sequential Computation for Programming Efficient and Reliable Distributed Systems by Kuraj, Ivan, Solar-Lezama, Armando

Get full text

Aspect-Oriented Language for Reactive Distributed Applications at the Edge by Kuraj, Ivan, Solar-Lezama, Armando

Get full text

Programming with enumerable sets of structures by Kuraj, Ivan, Kuncak, Viktor, Jackson, Daniel

Get full text
Get full text
Get full text

Program synthesis from polymorphic refinement types by Polikarpova, Nadezhda, Kuraj, Ivan, Solar Lezama, Armando

Get full text
Get full text
Get full text
Get full text

Optimizing Consistency for Partially Replicated Data Stores by Kuraj, Ivan, Solar-Lezama, Armando, Polikarpova, Nadia

Get full text