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:
2 × USA
Collaborated with:
S.D.Cha Minseok Jeon H.Oh K.Song A.Han J.Yoo J.Lee
Talks about:
context (3) analysi (2) driven (2) point (2) data (2) translat (1) independ (1) verilog (1) various (1) scalabl (1)

Person: Sehun Jeong

DBLP DBLP: Jeong:Sehun

Contributed to:

SEKE 20152015
SEKE 20112011
OOPSLA 20172017
OOPSLA 20182018

Wrote 4 papers:

SEKE-2015-SongHJC #android #generative #testing
Generating various contexts from permissions for testing Android applications (KS, ARH, SJ, SDC), pp. 87–92.
SEKE-2011-YooLJC #independence #named #source code
FBDtoVerilog: A Vendor-Independent Translation from FBDs into Verilog Programs (JY, JHL, SJ, SDC), pp. 48–51.
OOPSLA-2017-JeongJCO #analysis #context-sensitive grammar #data-driven #points-to
Data-driven context-sensitivity for points-to analysis (SJ, MJ, SDC, HO), p. 28.
OOPSLA-2018-JeonJO #analysis #data-driven #points-to #precise #scalability
Precise and scalable points-to analysis via data-driven context tunneling (MJ, SJ, HO), p. 29.
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.