| Program synthesis from polymorphic refinement types N Polikarpova, I Kuraj, A Solar-Lezama ACM SIGPLAN Notices 51 (6), 522-538, 2016 | 324 | 2016 |
| Complete completion using types and weights T Gvero, V Kuncak, I Kuraj, R Piskac Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013 | 178 | 2013 |
| Synthesis modulo recursive functions E Kneuss, I Kuraj, V Kuncak, P Suter Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013 | 138 | 2013 |
| Programming with enumerable sets of structures I Kuraj, V Kuncak, D Jackson Proceedings of the 2015 ACM SIGPLAN International Conference on Object …, 2015 | 30 | 2015 |
| DemoMatch: API discovery from demonstrations K Yessenov, I Kuraj, A Solar-Lezama ACM SIGPLAN Notices 52 (6), 64-78, 2017 | 18 | 2017 |
| Scife: Scala framework for efficient enumeration of data structures with invariants I Kuraj, V Kuncak Proceedings of the Fifth Annual Scala Workshop, 45-49, 2014 | 12 | 2014 |
| On integrating deductive synthesis and verification systems E Kneuss, V Kuncak, I Kuraj, P Suter arXiv preprint arXiv:1304.5661, 2013 | 9 | 2013 |
| Interactive code generation I Kuraj | 6 | 2013 |
| Exploring the role of sequential computation in distributed systems: motivating a programming paradigm shift I Kuraj, D Jackson Proceedings of the 2016 ACM International Symposium on New Ideas, New …, 2016 | 4 | 2016 |
| Aspect-oriented language for reactive distributed applications at the edge I Kuraj, A Solar-Lezama Proceedings of the Third ACM International Workshop on Edge Systems …, 2020 | 3 | 2020 |
| On fast code completion using type inhabitation T Gvero, V Kuncak, I Kuraj, R Piskac | 3 | 2012 |
| On the Complexity of Convex and Reverse Convex Prequadratic Constraints. R Raya, J Hamza, V Kuncak LPAR, 350-368, 2023 | 2 | 2023 |
| Leveraging sequential computation for programming efficient and reliable distributed systems I Kuraj, A Solar-Lezama 2nd Summit on Advances in Programming Languages (SNAPL 2017), 2017 | 2 | 2017 |
| Optimizing consistency for partially replicated data stores I Kuraj, A Solar-Lezama, N Polikarpova Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of …, 2022 | 1 | 2022 |
| On Repairing Ill-Typed Expressions T Gvero, I Kuraj, R Piskac | 1 | 2013 |
| Synthesis-Aided Development of Distributed Programs I Kuraj Massachusetts Institute of Technology, 2024 | | 2024 |
| Programming with Enumerators: Constructive Approach to Challenge the Status Quo in Automated Data Structure Generation I Kuraj Tiny Trans. Comput. Sci. 4, 2016 | | 2016 |
| Insynth: A system for code completion using types and weights T Gvero, V Kuncak, I Kuraj, R Piskac Gesellschaft für Informatik eV, 2015 | | 2015 |
| The relevance of the Turing test on artificial intelligence D BORDA, P Isabel, I KURAJ, S MITROVIC | | 2011 |
