LLVM: 탑재소프트웨어 개발을 위한 차세대 컴파일러 기술

박수현 ,  최종욱

항공우주산업기술동향

2016 .12

LLVM 기반의 차량 소스 코드 안정성 검증 도구

박재학 ,  박성우 ,  정우혁 외 1명

한국정보과학회 학술발표논문집

2015 .06

Verilog HDL을 이용한 CAN 컨트롤러 구현

이종배 ,  이성수

한국통신학회 학술대회논문집

2017 .06

Verilog HDL을 이용한 SENT 컨트롤러 구현

이종배 ,  이성수

대한전자공학회 학술대회

2018 .06

Verilog4VIS-EC: VIS의 동치성 검사를 위한 Verilog의 정제된 포맷

김의섭 ,  정세진 ,  김재엽 외 2명

한국정보과학회 학술발표논문집

2015 .06

Verilog HDL의 수학 함수를 활용한 Look-Up Table 구성

조은주 ,  곽종수 ,  이아현 외 1명

대한전자공학회 학술대회

2024 .06

이더리움 바이트코드의 LLVM 중간 언어 변환 방법

박지희 ,  류석영

한국정보과학회 학술발표논문집

2018 .06

Binary Code의 영향을 최소화하는 LLVM기반 Fault Injector의 모델 설계 및 구현

정현준 ,  박준석

한국정보과학회 학술발표논문집

2019 .06

자체 수정 코드를 탐지하는 정적 분석 방법의 LLVM 프레임워크 기반 구현 및 실험

유재일 ,  최광훈

정보보호학회논문지

2022 .04

LLVM Clang 정적 분석기의 평가

이명환 ,  표창우

한국정보과학회 학술발표논문집

2015 .06

Verilog-A를 이용한 단일 광자 애벌란치 다이오드의 모델링

이준규 ,  최재혁

대한전자공학회 학술대회

2022 .06

LLVM-IR level approximation을 통한 OpenCL 2D convolution 커널 프로그램 속도 개선 탐구

이재일 ,  임준수 ,  강석원 외 1명

한국정보과학회 학술발표논문집

2018 .12

LLVM IR 대상 정적 분석의 요약 값 정제를 위한 조건 분기의 불변식 추출

백소연 ,  이성호

정보과학회 컴퓨팅의 실제 논문지

2024 .10

CCTV 관제 업무의 효율성 강화를 위한 LLVM 기반 영상 정보의 텍스트 변환과 지능형 검색 시스템

윤새봄 ,  신시온 ,  안지우 외 3명

대한전자공학회 학술대회

2024 .06

CTF 소자의 Verilog-A Model을 위한 전계 구간별 전도특성 해석

이호진 ,  박민규 ,  권기원

대한전자공학회 학술대회

2024 .06

LLVM 기반 OpenCL 환경 GPU 워크로드의 다이나믹 프로파일링

유용승 ,  강석원 ,  박영준

한국정보과학회 학술발표논문집

2018 .06

Loop Delay Analysis of All-Digital Phase-Locked Loop using Verilog Behavioral Simulation

Byung-min Kim ,  Deog-kyoon Jeong

한국통신학회 학술대회논문집

2019 .01

LLVM 기반의 BareMetal IoT 디바이스 펌웨어 난독화

박우진 ,  이한솔 ,  조진성

한국정보과학회 학술발표논문집

2020 .07

LLVM IR 기반의 소프트웨어 취약점 분석

박시형 ,  홍윤표 ,  김현성 외 1명

대한전자공학회 학술대회

2022 .06

RISC-V ISA Bfloat16 산술 명령어 지원을 위한 LLVM 컴파일러 구현

강동원 ,  김선욱

대한전자공학회 학술대회

2022 .06