Concepedia

Ivan Kuraj

IK

9

Publications

575

Citations

9

H-Index

2013

Active since

Affiliations

École Polytechnique Fédérale de Lausanne(Current)

Massachusetts Institute of Technology

Max Planck Institute for Software Systems

Ivan Kuraj is an author at École Polytechnique Fédérale de Lausanne specializing in program analysis, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationSoftware EngineeringData ScienceSoftware Design

Publications per year

2013–2017

9

Publications

9

Program synthesis from polymorphic refinement types

Nadia Polikarpova, Ivan Kuraj, Armando Solar-Lezama · 2016 · 192 citations

Engineering, Software Systems, Verification +20

Complete completion using types and weights

Tihomir Gvero, Viktor Kunčak, Ivan Kuraj et al. · 2013 · 135 citations · Full text

Mathematical Programming, Engineering, Machine Learning +21

Synthesis modulo recursive functions

Etienne Kneuss, Ivan Kuraj, Viktor Kunčak et al. · 2013 · 110 citations · Full text

Relational Specifications, Engineering, Verification +16

Program synthesis from polymorphic refinement types

Nadia Polikarpova, Ivan Kuraj, Armando Solar-Lezama · ACM SIGPLAN Notices · 2016 · 55 citations · Full text

Engineering, Software Systems, Verification +20

Programming with enumerable sets of structures

Ivan Kuraj, Viktor Kunčak, Daniel Jackson · 2015 · 25 citations · Full text

Mathematical Programming, Mathematical Structure, Engineering +24

Rows per page

1–5 of 9