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: Jeon:Jinseong
Contributed to:
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.