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

PPoPP 2022	Author of POSTER: Optimizing Consistency for Partially Replicated Data Stores within the Main Conference-track
ECOOP 2017	Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
PLDI 2017	Committee Member in Artifact Evaluation Committee Author of DemoMatch: API Discovery from Demonstrations within the PLDI Research Papers-track
Onward! 2016	Author of Exploring the Role of Sequential Computation in Distributed Systems: Motivating a Programming Paradigm Shift within the Onward! Papers-track
PLDI 2016	Author of Program Synthesis from Polymorphic Refinement Types within the Research Papers-track
SPLASH 2015	Author of Programming with Enumerable Sets of Structures within the OOPSLA-track
SPLASH 2013	Author of Synthesis Modulo Recursive Functions within the OOPSLA-track