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

작성자

kaistsoftware

작성일

2023-03-21 14:48

조회

2577

강사 : 류석영 교수 (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 \| 조회 3403	kaistsoftware	2024.02.21	1	3403
100	4/10 Representation Learning on Knowledge Graphs: A Way to Inject Human Knowledge into Machines (황지영 교수/KAIST 전산학부) kaistsoftware \| 2023.04.05 \| 추천 0 \| 조회 2591	kaistsoftware	2023.04.05	0	2591
99	4/3 Hacking Unmanned Vehicles (김용대 교수/KAIST 전기및전자공학부) kaistsoftware \| 2023.04.05 \| 추천 0 \| 조회 2541	kaistsoftware	2023.04.05	0	2541
98	3/27 영어 문서에서 코드 만들어내기 (류석영 교수/KAIST 전산학부) kaistsoftware \| 2023.03.21 \| 추천 0 \| 조회 2577	kaistsoftware	2023.03.21	0	2577
97	9/4 디버깅 자동화 기술의 현재와 미래 (유신 교수/KAIST 전산학부) kaistsoftware \| 2023.03.14 \| 추천 0 \| 조회 2648	kaistsoftware	2023.03.14	0	2648
96	3/13 멀티-디바이스 모바일 플랫폼 (신인식 교수/KAIST 전산학부) kaistsoftware \| 2023.03.14 \| 추천 0 \| 조회 3093	kaistsoftware	2023.03.14	0	3093
95	2023년 봄학기 콜로퀴엄 일정 안내 kaistsoftware \| 2023.02.16 \| 추천 0 \| 조회 4487	kaistsoftware	2023.02.16	0	4487
94	12/5 신뢰 가능한 AI: 인공지능의 편향, 권리, 윤리의 문제 (차미영 교수/KAIST 전산학부) kaistsoftware \| 2022.12.02 \| 추천 0 \| 조회 4198	kaistsoftware	2022.12.02	0	4198
93	11/28 첨단 영상 기술의 이해 및 응용 (Introduction to Computational Imaging) (김민혁 교수/KAIST 전산학부) kaistsoftware \| 2022.11.24 \| 추천 0 \| 조회 3914	kaistsoftware	2022.11.24	0	3914
92	11/14 Applications of Graph Convolutional Networks (GCN) (김태균 교수/KAIST 전산학부) kaistsoftware \| 2022.11.09 \| 추천 0 \| 조회 3158	kaistsoftware	2022.11.09	0	3158
91	11/7 데이터 기반 스마트 헬스케어 (이의진 교수/KAIST 전산학부) kaistsoftware \| 2022.11.04 \| 추천 0 \| 조회 3519	kaistsoftware	2022.11.04	0	3519