1주 전 · ai

[Paper] LLM 기반 커널 진화: Linux에서 드라이버 업데이트 자동화

Linux 커널 진화는 API/ABI 변경, 의미론적 변화, 보안 강화 업데이트를 통해 드라이버를 깨뜨립니다. 우리는 실행 가능한 코퍼스인 DRIVEBENCH를 소개합니다…

1주 전 · software

[Paper] 딥러닝 컴파일러를 위한 최적화 인식 테스트 생성

Deep Learning (DL) 컴파일러는 다양한 하드웨어에 효율적으로 배포하기 위해 DL 모델을 최적화하는 데 널리 활용되어 왔습니다. DL에서의 중요한 역할 때문에…

1주 전 · software

[Paper] VecIntrinBench: RISC‑V 벡터를 위한 교차 아키텍처 내재 코드 마이그레이션 벤치마크

Intrinsic 함수는 컴파일러가 제공하는 특수 함수로, 아키텍처별 하드웨어에서 효율적으로 동작하여 프로그래머가 ... 작성할 수 있게 합니다.

1주 전 · ai

[Paper] 타임 트래블: Git Bisect와 함께하는 LLM 지원 의미론적 행동 로컬라이제이션

우리는 대형 언어 모델(LLMs)을 Git bisect 프로세스에 통합하여 의미 기반 결함 위치 파악을 수행하는 새로운 프레임워크를 제시합니다. 기존의 bisect는 …

1주 전 · ai

[Paper] 개발자 행동 텔레메트리를 활용한 사전 필터링 코드 제안으로 LLM 지원 프로그래밍 최적화

대형 언어 모델(LLMs)은 AI 기반 코드 제안을 제공하기 위해 코드 편집기에 점점 더 많이 통합되고 있습니다. 그러나 이러한 제안 중 많은 부분이 무시되거나...

1주 전 · ai

[Paper] LLM 코드 제안 최적화: 피드백 기반 타이밍과 경량 상태 경계

대형 언어 모델(LLM)은 컨텍스트를 고려한 제안을 생성함으로써 코드 자동 완성을 혁신했습니다. 그러나 이러한 제안을 언제 제시할지 결정하는 것은 ...

1주 전 · software

[Paper] 요약 매개 수리: LLM이 코드 요약을 프로그램 수리 도구로 사용할 수 있을까?

Large Language Models (LLMs) often produce code with subtle implementation-level bugs despite strong benchmark performance. These errors are hard for LLMs to sp... 대형 언어 모델(LLM)은 강력한 벤치마크 성능에도 불구하고 미묘한 구현 수준의 버그가 포함된 코드를 자주 생성합니다. 이러한 오류는 LLM이 ...​

1주 전 · ai

[Paper] 교세포에서의 생체전기 상태 전이 모델링: ASAL 영감을 받은 계산 접근법을 통한 교모세포종 시작

Understanding how glioblastoma (GBM) emerges from initially healthy glial tissue requires models that integrate bioelectrical, metabolic, and multicellular dyna... 글리오블라스토마(GBM)가 처음에는 건강한 교질 조직에서 어떻게 발생하는지를 이해하려면, 생체 전기, 대사 및 다세포 역학을 통합하는 모델이 필요합니다...

1주 전 · ai

[Paper] 비선형 인구 규모 감소와 적응형 재시작을 통한 강인한 차등 진화: ARRDE 알고리즘

이 연구는 경계 제한 문제의 수치 최적화에서 발생하는 견고성 문제에 동기를 두고 있습니다: 특정 벤치마크에서 좋은 성능을 보이는 많은 알고리즘이…