• Sign in
  • Sign up
conf.researchr.org / Ivan Kuraj
  • PLDI 2016 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
  • PPoPP 2022 profile
  • SPLASH 2013 profile
  • SPLASH 2015 profile
  • SPLASH 2016 profile
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
PLDI 2017 Committee Member in Artifact Evaluation Committee
Author of DemoMatch: API Discovery from Demonstrations within the PLDI Research Papers-track
ECOOP 2017 Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-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

Share
xThu 19 May 23:32
using conf.researchr.org (v1.55.6)
Support page
Sign Up