BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
3 × USA
Collaborated with:
V.Kuncak A.Solar-Lezama D.J.0001 D.Jackson N.Polikarpova K.Yessenov E.Kneuss P.Suter T.Gvero R.Piskac
Talks about:
program (3) synthesi (2) complet (2) type (2) polymorph (1) distribut (1) discoveri (1) structur (1) sequenti (1) paradigm (1)

Person: Ivan Kuraj

DBLP DBLP: Kuraj:Ivan

Contributed to:

OOPSLA 20152015
OOPSLA 20132013
PLDI 20132013
Onward! 20162016
PLDI 20162016
PLDI 20172017

Wrote 6 papers:

OOPSLA-2015-KurajKJ #programming #set
Programming with enumerable sets of structures (IK, VK, DJ), pp. 37–56.
OOPSLA-2013-KneussKKS #recursion #synthesis
Synthesis modulo recursive functions (EK, IK, VK, PS), pp. 407–426.
PLDI-2013-GveroKKP #using
Complete completion using types and weights (TG, VK, IK, RP), pp. 27–38.
Onward-2016-KurajJ #distributed #paradigm #programming
Exploring the role of sequential computation in distributed systems: motivating a programming paradigm shift (IK, DJ0), pp. 145–164.
PLDI-2016-PolikarpovaKS #polymorphism #refinement #synthesis
Program synthesis from polymorphic refinement types (NP, IK, ASL), pp. 522–538.
PLDI-2017-YessenovKS #api #named
DemoMatch: API discovery from demonstrations (KY, IK, ASL), pp. 64–78.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.