【오즈커뮤-OZcommunity】 보증업체놀이터추천홍보 : 프로그램제작판매제작의뢰 : 스포츠분석 : 무료스포츠중계tv : 섹시bj움짤 : 스포츠뉴스 : 안구정화 놀이터홍보 놀이터후기공유 피해사례공유

로그인

글쓰기

[IT뉴스]KAIST, 세계 최대 컴퓨터학회서 5편 논문 첫 발표

온카뱅크관리자

2024-07-03 08:03:13

<div id="layerTranslateNotice" style="display:none;"></div>  <strong class="summary_view" data-translation="true">- 전산학부 강지훈, 류석영 교수 연구팀<br>- 프로그래밍언어 학술대회 5편 논문 발표</strong> 
        <div class="article_view" data-translation-body="true" data-tiara-layer="article_body" data-tiara-action-name="본문이미지확대_클릭"> 
         <section dmcf-sid="1Xl37pkP06">
          <figure class="figure_frm origin_fig" dmcf-pid="t5vpquDxu8" dmcf-ptype="figure">
           <p class="link_figure"><img alt="강지훈(왼쪽) KAIST 전산학부 교수와 류석영 교수.[KAIST 제공]" class="thumb_g_article" data-org-src="https://t1.daumcdn.net/news/202407/03/ned/20240703080315967uzqw.jpg" data-org-width="718" dmcf-mid="ZHStU3A8zQ" dmcf-mtype="image" height="auto" src="https://img3.daumcdn.net/thumb/R658x0.q70/?fname=https://t1.daumcdn.net/news/202407/03/ned/20240703080315967uzqw.jpg" width="658"></p>
           <figcaption class="txt_caption default_figure">
            강지훈(왼쪽) KAIST 전산학부 교수와 류석영 교수.[KAIST 제공]
           </figcaption>
          </figure>
          <p dmcf-pid="F1TUB7wM04" dmcf-ptype="general">[헤럴드경제=구본혁 기자] 국내 연구진이 세계 최대 규모 컴퓨터학회에서 2012년 한국서 처음 논문을 발표한 이래, 최초로 3편 이상의 논문을 발표하는 성과를 거뒀다.</p>
          <p dmcf-pid="30Gq2bOJ0f" dmcf-ptype="general">KAIST는 전산학부 강지훈 교수, 류석영(사진) 교수 연구팀이 프로그래밍 언어 분야 최고 권위 학술대회인 PLDI에서 올해 발표될 89편의 논문 중 6.7%인 5편의 논문을 발표했다고 3일 밝혔다.</p>
          <p dmcf-pid="0pHBVKIizV" dmcf-ptype="general">PLDI(Programming Language Design and Implementation)는 세계 최대 컴퓨터 학회인 ACM이 주관하는 학술대회다. 프로그래밍 언어와 컴파일러 등 소프트웨어 전반의 기초가 되는 핵심 기술을 발표하고 있다.</p>
          <div dmcf-pid="pUXbf9CnF2" dmcf-ptype="general">
           <p>이번 학회에 발표된 5개의 논문은 ▷멀티코어 컴퓨팅 시스템에서 동작하는 고성능 병렬 자료구조가 사용을 마친 메모리를 수집하기 위한 다양한 기법 ▷멀티코어 컴퓨팅 시스템에서 성능을 높이기 위해 운영체제, 데이터베이스 등 고성능 시스템 소프트웨어의 안전성 증명 ▷시스템 반도체의 논리적 청사진인 RTL(register-transfer level) 설계 및 검증비용을 획기적으로 줄일 수 있는 프로그래밍 언어 개발 ▷안정성이 취약한 C 언어로 작성된 프로그램을 안전한 Rust 언어로 작성된 프로그램으로 자동 변환하는 연구 ▷산업계에서 가장 널리 사용하는 자바스크립트 프로그래밍 언어의 공식 개발 과정에 적용한 기술을 기반으로 웹어셈블리 언어에 특화한 연구 등이다.</p>
          </div>
          <figure class="figure_frm origin_fig" dmcf-pid="UgMkmDKGp9" dmcf-ptype="figure">
           <p class="link_figure"><img alt="KAIST 대전 본원.[헤럴드DB]" class="thumb_g_article" data-org-src="https://t1.daumcdn.net/news/202407/03/ned/20240703080317205xayh.jpg" data-org-width="700" dmcf-mid="5x34x6yj0P" dmcf-mtype="image" height="auto" src="https://img2.daumcdn.net/thumb/R658x0.q70/?fname=https://t1.daumcdn.net/news/202407/03/ned/20240703080317205xayh.jpg" width="658"></p>
           <figcaption class="txt_caption default_figure">
            KAIST 대전 본원.[헤럴드DB]
           </figcaption>
          </figure>
          <p dmcf-pid="uaREsw9HzK" dmcf-ptype="general">강지훈 교수는 “5편의 논문은 각각 학생들이 오랫동안 정성껏 연구한 결과를 담아 뛰어난 독창성과 실용성을 동시에 갖춘 우수한 논문들”이라면서 “이 논문들이 앞으로 지속적으로 프로그래밍 언어와 인접 전산학 분야, 그리고 더 나아가서 산업계에 깊은 영향을 미칠 수 있도록 후속 연구에 정진할 것”이라고 포부를 밝혔다.</p>
          <p dmcf-pid="7NeDOr2X3b" dmcf-ptype="general">류석영 교수는 “반도체, 운영체제, 클라우드 등 인프라부터 사용자에게 제공하는 서비스까지 모두를 아우르는 풀 스택 소프트웨어를 안전하고 올바르게 동작하도록 설계하고 개발하는 세계적인 기술을 선보인 결과”라며 “소프트웨어가 이끄는 세상에서 더 안전하고 올바르게 동작하는 소프트웨어를 사용할 수 있기를 기대한다”고 전했다.</p>
          <p dmcf-pid="zcimhO413B" dmcf-ptype="general">5편의 논문은 지난 25~27일 열린 PLDI 2024 학술대회서 발표됐고 국제학술지 ‘PACMPL’에 게재됐다.</p>
          <p dmcf-pid="qknslI8tFq" dmcf-ptype="general">nbgkoo@heraldcorp.com</p>
         </section> 
        </div> 
        <p class="" data-translation="true">Copyright © 헤럴드경제. 무단전재 및 재배포 금지.</p>