로그인
보증업체
스포츠중계
스포츠분석
먹튀사이트
지식/노하우
판매의뢰
업체홍보/구인
뉴스
커뮤니티
포토
포인트
보증카지노
보증토토
보증홀덤
스포츠 중계
기타
축구
야구
농구
배구
하키
미식축구
카지노 먹튀
토토 먹튀
먹튀제보
카지노 노하우
토토 노하우
홀덤 노하우
기타 지식/노하우
유용한 사이트
제작판매
제작의뢰
게임
구인
구직
총판
제작업체홍보
실시간뉴스
스포츠뉴스
연예뉴스
IT뉴스
자유게시판
유머★이슈
동영상
연예인
섹시bj
안구정화
출석하기
포인트 랭킹
포인트 마켓
로그인
자동로그인
회원가입
정보찾기
뉴스
더보기
[연예뉴스]
이승윤, 냅다 바닥에 주저 앉기 (뮤직뱅크 출근길) [SS쇼캠]
N
[연예뉴스]
이서진·박서준·최우식, 상상초월 웨이팅에 '당황'
N
[연예뉴스]
김재중, '20살 차' 큰누나 공개...누나에 털어놓은 가슴 속 이야기 ('편스토랑')
N
[연예뉴스]
이승윤, 우직하게 흐름을 거스르는 '역성' [뉴트랙 쿨리뷰]
N
[연예뉴스]
전 여친, 허웅이 때렸다며 '부러진 치아' 공개...진실은 어디에?
N
커뮤니티
더보기
[자유게시판]
맛커담요^^
N
[자유게시판]
늦모닝이욤
N
[자유게시판]
굿모닝 불금~
N
[자유게시판]
즐퇴하세요
N
[자유게시판]
즐퇴준비합시다♥︎
N
목록
글쓰기
[IT뉴스]KAIST, 美 컴퓨터 학회서 논문 5편 발표
온카뱅크관리자
조회:
12
2024-07-03 07:56:04
<div id="layerTranslateNotice" style="display:none;"></div> <strong class="summary_view" data-translation="true">병렬 자료구조, 하드웨어 설계 등 연구주제 탐구</strong> <div class="article_view" data-translation-body="true" data-tiara-layer="article_body" data-tiara-action-name="본문이미지확대_클릭"> <section dmcf-sid="6F14dMHEk6"> <p dmcf-pid="PvlU2bOJk8" dmcf-ptype="general"> [이데일리 강민구 기자] 한국과학기술원(KAIST) 연구진이 미국 컴퓨터 학회에서 주간한 국제학술대회에서 처음 5편의 논문을 발표했다.</p> <p dmcf-pid="QGWB6fSgA4" dmcf-ptype="general">KAIST는 전산학부의 강지훈 교수, 류석영 교수 연구팀이 프로그래밍 언어 분야 국제학술대회인 ‘PLDI(Programming Language Design and Implementation)’에서 올해 발표될 89편의 논문 중 6.7%인 5편의 논문을 발표했다고 3일 밝혔다.</p> <figure class="figure_frm origin_fig" dmcf-pid="xXGKQ8TNjf" dmcf-ptype="figure"> <p class="link_figure"><img alt="강지훈 교수(왼쪽)과 류석영 교수(오른쪽).(사진=KAIST)" class="thumb_g_article" data-org-src="https://t1.daumcdn.net/news/202407/03/Edaily/20240703075606823nbag.jpg" data-org-width="670" dmcf-mid="4YI3bzrRaQ" dmcf-mtype="image" height="auto" src="https://img2.daumcdn.net/thumb/R658x0.q70/?fname=https://t1.daumcdn.net/news/202407/03/Edaily/20240703075606823nbag.jpg" width="658"></p> <figcaption class="txt_caption default_figure"> 강지훈 교수(왼쪽)과 류석영 교수(오른쪽).(사진=KAIST) </figcaption> </figure> <div dmcf-pid="yF14dMHEoV" dmcf-ptype="general"> PLDI는 세계 최대 컴퓨터 학회인 ACM(Association for Computing Machinery)이 주관하는 학술대회이다. 지난 45년간 전산학 전체에 영향을 주는 중요한 논문이 다수 발표됐다. 프로그래밍 언어와 컴파일러 등 소프트웨어 전반의 기초가 되는 핵심 기술을 발표하고 있다. </div> <p dmcf-pid="WrDXU3A8A2" dmcf-ptype="general">KAIST 연구팀은 이번 학회에서 △멀티코어 컴퓨팅 시스템에서 동작하는 고성능 병렬 자료구조가 사용을 마친 메모리를 수집하기 위한 기법 제안 △멀티코어 컴퓨팅 시스템에서 성능 향상 위한 고성능 시스템 소프트웨어 안전성 증명 토대 마련 △RTL(register-transfer level) 설계·검증비용을 줄일 프로그래밍 언어 개발 △C 언어로 작성된 프로그램을 더 안전한 러스트 언어로 작성된 프로그램으로 자동 변환하는 연구 △자바스크립트 프로그래밍 언어 공식 개발 과정에 적용한 기술 기반으로 웹어셈블리 언어에 특화한 연구 관련 논문들을 소개했다.</p> <p dmcf-pid="YXGKQ8TNa9" dmcf-ptype="general">강지훈 교수는 “5편의 논문은 각각 학생들이 오랫동안 연구한 결과를 담아 독창성과 실용성을 동시에 갖춘 논문들”이라며 “이 논문들이 지속적으로 프로그래밍 언어와 인접 전산학 분야, 산업계에 영향을 미치도록 후속 연구에 정진하겠다”로 말했다.</p> <p dmcf-pid="GXGKQ8TNgK" dmcf-ptype="general">류석영 교수는 “반도체, 운영체제, 클라우드 등 인프라부터 사용자에게 제공하는 서비스까지 아우르는 풀 스택 소프트웨어를 안전하고 올바르게 동작하도록 설계하고 개발하는 기술을 선보인 결과”라며 “소프트웨어가 이끄는 세상에서 더 안전하고 올바르게 동작하는 소프트웨어를 사용하기를 기대한다”고 말했다.</p> <figure class="figure_frm origin_fig" dmcf-pid="HShp9Bsdjb" dmcf-ptype="figure"> <p class="link_figure"><img alt="논문의 핵심 아이디어.(자료=KAIST)" class="thumb_g_article" data-org-src="https://t1.daumcdn.net/news/202407/03/Edaily/20240703075608047xvux.jpg" data-org-width="670" dmcf-mid="8Pr57pkPNP" dmcf-mtype="image" height="auto" src="https://img4.daumcdn.net/thumb/R658x0.q70/?fname=https://t1.daumcdn.net/news/202407/03/Edaily/20240703075608047xvux.jpg" width="658"></p> <figcaption class="txt_caption default_figure"> 논문의 핵심 아이디어.(자료=KAIST) </figcaption> </figure> <p dmcf-pid="XQ6cImVZaB" dmcf-ptype="general">강민구 (science1@edaily.co.kr) </p> </section> </div> <p class="" data-translation="true">Copyright © 이데일리. 무단전재 및 재배포 금지.</p>
댓글등록
댓글 총
0
개
맨위로
이번주
포인트
랭킹
매주 일요일 밤 0시에 랭킹을 초기화합니다.
1
4,000
상품권
2
3,000
상품권
3
2,000
상품권
1
블리자드직원
1000
2
풀카
1000
3
논현동똥식이
900
4
비가오는날
900
업체홍보/구인
더보기
[제작업체홍보]
h5웹미니게임개발제작 라이브스코어제작 커뮤니티제작 스포츠솔루션제작임대
[제작업체홍보]
h5웹미니게임개발제작 포유소프트 텔레그램 @fusoft001 스포츠 토토 솔루션제작임대분양
[제작업체홍보]
h5웹미니게임개발제작 포유소프트 텔레그램 @fusoft001 스포츠 토토 솔루션제작임대분양
[제작업체홍보]
h5웹미니게임개발제작 라이브스코어제작 커뮤니티제작 스포츠솔루션제작임대
[구인]
커뮤니티 사이트 운영자 모집
지식/노하우
더보기
[카지노 노하우]
생활 바카라 후기 – 생바 성공 사례
N
[카지노 노하우]
온라인 카지노 내가 생각하는 용호의 장단점
[카지노 노하우]
바카라의 모든 것을 알려드리겠습니다
[카지노 노하우]
블랙잭 게임을 할 때 필요한 건 타이밍이다
[카지노 노하우]
바카라 분석 법 백날 공부해봐야 의미 없습니다
판매의뢰
더보기
[제작판매]
html5웹미니게임제작 해시게임제작 카드포커게임제작 스포츠토토 카지노 슬롯 에볼루션 토지노 솔루션분양임대재작
[제작판매]
html5웹미니게임제작 해시게임제작 카드포커게임제작 스포츠토토 카지노 슬롯 에볼루션 토지노 솔루션분양임대재작
[제작판매]
html5웹미니게임제작 해시게임제작 카드포커게임제작 스포츠토토 카지노 슬롯 에볼루션 토지노 솔루션분양임대재작
[제작판매]
html5웹미니게임제작 해시게임제작 카드포커게임제작 스포츠토토 카지노 슬롯 에볼루션 토지노 솔루션분양임대재작
[제작판매]
html5웹미니게임제작 해시게임제작 카드포커게임제작 스포츠토토 카지노 슬롯 에볼루션 토지노 솔루션분양임대재작
포토
더보기
채팅하기