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

작성자

kaistsoftware

작성일

2023-03-21 14:48

조회

11816

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

목록보기

전체 163

번호	제목	작성자	작성일	추천	조회
공지사항	2026년 봄학기 콜로퀴엄 일정 안내 kaistsoftware \| 2026.03.04 \| 추천 1 \| 조회 2715	kaistsoftware	2026.03.04	1	2715
102	(5/1(월) -> 5/2(화) 변경) Towards A Universal Few-Shot Learner for Computer Vision (홍승훈 교수/KAIST 전산학부) kaistsoftware \| 2023.04.28 \| 추천 0 \| 조회 11590	kaistsoftware	2023.04.28	0	11590
101	4/24 3D Hand Pose Estimation (김태균 교수/KAIST 전산학부) kaistsoftware \| 2023.04.21 \| 추천 0 \| 조회 12341	kaistsoftware	2023.04.21	0	12341
100	4/10 Representation Learning on Knowledge Graphs: A Way to Inject Human Knowledge into Machines (황지영 교수/KAIST 전산학부) kaistsoftware \| 2023.04.05 \| 추천 0 \| 조회 10717	kaistsoftware	2023.04.05	0	10717
99	4/3 Hacking Unmanned Vehicles (김용대 교수/KAIST 전기및전자공학부) kaistsoftware \| 2023.04.05 \| 추천 0 \| 조회 10580	kaistsoftware	2023.04.05	0	10580
98	3/27 영어 문서에서 코드 만들어내기 (류석영 교수/KAIST 전산학부) kaistsoftware \| 2023.03.21 \| 추천 0 \| 조회 11816	kaistsoftware	2023.03.21	0	11816
97	9/4 디버깅 자동화 기술의 현재와 미래 (유신 교수/KAIST 전산학부) kaistsoftware \| 2023.03.14 \| 추천 0 \| 조회 10531	kaistsoftware	2023.03.14	0	10531
96	3/13 멀티-디바이스 모바일 플랫폼 (신인식 교수/KAIST 전산학부) kaistsoftware \| 2023.03.14 \| 추천 0 \| 조회 11824	kaistsoftware	2023.03.14	0	11824
95	2023년 봄학기 콜로퀴엄 일정 안내 kaistsoftware \| 2023.02.16 \| 추천 0 \| 조회 12466	kaistsoftware	2023.02.16	0	12466
94	12/5 신뢰 가능한 AI: 인공지능의 편향, 권리, 윤리의 문제 (차미영 교수/KAIST 전산학부) kaistsoftware \| 2022.12.02 \| 추천 0 \| 조회 12349	kaistsoftware	2022.12.02	0	12349
93	11/28 첨단 영상 기술의 이해 및 응용 (Introduction to Computational Imaging) (김민혁 교수/KAIST 전산학부) kaistsoftware \| 2022.11.24 \| 추천 0 \| 조회 12764	kaistsoftware	2022.11.24	0	12764