- 소식
- arrow_forward_ios
새 소식
전체
이광근 교수 연구진, 올해 ACM PLDI에 두 편의 논문 동시 게재
컴퓨터 분야에서 "세계 최고"의 학회에 논문을 게재하는 것은 SCI저널에 발표하는 것보다 매우 어려운 것으로 알려져 있다. 이런 상황에서 우리학부의 연구팀이 프로그래밍언어시스템 분야에서 명실공히 최고로 인정받는 학회에 순수 국내 연구로 두 편의 논문이 한꺼번에 게재되는 성과를 냈다. 컴퓨터 공학부의 이광근 교수(SW무결점연구센터 장, 한국연구재단 선도연구센터)연구진이 올 해 ACM PLDI(Programming Language Design and Implementation)에 두 편의 논문을 발표하게 되었다. PLDI에 국내 연구가 논문으로 채택된 것은 처음이고, 그것도 두 편이 동시에 게재승인되는 드문 성과이다. 1. 첫번째 논문은 그동안 불가능했던 4가지 성능을 모두 갖춘 정적분석(static analysis) 기술을 제시한다. 그동안 프로그램 정적분석기가 동시에 갖출 수 없었던 4가지 성능이 있다: 정확하게(precise) 실행상황을 모두 포섭하면서(sound) 초대형의 프로그램을(scalable) 한꺼번에 분석하기(global analysis)였다. 이것이 불가능해서 어느 하나를 포기하면서 정적분석기의 성능이 저하되는 문제가 늘 있어왔다. 본 논문은 필요한 시점에 필요한 것만 계산하기(sparse analysis)기법을 정리한 이론적인 틀과 함께 100만 라인되는 C프로그램을 통째로 자세하고 안전하게 분석할 수 있었던 실험결과를 보인다. 논문 리뷰중: "PLDI papers have been accepted that were simply instances of this framework. The result should be highly influential on future work in sparse analysis." Design and Implementation of Sparse Global Analyses for C-like Languages Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, and Kwangkeun Yi ACM SIGPLAN Conference on Programming Language Design and Implementation 2012 2. 두번째 논문은 최근 다양한 프로그래밍 언어(Scala, C++, Haskell등)에서 점점 유용하게 쓰이는 암시적 프로그래밍(implicit programming)의 핵심을 정리한 이론을 제시한다. 암시적 프로그래밍은 많은 언어에서 여러 형태로 구현됐으나 원칙에 대한 고민 없이 설계되어 여러가지 한계를 지니고 있다. 본 연구는 이에 대한 해결책으로 암시적 프로그래밍의 설계 원리에 대한 이론을 제안한다. The Implicit Calculus: A New Foundation for Generic Programming Bruno Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi ACM SIGPLAN Conference on Programming Language Design and Implementation 2012...
인터넷과 정치 <최양희 교수님>
2012년에는 총선, 대선이 예정되어 있으므로 정치로 가득한 한 해가 될 전망이다. 이번 선거에는 인터넷이 적극적으로 활용된다는 점에서 과거의 선거와 크게 다를 것이다. 소셜네트워크를 이용한 선거운동이 허용됐고 인터넷 여론 조사와 모바일 투표가 도입되어 실시간 정치, 직접민주주의로 한 걸음 다가서게 될 것이다. 인터넷은 정보통신 수단을 넘어 이제는 정치를 주무르는 막강한 도구가 됐다. 인터넷을 발명하고 발전시킨 과학기술자들은 이를 예견하였을까? 아마 아닐 것이다. 이제 인터넷의 영향이 지대해진 만큼 인터넷 정치, 인터넷 사회가 잘 굴러가도록 과학자들은 끊임없이 인터넷을 개선하고 보완해야 한다. 지금 인터넷은 정치를 감당하기에 아직 부족한 점이 많다. 민주주의의 기본은 모든 시민의 의견이 고루 반영되는 '1인 1표' 투표제도에 근거를 둔다. 선거과정에서도 공정한 토론과 홍보를 가정한다. 그러나 지금의 인터넷은 정보 활용에 능숙한 집단의 의견이 과도하게 반영될 위험이 크다. 소셜네트워크서비스, 블로그, 이메일, 문자메시지, 정치 애플리케이션(앱)이 범람할 것이고 이에 능숙한 디지털 시민과 그렇지 않은 아날로그 시민의 정치적인 의견 표시 기회는 매우 큰 차이를 보일 것이다. 이런 디지털 격차를 해소할 묘안이 필요하다. 선거에서 시민 개개인의 정치적 의사 결정은 인터넷에 유통되는 각종 정보에 의존할 확률이 높다. 좋은 정보, 정확한 정보를 다양하고 신속하게 배포할수록 디지털 민주주의의 질을 향상시킬 것이다. 따라서 조작된 정보, 틀린 정보, 과장된 정보를 신속히 발견하고 조치하는 시스템이 필요하나 방대한 인터넷 정보를 검열할 수 없다. 정보의 실체가 밝혀진다 해도 실명이 아닌 경우 처벌하기도 어렵다. 클린 정치가 인터넷에서는 후퇴할 우려가 높다. 프라이버시와 공공 이익을 절충할 묘책이 필요하다. 무엇보다 인터넷 정치는 자칫 진정한 토론과 정책 대결보다 포퓰리즘과 말잔치를 부추길 위험이 크다. 140자로 제한되는 '트윗', 몇 줄에 그치는 문자메시지나 이메일, 1~2분 남짓한 '유튜브' 동영상으로는 정치 후보나 정당의 진정성과 공약을 판단하기 어렵다. 그렇지 않아도 한국 정치는 토론이 없는 '패거리 정치'라는 오명을 갖고 있지 않은가. 한국의 정당들은 정책 차이가 모호하며 이를 부끄러워하지도 않는다. 혹시 집권하거나 당선만 된다면 민주주의 제도나 과정도 왜곡할 수 있다고 여기는 후보들이 주변에 많지 않은지 살펴볼 때다. 인터넷이 이런 정치 악습을 뿌리 뽑는 효과적인 도구가 되어야 하지 않을까. 글쓴이: 최양희 교수(미래인터넷포럼 의장) yhchoi@snu.ac.kr...인터넷의 미래에 투자하라 <최양희 교수님>
인터넷이 세상 변화의 중심이 됐다. 정치·경제·사회·문화 모든 분야에서 인터넷이 혁신과 변화를 이끌고 있다. 검색 서비스, 소셜네트워크, 스마트폰, 모바일, 클라우드, 빅데이터로 대표되는 인터넷은 현재 20억명이 사용하는 인류 역사상 최고 발명품이다. 인터넷은 한 국가의 경쟁력과 미래를 좌우하는 핵심 인프라다. 10년 후에는 40억 사용자와 더불어 1000억개가 넘는 기기가 인터넷에 접속되고 상상을 넘는 다양한 서비스가 제공될 것으로 예측된다. 이는 폭발적으로 팽창하는 수요를 감당할 수 있는 혁신적인 인터넷이 필요하다는 것을 의미한다. 한국은 OECD, G20, UN 보고서나 통계에서 항상 인터넷 선진국으로 간주된다. 브로드밴드 보급률, 모바일 인터넷 보급률에서 항상 선두를 달린다. 인터넷에 대한 꾸준한 정책과 관심, 통신사업자들의 지속적인 투자와 더불어 새로운 기술을 선호하는 국민성이 결합한 결과다. 그러나 과연 10년 뒤 미래에도 한국이 인터넷 강국으로 군림할 수 있을까. 매킨지 보고서에 따르면 한국에는 인터넷 대표산업이 없다. 단지 하드웨어와 통신사업자만 있을 뿐이다. 인터넷의 기본인 소프트웨어나 서비스 산업에도 글로벌 한국기업은 없다. 연간 2조달러가 넘는 막대한 인터넷 세계 시장에서 한국 기업, 한국 기술, 한국 제품이 보이지 않는다. 위기가 기회라고 하지 않는가. 다행히 인터넷은 지금 격변기다. 10년 뒤 인터넷은 모두 새로운 기술과 제품으로 채워져 있을 것이다. 현재 인터넷은 단 1%도 남아 있지 않을 것이다. 미국이나 유럽도 최근에야 미래인터넷 연구개발에 착수했다. 우리가 미래인터넷에 투자하고 경쟁한다면 충분한 기회가 있을 것이다. 미래인터넷을 향한 경주는 모든 나라, 모든 기업이 다같이 출발점에 서 있다. 지난해 방송통신위원회는 '미래를 대비한 인터넷 발전 계획'을 발표했다. '새로운 10년, 인터넷 글로벌 리더 도약'이라는 비전을 통해 세계적으로 일고 있는 인터넷 서비스의 혁명적 변화에 대한 선도적 대처, 세계 최고 스마트 네트워크 구축, 효율적인 대용량 콘텐츠 전달이 가능한 스마트 노드 개발, 미래 선도형 서비스 모델 발굴 등을 추진하겠다는 의지다. 자칫 네트워크 강국 지위를 잃을 수도 있는 시점에서 시의적절한 조치라 생각된다. 미래인터넷에 관한 세계 최고 지도자들이 참석하는 '글로벌 미래인터넷' 행사도 최근 서울에서 개최됐다. 이제 우리는 글로벌 시장에서도 경쟁력을 갖는 새로운 인터넷을 만들어 나가야 한다. 창의성과 실력으로 무장한 젊은 연구자 양성과 함께 사람들이 바라는 인터넷, 미래에 필요한 인터넷이 무엇일까를 진지하게 고민하고 새로운 그림을 그리는 자세가 필요하다. 정부는 미래인터넷을 국가 어젠다로 채택함과 동시에 창의성을 발굴하고 육성하기 위한 제도 개혁과 지원을 아끼지 말아야 한다. 기업은 글로벌 역량을 키우고 새로운 분야를 선점하는 동시에 도전적인 벤처 육성에 적극적으로 나서야 한다. 품질 좋고 값싸고 인류 발전과 행복에 기여하는 새로운 아이디어가 통하는 그런 인터넷이 필요하다. 하루에도 몇 시간씩 정보검색을 해야 겨우 필요한 정보를 얻는 단순한 인터넷이 아닌 똑똑한 인터넷이 요구된다. 엄청난 규모로 증가하는 인터넷 상의 빅데이터를 활용해 공공 서비스 개혁을 앞당겨야 한다. 올바른 시민이라면 누구나 쉽게 참여하고 소통하는 민주적 인터넷이 미래인터넷이 가져야 할 모습이 아닐까. 한국의 더 나은 미래를 위해 인터넷에 과감히 투자할 시기를 놓쳐선 안 된다. 글쓴이: 최양희 교수(미래인터넷포럼 의장) yhchoi@snu.ac.kr...하버드大 학생도 우리 앱으로 강의 공유. Havard University students share lectures using an app developed by SNU CSE.
서울대 컴퓨터 동아리 - 앱 출시하고 3개월 만에 국내외 20여개 대학서 사용 "프로그램은 생명체처럼 어떻게, 어디까지 성장할지를 알 수가 없어요. 그게 미치도록 재밌어요." 미국 최고 명문 하버드대 학생들도 이용하는 대학생 소셜네트워킹 애플리케이션(앱) '클래스메이트(klassmate.com)'를 개발한 이두희(28)씨는 14일 "그저 재밌어서 프로그램을 만든다"고 말했다. 그는 서울대 컴퓨터공학과 4학년 재학 중이던 2007년 컴퓨터 동아리 '와플스튜디오'를 만들었고, 그중 최정예 10여명이 따로 구성한 프로젝트 그룹 '울트라캡숑'에서 맏형 역할을 하고 있다. 울트라캡숑은 지난 5월부터 클래스메이트 제작을 시작했다. 원래 구상은 같은 수업을 듣는 대학생들이 익명으로 메시지를 주고받을 수 있는 프로그램이었다. 제작 과정에서 같은 학교 학생들의 채널인 'zoo'와 다른 학교 학생들 간의 채널인 'safari'가 추가됐다. 도중에 하버드대 행정학과 졸업생 아벨 아쿠나(22)가 합류하면서 이 앱은 미국으로까지 범위를 넓히게 됐다. 아쿠나가 현지 운영진으로 나서면서 보스턴 지역 10개 대학 학생 1000여명이 사용하고 있으며, 하버드대 학보인 '하버드 크림슨'에도 소개됐다. "같은 수업을 듣는 학생들은 서로 공유할 만한 것이 많은데, 말문이 틔기 전엔 어색하잖아요. 익명으로 편하게 얘기할 수 있는 프로그램이 있으면 좋겠다는 생각이 들었고, 그래서 만들게 됐어요. 우리 신조가 '필요한 것이 있으면 만들자'거든요." 이씨는 "학생들이 클래스메이트를 통해 강의 내용을 서로 묻기도 하고, 교수님 흉도 보고, 오프라인 모임도 하며 즐겁게들 논다"고 말했다. 거기에 zoo와 safari까지 인기를 끌면서, 9월 오픈한 이 서비스 이용자는 3개월 만에 국내외 20여개 대학 7000여명으로 늘었다. 이씨는 2006년 '서울대 정보화 포탈 3만명 신상 정보 유출'을 학교에 제일 처음 알려 세상을 떠들썩하게 만들었던 주인공이기도 하다. 이씨와 동료들은 수업이 끝나면 동아리방에 모여 앉아 밤새도록 컴퓨터 프로그램에 관해 수다를 떨었다. 2008년 이들이 만든 서울대학생용 강의 평가 웹사이트 'SNUEV(snuev. com)'는 현재 서울대 재학생 정원에 가까운 2만여명이 가입했다. 기사원문은 다음 주소에 있습니다. http://news.chosun.com/site/data/html_dir/2011/12/15/2011121500143.html...