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

작성자

kaistsoftware

작성일

2023-03-21 14:48

조회

2759

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