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

작성자

kaistsoftware

작성일

2023-03-21 14:48

조회

2769

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