Chungha Sung

Identifiers

No identifiers captured yet.

Papers (4)

1. Mitigating Power Side Channels during Compilation cs.CR · 2019 · author #2
2. Datalog-based Scalable Semantic Diffing of Concurrent Programs cs.SE · 2018 · author #1
3. CANAL: A Cache Timing Analysis Framework via LLVM Transformation cs.SE · 2018 · author #1
4. Modular Verification of Interrupt-Driven Software cs.PL · 2017 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Chao Wang 4 shared papers
• Brandon Paulsen 1 shared papers
• Constantin Enea 1 shared papers
• Jingbo Wang 1 shared papers
• Markus Kusano 1 shared papers
• Shuvendu Lahiri 1 shared papers