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

작성자

kaistsoftware

작성일

2023-03-21 14:48

조회

11966

강사 : 류석영 교수 (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 전기및전자공학부) »

목록보기

전체 166

번호	제목	작성자	작성일	추천	조회
공지사항	2026년 가을학기 콜로퀴엄 일정 안내 kaistsoftware \| 2026.09.11 \| 추천 0 \| 조회 548	kaistsoftware	2026.09.11	0	548
105	9/4 디버깅 자동화 기술의 현재와 미래 (유신 교수/KAIST 전산학부) kaistsoftware \| 2023.09.04 \| 추천 0 \| 조회 10891	kaistsoftware	2023.09.04	0	10891
104	2023년 가을학기 콜로퀴엄 일정 안내 kaistsoftware \| 2023.08.28 \| 추천 0 \| 조회 14284	kaistsoftware	2023.08.28	0	14284
103	5/8 첨단 영상 기술의 이해 및 응용 (Introduction to Computational Imaging) (김민혁 교수/KAIST 전산학부) kaistsoftware \| 2023.05.02 \| 추천 0 \| 조회 12680	kaistsoftware	2023.05.02	0	12680
102	(5/1(월) -> 5/2(화) 변경) Towards A Universal Few-Shot Learner for Computer Vision (홍승훈 교수/KAIST 전산학부) kaistsoftware \| 2023.04.28 \| 추천 0 \| 조회 11793	kaistsoftware	2023.04.28	0	11793
101	4/24 3D Hand Pose Estimation (김태균 교수/KAIST 전산학부) kaistsoftware \| 2023.04.21 \| 추천 0 \| 조회 12578	kaistsoftware	2023.04.21	0	12578
100	4/10 Representation Learning on Knowledge Graphs: A Way to Inject Human Knowledge into Machines (황지영 교수/KAIST 전산학부) kaistsoftware \| 2023.04.05 \| 추천 0 \| 조회 10974	kaistsoftware	2023.04.05	0	10974
99	4/3 Hacking Unmanned Vehicles (김용대 교수/KAIST 전기및전자공학부) kaistsoftware \| 2023.04.05 \| 추천 0 \| 조회 10731	kaistsoftware	2023.04.05	0	10731
98	3/27 영어 문서에서 코드 만들어내기 (류석영 교수/KAIST 전산학부) kaistsoftware \| 2023.03.21 \| 추천 0 \| 조회 11966	kaistsoftware	2023.03.21	0	11966
97	9/4 디버깅 자동화 기술의 현재와 미래 (유신 교수/KAIST 전산학부) kaistsoftware \| 2023.03.14 \| 추천 0 \| 조회 10704	kaistsoftware	2023.03.14	0	10704
96	3/13 멀티-디바이스 모바일 플랫폼 (신인식 교수/KAIST 전산학부) kaistsoftware \| 2023.03.14 \| 추천 0 \| 조회 11989	kaistsoftware	2023.03.14	0	11989