Ivan Kuraj -

Registered user since Mon 7 Sep 2015

Name:Ivan Kuraj

Country:Serbia and Montenegro

Affiliation:MIT CSAIL, USA

Research interests:Programming Languages, Formal Methods, Automated Reasoning

Contributions

2022

Principles and Practice of Parallel Programming

Author of POSTER: Optimizing Consistency for Partially Replicated Data Stores within the Main Conference-track

2017

ECOOP

Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track

PLDI

2016

Onward!

Author of Exploring the Role of Sequential Computation in Distributed Systems: Motivating a Programming Paradigm Shift within the Onward! Papers-track

PLDI

Author of Program Synthesis from Polymorphic Refinement Types within the Research Papers-track

2015

SPLASH

Author of Programming with Enumerable Sets of Structures within the OOPSLA-track

2013

SPLASH

Author of Synthesis Modulo Recursive Functions within the OOPSLA-track