강민석
카이스트 공과대학
부교수
Citations-
H-index-
연구실 인원수-
링크가 복사되었습니다!
교수님 소개
이메일이 복사되었습니다
연구실 소개
류석영 교수는 KAIST 전산학부에서 프로그래밍 언어 및 프로그램 분석을 연구하고 있다. KAIST 전산학과에서 학사/석사/박사 과정을 모두 마친 후, 프로그램 실행 중에 발생할 수 있는 예외상황을 미리 예측하는 정적분석 기법 및 도구를 연구개발하여 박사학위를 받았다. 이후, 하버드에서 다양한 프로그래밍 언어와 다양한 플랫폼을 지원하는 디버깅 기법을 연구하고, Sun Microsystems 연구소에서 Fortress라는 차세대 프로그래밍 언어를 연구한 후 2009년 12월에 다시 KAIST로 돌아왔다. 다양한 프로그래밍 언어로 작성한 소프트웨어의 결함을 예측하고 검출하는 분석 기법을 연구하고 도구를 개발한다. 특히, 전 세계에서 가장 널리 사용되고 있는 JavaScript 웹 어플리케이션의 문제를 예측하고 검출하는 분석 및 결함 검출 프레임워크를 연구 개발하여, 전 세계의 학교 및 연구소에서 사용하고 있다.
연구실 키워드
하이 임팩트 태그
연구 키워드
알럼나이가 간 회사
연구실 지원 방법
대학원 지원 일정·절차는 소속 대학·대학원 및 학과(전공)마다 다릅니다. 해당 학교의 대학원 모집 공지와 지원 안내를 먼저 확인해 주세요. 연구실별로 필요 서류, 면접·과제 제출, 합격 후 입학 절차 등은 교수님 또는 연구실 안내에 따릅니다.
대우 조건
*가방끈 AI가 정리한 연구성과로 최신 연구실 정보로 업데이트를 원하시는 분들은 [수정 요청] 아이콘을 클릭해주세요
연도별 논문 인용수
인용 수
누적 수
저널 & 학회 논문 출판 수
인용 50회 미만
인용 50회 이상
연구실 논문 목록
Fork State-Aware Differential Fuzzing for Blockchain Consensus Implementations
2025 venue에 대한 데이터가 없습니다
Citation1
On Frontrunning Risks in Batch-Order Fair Systems for Blockchains
2025 venue에 대한 데이터가 없습니다
citation_count에 대한 데이터가 없습니다
On Frontrunning Risks in Batch-Order Fair Systems for Blockchains (Extended Version)
2025 venue에 대한 데이터가 없습니다
Citation1
연구실 보유 특허
최근 3년간 연구실적 높은 연구실
