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
Collaborated with:
C.W.0001 M.Kusano B.Paulsen J.Wang N.S.0001 S.K.Lahiri C.Enea P.A.H.Peterson C.Wang
Talks about:
analysi (3) transform (2) channel (2) static (2) mitig (2) side (2) interrupt (1) framework (1) debreach (1) compress (1)

Person: Chungha Sung

DBLP DBLP: Sung:Chungha

Contributed to:

FSE 20162016
ASE 20172017
ASE 20182018
ASE 20192019
ESEC/FSE 20192019

Wrote 6 papers:

FSE-2016-SungKS0 #analysis #dependence #testing #web
Static DOM event dependency analysis for testing web applications (CS, MK, NS0, CW0), pp. 447–459.
ASE-2017-SungKW #composition #verification
Modular verification of interrupt-driven software (CS, MK, CW0), pp. 206–216.
ASE-2018-SungLEW #concurrent #difference #scalability #semantics #source code
Datalog-based scalable semantic diffing of concurrent programs (CS, SKL, CE, CW0), pp. 656–666.
ASE-2018-SungPW #analysis #framework #named
CANAL: a cache timing analysis framework via LLVM transformation (CS, BP, CW0), pp. 904–907.
ASE-2019-PaulsenSPW #named #static analysis
Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation (BP, CS, PAHP, CW), pp. 899–911.
ESEC-FSE-2019-WangSW #compilation
Mitigating power side channels during compilation (JW, CS, CW0), pp. 590–601.
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.