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

작성자

kaistsoftware

작성일

2023-03-21 14:48

조회

2766

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