-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
executable file
·80 lines (72 loc) · 4.8 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
---
layout: default
title: Chungha's Website
---
<div class="home" id="home">
<div><a href="assets/img/profile_2021.jpg" imageanchor="1"><img border="0" height="240" style="float:left" hspace="30" src="assets/img/profile_2022.jpeg"/></a>
<h3 style="margin: 0.5rem 1.5rem">Chungha Sung </h3>
<!--<h4><span lang="ko">(성청하</span>,<span lang="ch"> 成青河</span>)</h4>--!>
<h4> Applied Scientist <br>
Amazon Web Services (AWS)</h4>
<!--
<a href="https://www.cs.usc.edu" target="_blank">The department of Computer Science</a><br>
<a href="https://www.usc.edu" target="_blank">University of Southern California (USC)</a></p>
--!>
</div>
<p style="clear:both">
<table cellspacing="0">
<div class="description">
Chungha Sung is an applied scientist in Automated Reasoning in Identity (ARI) at Amazon Web Services (AWS). He completed his Ph.D degree in Computer Science
at <a href="https://www.usc.edu" target="_blank">University of Southern California (USC)</a> and M.S. at <a href="https://www.vt.edu" target="_blank">Virginia Tech</a>.
<br>
<br>
</div>
</table>
<table cellspacing="0">
<ul> <li class="ch-list1">Research interests
<span style="font-size:0.9em; font-weight:light">
(<a href="pub/">Publication list</a>, <a href="https://scholar.google.com/citations?user=ZCD9fDsAAAAJ&hl=en" target="_blank">Google scholar</a>)</span></li>
<ul>
<li class="ch-list2">Static/Dynamic program analysis and formal methods to solve numerous software engineering problems</li>
<li class="ch-list2">Contraint-based program analysis for efficient automated reasoning techniques for concurrent software [<a href="http://digitallibrary.usc.edu/cdm/ref/collection/p15799coll89/id/431554/" target="_blank">Dissertation</a>, <a href="https://chunghasung.org/pub/papers/fse16_paper.pdf" target="_blank">FSE16</a>,
<a href="https://chunghasung.org/pub/papers/ase17_paper.pdf" target="_blank">ASE17</a>,
<a href="https://chunghasung.org/pub/papers/ase2018_diff.pdf" target="_blank">ASE18</a>]</li>
<li class="ch-list2">Software side-channel analysis/attacks/mitigations
[<a href="https://chunghasung.org/pub/papers/ase2018_canal.pdf" target="_blank">ASE-tool18</a>,
<a href="https://chunghasung.org/pub/papers/fse2019_paper.pdf" target="_blank">FSE19</a>,
<a href="https://chunghasung.org/pub/papers/ase2019_debreach.pdf" target="_blank">ASE19</a>,
<a href="https://arxiv.org/pdf/2102.06753.pdf" target="_blank">ICSE21</a>]</li>
<li class="ch-list2">Automatic program maintenance and repair
[<a href="https://chunghasung.org/pub/papers/icse-seip_2020.pdf" target="_blank">ICSE-SEIP20</a>]</li>
</ul>
</ul>
<!--
<table cellspacing="0">
<ul> <li class="ch-list1">Brief list of publications with conferences
<span style="font-size:0.9em; font-weight:light">
(<a href="pub/">Complete list</a>, <a href="https://scholar.google.com/citations?user=ZCD9fDsAAAAJ&hl=en" target="_blank">Google scholar</a>)</span></li>
<ul>
<li class="ch-list2">(ICSE 2020) Towards Understanding and Fixing Upstream Merge Induced Conflicts in Divergent Forks: An Industrial Case Study</li>
<li class="ch-list2">(ASE 2019) Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation</li>
<li class="ch-list2">(FSE 2019) Mitigating Power Side Channels during Compilation</li>
<li class="ch-list2">(ASE 2018) Datalog-based Scalable Semantic Diffing of Concurrent Programs</li>
<li class="ch-list2">(ASE 2018) CANAL: A Cache Timing Analysis Framework via LLVM Transformation</li>
<li class="ch-list2">(ASE 2017) Modular Verification of Interrupt-driven Software</li>
<li class="ch-list2">(FSE 2016) Static DOM Event Analysis for Testing Web Applications</li>
</ul>
</ul>
</table>
--!>
<!--
<ul> <li class="ch-list1">Internships</li>
<ul>
<li class="ch-list2">Microsoft Research, Redmond, USA (Summer 2019)</li>
<li class="ch-list2">MediaTek Inc., Boston, USA (Summer 2018)</li>
<li class="ch-list2">Microsoft Research, India (Summer 2017)</li>
<li class="ch-list2">AhnLab Inc., Korea (Summer 2012)</li>
</ul>
</ul>
<br>
--!>
</table>