Skip to content

Commit 1a6ec7c

Browse files
hongshinhongshin
committed
Update posts
1 parent 50d9e72 commit 1a6ec7c

4 files changed

Lines changed: 213 additions & 6 deletions

File tree

‎2025/09/01/Project.html‎

Lines changed: 180 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,180 @@
1+
<!DOCTYPE html>
2+
<html lang="en"><head>
3+
<meta charset="utf-8">
4+
<meta http-equiv="X-UA-Compatible" content="IE=edge">
5+
<meta name="viewport" content="width=device-width, initial-scale=1"><link type="application/atom+xml" rel="alternate" href="/feed.xml" title="SDEV Lab" /></head>
6+
<style>@import url(/public/css/syntax/monokai.css);</style>
7+
<title>SDEV Lab</title>
8+
<!-- <link href="/public/css/bootstrap.min.css" rel="stylesheet"> -->
9+
10+
<link href="/public/css/style.css" rel="stylesheet">
11+
<body>
12+
<div class="container">
13+
<div class="sidebar">
14+
<div class="sidebar-item sidebar-header">
15+
<p></p>
16+
<p></p>
17+
<div class='sidebar-brand'>
18+
<a href="/">SDEV Lab</a>
19+
</div>
20+
<p class="lead">Software Development and Verification Methodologies Lab@CBNU </p></div>
21+
22+
<div class="sidebar-item sidebar-nav">
23+
<ul class="nav">
24+
<!--
25+
<li class="nav-title">Pages</li>
26+
-->
27+
<li>
28+
<a class="nav-item" href="/">Home</a>
29+
</li>
30+
<li>
31+
<a class="nav-item" href="/about/">About SDEV Lab</a>
32+
</li>
33+
<li>
34+
<a class="nav-item" href="/members/">Members</a>
35+
</li>
36+
<li>
37+
<a class="nav-item" href="/publications/">Publications</a>
38+
</li>
39+
<li>
40+
<a class="nav-item" href="/projects/">Projects</a>
41+
</li>
42+
<li>
43+
<a class="nav-item" href="/teaching/">Teaching</a>
44+
</li>
45+
<!--
46+
47+
48+
49+
50+
51+
52+
<li>
53+
<a class="nav-item" href="/about/">
54+
About
55+
</a>
56+
</li>
57+
58+
59+
60+
61+
62+
<li>
63+
<a class="nav-item" href="/about/">
64+
About SDEV Lab
65+
</a>
66+
</li>
67+
68+
69+
70+
71+
72+
73+
74+
75+
76+
77+
78+
<li>
79+
<a class="nav-item" href="/members/">
80+
Members
81+
</a>
82+
</li>
83+
84+
85+
86+
87+
88+
<li>
89+
<a class="nav-item" href="/projects/">
90+
Projects
91+
</a>
92+
</li>
93+
94+
95+
96+
97+
98+
<li>
99+
<a class="nav-item" href="/publications/">
100+
Publications
101+
</a>
102+
</li>
103+
104+
105+
106+
107+
108+
<li>
109+
<a class="nav-item" href="/teaching/">
110+
Teaching
111+
</a>
112+
</li>
113+
114+
115+
116+
117+
118+
-->
119+
</ul>
120+
</div>
121+
122+
<!--
123+
<div class="sidebar-item sidebar-nav">
124+
<ul class="nav">
125+
<li class="nav-title">Categories</li>
126+
127+
</nav>
128+
</ul>
129+
</div>
130+
-->
131+
132+
<div class="sidebar-item sidebar-footer">
133+
<p>Powered by <a href="https://github.com/jekyll/jekyll">Jekyll</a></p>
134+
</div>
135+
136+
</div>
137+
<div class="content">
138+
<article class="post">
139+
<header class="post-header" style="width: 775px; padding: 15px;">
140+
<div class="post-title" style="width: 775px; padding: 15px;">
141+
김준희, 한나린 교육부 이공분야 학술연구지원사업 선정
142+
</div>
143+
<time class="post-date dt-published" datetime="2025-09-01T00:00:00+09:00" itemprop="datePublished">2025/09/01
144+
</time>
145+
</header>
146+
147+
<div class="post-content" style="width: 775px; font-size: 17px; text-align: justify; padding: 15px;">
148+
<h1 id="김준희-한나린-석사과정생연구장려금-지원사업-선정">김준희, 한나린 석사과정생연구장려금 지원사업 선정</h1>
149+
150+
<p>김준희 학생과 한나린 학생이 각각 교육부 이공분야 학술연구지원사업(석사과정생연구장려금지원사업)에
151+
각각 선정되었습니다.</p>
152+
153+
<ul>
154+
<li>C/C++ 라이브러리 마이그레이션을 위한 SWE 멀티 에이전트 운영 기술 연구 (김준희 학생)</li>
155+
<li>LLM의 코드 의미 추론을 활용한 목적지향 Greybox Fuzzing 탐색 기술 연구 (한나린 학생)</li>
156+
</ul>
157+
158+
<p>김준희 학생이 진행하는 프로젝트는 C/C++ 프로그램에 대해 정확, 신속, 유연하게
159+
라이브러리 마이그레이션을 자동으로 수행하는 기술을 개발하는 연구입니다.
160+
난이도가 높은 SW 유지보수 작업인 라이브러리 마이그레이션을 자동화함으로써
161+
SW 공급망 보안을 강화하는데 활용될 수 있는 기술을 세계 최초로 제시하는 것을
162+
목표합니다.</p>
163+
164+
<p>한나린 학생이 진행하는 프로젝트는 자동 테스팅 기법인 Greybox Fuzzing의
165+
원거리 목표 지향 탐색 성능을 개선하기 위해 LLM을 효과적으로 활용하는
166+
방법을 찾기 위한 연구입니다.
167+
LLM을 통해 다양한 상황 정보를 활용함으로써 전통적인 프로그램 분석의
168+
한계를 넘어선 새로운 Greybox Fuzzing 탐색 방식을 제시할 수 있을 것으로 기대합니다.</p>
169+
170+
<p>김준희 학생과 한나린 학생은 각 과제의 연구책임자로서 2025년 9월부터 1년간 해당 연구에 대한
171+
연구비를 지원 받게 됩니다.</p>
172+
173+
174+
</div>
175+
</article>
176+
177+
</div>
178+
</div>
179+
</body>
180+
</html>

‎category/index.html‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -141,6 +141,10 @@
141141
</header>
142142

143143
<div class="post-content"><ul class="post-list"><li class="post-list-item post-category-">
144+
<!----><span class="post-date">2025/09/01</span>
145+
<a class="post-link" href="/2025/09/01/Project.html">
146+
김준희, 한나린 교육부 이공분야 학술연구지원사업 선정
147+
</a></li><li class="post-list-item post-category-">
144148
<!----><span class="post-date">2025/05/15</span>
145149
<a class="post-link" href="/2025/05/15/Recruit.html">
146150
SDEV 연구실 대학원생 모집(2025년 하반기)

‎feed.xml‎

Lines changed: 25 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,27 @@
1-
<?xml version="1.0" encoding="utf-8"?><feed xmlns="http://www.w3.org/2005/Atom" ><generator uri="https://jekyllrb.com/" version="4.0.1">Jekyll</generator><link href="/feed.xml" rel="self" type="application/atom+xml" /><link href="/" rel="alternate" type="text/html" /><updated>2025-05-28T18:18:52+09:00</updated><id>/feed.xml</id><title type="html">SDEV Lab</title><subtitle>Software Development and Verification Methodologies Lab@CBNU </subtitle><entry><title type="html">SDEV 연구실 대학원생 모집(2025년 하반기)</title><link href="/2025/05/15/Recruit.html" rel="alternate" type="text/html" title="SDEV 연구실 대학원생 모집(2025년 하반기)" /><published>2025-05-15T00:00:00+09:00</published><updated>2025-05-15T00:00:00+09:00</updated><id>/2025/05/15/Recruit</id><content type="html" xml:base="/2025/05/15/Recruit.html"><![CDATA[<h1 id="sdev-연구실-대학원생-모집">SDEV 연구실 대학원생 모집</h1>
1+
<?xml version="1.0" encoding="utf-8"?><feed xmlns="http://www.w3.org/2005/Atom" ><generator uri="https://jekyllrb.com/" version="4.0.1">Jekyll</generator><link href="/feed.xml" rel="self" type="application/atom+xml" /><link href="/" rel="alternate" type="text/html" /><updated>2025-09-16T09:45:17+09:00</updated><id>/feed.xml</id><title type="html">SDEV Lab</title><subtitle>Software Development and Verification Methodologies Lab@CBNU </subtitle><entry><title type="html">김준희, 한나린 교육부 이공분야 학술연구지원사업 선정</title><link href="/2025/09/01/Project.html" rel="alternate" type="text/html" title="김준희, 한나린 교육부 이공분야 학술연구지원사업 선정" /><published>2025-09-01T00:00:00+09:00</published><updated>2025-09-01T00:00:00+09:00</updated><id>/2025/09/01/Project</id><content type="html" xml:base="/2025/09/01/Project.html"><![CDATA[<h1 id="김준희-한나린-석사과정생연구장려금-지원사업-선정">김준희, 한나린 석사과정생연구장려금 지원사업 선정</h1>
2+
3+
<p>김준희 학생과 한나린 학생이 각각 교육부 이공분야 학술연구지원사업(석사과정생연구장려금지원사업)에
4+
각각 선정되었습니다.</p>
5+
6+
<ul>
7+
<li>C/C++ 라이브러리 마이그레이션을 위한 SWE 멀티 에이전트 운영 기술 연구 (김준희 학생)</li>
8+
<li>LLM의 코드 의미 추론을 활용한 목적지향 Greybox Fuzzing 탐색 기술 연구 (한나린 학생)</li>
9+
</ul>
10+
11+
<p>김준희 학생이 진행하는 프로젝트는 C/C++ 프로그램에 대해 정확, 신속, 유연하게
12+
라이브러리 마이그레이션을 자동으로 수행하는 기술을 개발하는 연구입니다.
13+
난이도가 높은 SW 유지보수 작업인 라이브러리 마이그레이션을 자동화함으로써
14+
SW 공급망 보안을 강화하는데 활용될 수 있는 기술을 세계 최초로 제시하는 것을
15+
목표합니다.</p>
16+
17+
<p>한나린 학생이 진행하는 프로젝트는 자동 테스팅 기법인 Greybox Fuzzing의
18+
원거리 목표 지향 탐색 성능을 개선하기 위해 LLM을 효과적으로 활용하는
19+
방법을 찾기 위한 연구입니다.
20+
LLM을 통해 다양한 상황 정보를 활용함으로써 전통적인 프로그램 분석의
21+
한계를 넘어선 새로운 Greybox Fuzzing 탐색 방식을 제시할 수 있을 것으로 기대합니다.</p>
22+
23+
<p>김준희 학생과 한나린 학생은 각 과제의 연구책임자로서 2025년 9월부터 1년간 해당 연구에 대한
24+
연구비를 지원 받게 됩니다.</p>]]></content><author><name></name></author><summary type="html"><![CDATA[김준희, 한나린 석사과정생연구장려금 지원사업 선정]]></summary></entry><entry><title type="html">SDEV 연구실 대학원생 모집(2025년 하반기)</title><link href="/2025/05/15/Recruit.html" rel="alternate" type="text/html" title="SDEV 연구실 대학원생 모집(2025년 하반기)" /><published>2025-05-15T00:00:00+09:00</published><updated>2025-05-15T00:00:00+09:00</updated><id>/2025/05/15/Recruit</id><content type="html" xml:base="/2025/05/15/Recruit.html"><![CDATA[<h1 id="sdev-연구실-대학원생-모집">SDEV 연구실 대학원생 모집</h1>
225
326
<p>2025년 5월 15일</p>
427
@@ -294,4 +317,4 @@ SW 개발 및 실험 등을 통한 첨단 연구에 참여할 수 있습니다.
294317
<h3 id="연락방법">연락방법</h3>
295318
<p>대학원 진학에 관심이 있으시다면 홍신 교수(hongshin@gmail.com)에게 메일로 연락하여 상담 일정을 정하시기 바랍니다. 그 외의 궁금한 점이 있으시다면 메일로 문의 바랍니다.</p>
296319
297-
<p>-홍신</p>]]></content><author><name></name></author><summary type="html"><![CDATA[SDEV 연구실 대학원생 모집]]></summary></entry><entry><title type="html">SDEV lab starts out in CBNU at Mar 2024 (formely, ARISE lab at HGU)</title><link href="/2024/02/01/start.html" rel="alternate" type="text/html" title="SDEV lab starts out in CBNU at Mar 2024 (formely, ARISE lab at HGU)" /><published>2024-02-01T00:00:00+09:00</published><updated>2024-02-01T00:00:00+09:00</updated><id>/2024/02/01/start</id><content type="html" xml:base="/2024/02/01/start.html"><![CDATA[<p>SDEV lab starts out in CBNU at Mar 2024 (formely, ARISE lab at HGU; https://sites.google.com/view/arise-handong)</p>]]></content><author><name></name></author><summary type="html"><![CDATA[SDEV lab starts out in CBNU at Mar 2024 (formely, ARISE lab at HGU; https://sites.google.com/view/arise-handong)]]></summary></entry></feed>
320+
<p>-홍신</p>]]></content><author><name></name></author><summary type="html"><![CDATA[SDEV 연구실 대학원생 모집]]></summary></entry></feed>

‎index.html‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -173,17 +173,17 @@
173173

174174
<h3> News </h3>
175175
<div class="post-content" style="text-align: left;"><ul class="post-list"><li class="post-list-item">
176+
<!----><span class="post-date">2025/09/01</span>
177+
<a class="post-link" href="/2025/09/01/Project.html">
178+
김준희, 한나린 교육부 이공분야 학술연구지원사업 선정
179+
</a></li><li class="post-list-item">
176180
<!----><span class="post-date">2025/05/15</span>
177181
<a class="post-link" href="/2025/05/15/Recruit.html">
178182
SDEV 연구실 대학원생 모집(2025년 하반기)
179183
</a></li><li class="post-list-item">
180184
<!----><span class="post-date">2025/03/25</span>
181185
<a class="post-link" href="/2025/03/25/Intro.html">
182186
전공탐색을 위한 SDEV 연구실 소개
183-
</a></li><li class="post-list-item">
184-
<!----><span class="post-date">2024/10/07</span>
185-
<a class="post-link" href="/2024/10/07/KCSE-2025.html">
186-
2025 한국 소프트웨어공학 학술대회(KCSE) 개최 안내
187187
</a></li></ul></div>
188188
<p>
189189
<center>

0 commit comments

Comments
 (0)