3/27 영어 문서에서 코드 만들어내기 (류석영 교수/KAIST 전산학부)
작성자
kaistsoftware
작성일
2023-03-21 14:48
조회
2669
- 강사 : 류석영 교수 (KAIST 전산학부)
- 일시 : 2023. 3. 27 (월) 16:00~17:30
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.
전체 121
번호 | 제목 | 작성자 | 작성일 | 추천 | 조회 |
공지사항 |
2024년 봄학기 콜로퀴엄 일정 안내
kaistsoftware
|
2024.02.21
|
추천 1
|
조회 3762
|
kaistsoftware | 2024.02.21 | 1 | 3762 |
120 |
5/7 지향성 프로그램 분석 (허기홍 교수/KAIST 전산학부)
kaistsoftware
|
2024.04.23
|
추천 0
|
조회 180
|
kaistsoftware | 2024.04.23 | 0 | 180 |
119 |
4/23 사모투자의 이해 (최원호 교수/KAIST 전산학부)
kaistsoftware
|
2024.04.18
|
추천 0
|
조회 266
|
kaistsoftware | 2024.04.18 | 0 | 266 |
118 |
4/2 LLM 기반 소프트웨어 공학의 현재와 전망 (유신 교수/KAIST 전산학부)
kaistsoftware
|
2024.03.25
|
추천 0
|
조회 573
|
kaistsoftware | 2024.03.25 | 0 | 573 |
117 |
3/26 하드웨어도 소프트웨어처럼 짜야한다 (강지훈 교수/KAIST 전산학부)
kaistsoftware
|
2024.03.21
|
추천 0
|
조회 573
|
kaistsoftware | 2024.03.21 | 0 | 573 |
116 |
3/19 자율주행과 안전 (배홍상 교수/KAIST 전산학부)
kaistsoftware
|
2024.03.11
|
추천 0
|
조회 724
|
kaistsoftware | 2024.03.11 | 0 | 724 |
115 |
3/12 에너지 효율적인 인공지능 학습 시스템 (권영진 교수/KAIST 전산학부)
kaistsoftware
|
2024.03.05
|
추천 0
|
조회 871
|
kaistsoftware | 2024.03.05 | 0 | 871 |
114 |
2/27 멀티-디바이스 모바일 플랫폼 (신인식 교수/KAIST 전산학부)
kaistsoftware
|
2024.02.27
|
추천 0
|
조회 1464
|
kaistsoftware | 2024.02.27 | 0 | 1464 |
113 |
11/20 Where is Autonomous Driving going? Boss, Traffic Jam Pilot, and the Future (배홍상 교수/KAIST 전산학부, Zeta Mobility)
kaistsoftware
|
2023.11.16
|
추천 1
|
조회 2830
|
kaistsoftware | 2023.11.16 | 1 | 2830 |
112 |
11/14 데이터 품질 문제에 견고한 AI 기술 (이재길 교수/KAIST 전산학부)
kaistsoftware
|
2023.11.16
|
추천 1
|
조회 1946
|
kaistsoftware | 2023.11.16 | 1 | 1946 |
111 |
11/6 인터랙션 중심 AI (김주호 교수/KAIST 전산학부)
kaistsoftware
|
2023.11.01
|
추천 0
|
조회 2005
|
kaistsoftware | 2023.11.01 | 0 | 2005 |