3/27 영어 문서에서 코드 만들어내기 (류석영 교수/KAIST 전산학부)

작성자

kaistsoftware

작성일

2023-03-21 14:48

조회

2647

강사 : 류석영 교수 (KAIST 전산학부)
일시 : 2023. 3. 27 (월) 16:00~17:30

Since 2015, the JavaScript language has rapidly evolved with a yearly release cadence and open development process. However, it results in the gap between the language specification written in English and tools, such as parsers, interpreters, and static analyzers, which makes language designers and tool developers suffer from manually filling the gap. JISET and its extensions lessen the burden by automatically extracting a mechanized specification from the language specification in prose.
We introduce several tools in the JISET family and show how they fill the gap between the language specification and tools. We then discuss how we plan to apply this technique to WebAssembly.

« 9/4 디버깅 자동화 기술의 현재와 미래 (유신 교수/KAIST 전산학부)

4/3 Hacking Unmanned Vehicles (김용대 교수/KAIST 전기및전자공학부) »

목록보기

전체 121

번호	제목	작성자	작성일	추천	조회
공지사항	2024년 봄학기 콜로퀴엄 일정 안내 kaistsoftware \| 2024.02.21 \| 추천 1 \| 조회 3629	kaistsoftware	2024.02.21	1	3629
110	10/30 사모펀드의 이해 - 펀드구성과 투자구조를 중심으로 (최원호 교수/KAIST 전산학부) kaistsoftware \| 2023.10.26 \| 추천 0 \| 조회 1974	kaistsoftware	2023.10.26	0	1974
109	10/23 Robotic Companion: natural language to dexterous manipulation (박대형 교수/KAIST 전산학부) kaistsoftware \| 2023.10.20 \| 추천 0 \| 조회 1899	kaistsoftware	2023.10.20	0	1899
108	9/25 AI 기반 프로그램 오류 분석 (허기홍 교수/KAIST 전산학부) kaistsoftware \| 2023.09.18 \| 추천 0 \| 조회 1910	kaistsoftware	2023.09.18	0	1910
107	9/18 Thinking outside the box of OS system design (권영진 교수/KAIST 전산학부) kaistsoftware \| 2023.09.18 \| 추천 0 \| 조회 2050	kaistsoftware	2023.09.18	0	2050
106	9/11 Finding and Fixing Vulnerabilities in Blockchain Networks (강민석 교수/KAIST 전산학부) kaistsoftware \| 2023.09.18 \| 추천 0 \| 조회 2197	kaistsoftware	2023.09.18	0	2197
105	9/4 디버깅 자동화 기술의 현재와 미래 (유신 교수/KAIST 전산학부) kaistsoftware \| 2023.09.04 \| 추천 0 \| 조회 2403	kaistsoftware	2023.09.04	0	2403
104	2023년 가을학기 콜로퀴엄 일정 안내 kaistsoftware \| 2023.08.28 \| 추천 0 \| 조회 4720	kaistsoftware	2023.08.28	0	4720
103	5/8 첨단 영상 기술의 이해 및 응용 (Introduction to Computational Imaging) (김민혁 교수/KAIST 전산학부) kaistsoftware \| 2023.05.02 \| 추천 0 \| 조회 3558	kaistsoftware	2023.05.02	0	3558
102	(5/1(월) -> 5/2(화) 변경) Towards A Universal Few-Shot Learner for Computer Vision (홍승훈 교수/KAIST 전산학부) kaistsoftware \| 2023.04.28 \| 추천 0 \| 조회 2695	kaistsoftware	2023.04.28	0	2695
101	4/24 3D Hand Pose Estimation (김태균 교수/KAIST 전산학부) kaistsoftware \| 2023.04.21 \| 추천 0 \| 조회 2753	kaistsoftware	2023.04.21	0	2753