BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
1 × Portugal
1 × USA
Collaborated with:
X.Qiu A.Solar-Lezama J.S.Foster K.Shin H.Han
Talks about:
sketch (2) transform (1) synthesi (1) parallel (1) program (1) pattern (1) concret (1) static (1) object (1) layout (1)

Person: Jinseong Jeon

DBLP DBLP: Jeon:Jinseong

Contributed to:

CAV 20152015
ESEC/FSE 20152015
CC 20072007

Wrote 3 papers:

CAV-2015-JeonQSF #adaptation #parallel #synthesis
Adaptive Concretization for Parallel Program Synthesis (JJ, XQ, ASL, JSF), pp. 377–394.
ESEC-FSE-2015-JeonQFS #java #named #sketching
JSketch: sketching for Java (JJ, XQ, JSF, ASL), pp. 934–937.
CC-2007-JeonSH #data access #layout #using
Layout Transformations for Heap Objects Using Static Access Patterns (JJ, KS, HH), pp. 187–201.

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.