3/27 영어 문서에서 코드 만들어내기 (류석영 교수/KAIST 전산학부)
작성자
kaistsoftware
작성일
2023-03-21 14:48
조회
2666
- 강사 : 류석영 교수 (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
|
조회 3758
|
kaistsoftware | 2024.02.21 | 1 | 3758 |
110 |
10/30 사모펀드의 이해 - 펀드구성과 투자구조를 중심으로 (최원호 교수/KAIST 전산학부)
kaistsoftware
|
2023.10.26
|
추천 0
|
조회 1991
|
kaistsoftware | 2023.10.26 | 0 | 1991 |
109 |
10/23 Robotic Companion: natural language to dexterous manipulation (박대형 교수/KAIST 전산학부)
kaistsoftware
|
2023.10.20
|
추천 0
|
조회 1921
|
kaistsoftware | 2023.10.20 | 0 | 1921 |
108 |
9/25 AI 기반 프로그램 오류 분석 (허기홍 교수/KAIST 전산학부)
kaistsoftware
|
2023.09.18
|
추천 0
|
조회 1932
|
kaistsoftware | 2023.09.18 | 0 | 1932 |
107 |
9/18 Thinking outside the box of OS system design (권영진 교수/KAIST 전산학부)
kaistsoftware
|
2023.09.18
|
추천 0
|
조회 2070
|
kaistsoftware | 2023.09.18 | 0 | 2070 |
106 |
9/11 Finding and Fixing Vulnerabilities in Blockchain Networks (강민석 교수/KAIST 전산학부)
kaistsoftware
|
2023.09.18
|
추천 0
|
조회 2218
|
kaistsoftware | 2023.09.18 | 0 | 2218 |
105 |
9/4 디버깅 자동화 기술의 현재와 미래 (유신 교수/KAIST 전산학부)
kaistsoftware
|
2023.09.04
|
추천 0
|
조회 2421
|
kaistsoftware | 2023.09.04 | 0 | 2421 |
104 |
2023년 가을학기 콜로퀴엄 일정 안내
kaistsoftware
|
2023.08.28
|
추천 0
|
조회 4745
|
kaistsoftware | 2023.08.28 | 0 | 4745 |
103 |
5/8 첨단 영상 기술의 이해 및 응용 (Introduction to Computational Imaging) (김민혁 교수/KAIST 전산학부)
kaistsoftware
|
2023.05.02
|
추천 0
|
조회 3582
|
kaistsoftware | 2023.05.02 | 0 | 3582 |
102 |
(5/1(월) -> 5/2(화) 변경) Towards A Universal Few-Shot Learner for Computer Vision (홍승훈 교수/KAIST 전산학부)
kaistsoftware
|
2023.04.28
|
추천 0
|
조회 2720
|
kaistsoftware | 2023.04.28 | 0 | 2720 |
101 |
4/24 3D Hand Pose Estimation (김태균 교수/KAIST 전산학부)
kaistsoftware
|
2023.04.21
|
추천 0
|
조회 2781
|
kaistsoftware | 2023.04.21 | 0 | 2781 |