Sotabase

Career

· MS in Computer Science, Ecole polytechnique fédérale de Lausanne (EPFL)
· Ph.D. in Electrical Engineering and Computer Science, Massachusetts Institute of Technology (MIT)
· PhD Student, Massachusetts Institute of Technology (MIT)
· BSc., Software Engineering, University of Belgrade

Publications (42)

Complete completion using types and weights
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2013
155
cited
Synthesis modulo recursive functions
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2013
122
cited
Programming with enumerable sets of structures
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2015
22
cited
DemoMatch: API discovery from demonstrations
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2017
15
cited
SciFe: Scala framework for efficient enumeration of data structures with invariants
SCALA@ECOOP · 2014
10
cited
On Integrating Deductive Synthesis and Verification Systems
arXiv.org · 2013
7
cited
Interactive Code Generation
2013
6
cited
Exploring the role of sequential computation in distributed systems: motivating a programming paradigm shift
SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software · 2016
3
cited
On Fast Code Completion using Type Inhabitation
2012
3
cited
Optimizing consistency for partially replicated data stores
ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming · 2022
2
cited
Aspect-oriented language for reactive distributed applications at the edge
EdgeSys@EuroSys · 2020
1
cited
Leveraging Sequential Computation for Programming Efficient and Reliable Distributed Systems
Summit on Advances in Programming Languages · 2017
1
cited
On Complete Completion using Types and Weights
2012
1
cited
On Repairing Ill-Typed Expressions
2013
1
cited
Hydrological Processes Estimation of canopy drying time after rainfall using sap flow measurements in an emergent tree in lowland mixed-dipterocarp forest.
2009
InSynth: A System for Code Completion using Types and Weights
Software Engineering & Management · 2015
My-awesome-science-project: Test Release
2015
Peepco: Batch-Based Consistency Optimization
Proc. ACM Program. Lang. · 2025
Programming with Enumerators: Constructive Approach to Challenge the Status Quo in Automated Data Structure Generation
Tiny Transactions on Computer Science · 2016
Synthesis-Aided Development of Distributed Programs
2024
Sotabase
Ivan Kuraj | Researcher Profile | Sotabase | Sotabase