Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
arXivAI 번역논문
산업 사이버-물리 시스템에서 컨텍스트를 전달하는 액션 인텐트의 실행 시간 검증
본 논문은 산업 사이버-물리 시스템(CPS)에서 발생하는 '실행 간극(execution gap)' 문제를 다루며, 액션 인텐트 스키마(AIS)를 제안합니다. XAIR 런타임은 인텐트의 유효 기간과 가정을 명시하고, 버전 조건부 명령어를 통해 상태 변경에 대한 정확한 제어를 가능하게 합니다.
14시간 전0
arXivAI 번역논문
Conjugate Compilation: 추측 디코딩을 위한 자체 개선 에이전트 협업 컴파일
본 글은 LLM 서비스 확장 시 효율적인 GPU 자원 활용을 위해 'CONJUGATE COMPILATION'이라는 새로운 컴파일 기법을 제안합니다. 이 방식은 추측 디코딩(Speculative decoding) 과정에서 초안 모델과 타겟 모델의 공유 실행 부분을 하나의 최적화 경계로 재구성하여, 개별 개선으로는 얻기 힘든 성능 향상을 달성했습니다.
1일 전0
arXivAI 번역논문
성능 저하의 원인은 어디인가? C에서 Rust로 번역된 코드의 성능 회복 방안 연구
본 연구는 C 코드를 Rust로 번역하는 과정에서 발생하는 성능 저하 원인을 분석하고, 이를 해결하기 위한 새로운 LLM 기반 접근 방식인 ourtool{}을 제안합니다. 기존의 트랜스파일러(crust{})가 동작 보존은 가능하지만 성능까지 보장하지 못함을 확인했습니다. ourtool{}은 프로젝트 프로파일링과 규칙 패턴 매칭을 통해 핫 함수를 찾아 최적화하며, 기능 및 성능 검증을 거쳐 코드를 재작성합니다.
2일 전0
arXivAI 번역논문
Coco: 하드웨어-소프트웨어 공동 설계 라이프사이클을 위한 에이전트형 코파일럿
Coco는 ML 모델과 가속기 공동 설계를 위한 에이전트형 코파일럿 플랫폼입니다. 이 시스템은 시뮬레이션 스윕 데이터를 정규화된 데이터 저장소에 등록하고, 도구 라이브러리를 통해 복잡한 분석을 수행합니다. 이를 통해 아키텍트들이 방대한 설계 공간에서 빠르고 정확하게 통찰력을 얻도록 돕습니다.
10월 9일1
arXivAI 번역논문
WAMpy: Python에서 Prolog 프로그램 효율적으로 합성하기
WAMpy는 Prolog 프로그램 합성을 위해 최적화된 Python 프레임워크입니다. 이 도구는 후보 프로그램을 반복적으로 생성하고 평가하는 워크로드를 목표로 하며, Prolog 절을 NumPy 기반 WAM 명령어로 컴파일합니다. Numba JIT를 활용하여 성능이 중요한 루틴을 가속화함으로써 기존 시스템 대비 높은 효율성을 보여줍니다.
10월 5일1
arXivAI 번역논문
Epic: 인스토어 컴퓨팅을 위한 효율적인 프로그래밍 패러다임
Epic은 인스토어 컴퓨팅(ISC)의 복잡성을 해결하기 위해 개발된 NVMe 기반 스택입니다. 이 시스템은 데이터 상주성과 수명 개념을 프로그램 레벨에 도입하여, 전체 오프로드 워크플로우를 위치 지정되고 상태를 갖는 데이터 흐름으로 노출합니다. 이를 통해 기존 ISC 시스템 대비 월등한 성능 향상과 코드 간소화를 달성했습니다.
9월 18일1
arXivAI 번역논문
동적 슬라이싱을 통한 서버리스 애플리케이션의 콜드 스타트 지연 시간 감소
본 논문은 서버리스 애플리케이션의 콜드 스타트 지연 시간을 줄이는 시스템 PyXtrim을 제안합니다. 특히 Python의 동적 기능과 네이티브 확장 사용으로 인해 어려웠던 디블로팅 문제를 해결했습니다. PyXtrim은 동적 슬라이싱 기법을 사용하여 실제 동작에 필요한 최소한의 코드와 의존성만을 추출해 성능 개선 효과를 입증했습니다.
9월 16일1
arXivAI 번역논문
병렬 렉싱(Parallel Lexing)을 위한 인증된 분할 지점: 정확한 방식 및 모듈로 폐기된 토큰(Discarded Tokens)
병렬 렉싱(Parallel Lexing)을 위해 시뮬레이션이나 추측 없이도 정확한 분할 지점을 찾는 새로운 이론적 조건을 제시합니다. munch 라이브러리를 통해 구현된 이 방식은 높은 병렬 효율성과 속도 향상을 보여줍니다.
8월 5일2
arXivAI 번역논문
KernelScript: eBPF 애플리케이션을 위한 경계 간 타입 지정 DSL (Cross-Boundary Typed DSL)
eBPF 개발 시 커널과 유저스페이스 간의 타입 불일치 문제를 해결하기 위한 DSL인 KernelScript를 소개합니다. 단일 소스에서 맵과 프로그램 핸들을 타입 지정하여 컴파일 타임에 경계 간 버그를 방지합니다.
7월 28일3
arXivAI 번역논문
Flint: 의미론 중심의 데이터 시각화 중간 언어
Flint는 저수준 파라미터 설정 없이 데이터의 의미론적 구조를 통해 고품질 시각화를 생성하는 중간 언어입니다. 사용자가 데이터 필드의 의미를 지정하면 컴파일러가 Vega-Lite, ECharts 등 다양한 라이브러리에 최적화된 명세를 생성합니다.
7월 24일2
arXivAI 번역논문
생성형 컴파일(Generative Compilation): 코드 생성 중 실시간 컴파일러 피드백
본 글은 코드 생성 과정 자체에 컴파일러 피드백을 통합한 '생성형 컴파일(generative compilation)'이라는 새로운 접근 방식을 제안합니다. 핵심 기술인 sealor는 부분 프로그램을 표준 컴파일러가 진단할 수 있는 완전한 프로그램으로 변환하며, 이를 통해 LLM 디코딩 중에도 실시간으로 코드의 유효성을 검사할 수 있습니다.
7월 16일2
arXivAI 번역논문
프로젝티드 뷰와 검증된 구조적 업데이트를 통한 공유 상태 LLM 워크플로우용 PatchOptic
본 논문은 공유 상태를 기반으로 작동하는 LLM 에이전트 워크플로우의 한계를 극복하기 위해 PatchOptic이라는 옵틱 기반 인터페이스를 제안합니다. PatchOptic은 프로젝티드 리드와 검증된 구조적 패치를 사용하여, 로컬 업데이트가 전체 공유 상태에 적용될 때의 전역적 유효성을 보장하는 계약을 제공합니다. 이를 통해 에이전트 워크플로우의 안정성과 신뢰도를 높입니다.
7월 13일2
arXivAI 번역논문
형식 이론(Formal Theories)의 관점에서 본 MLIR 내 AI 모델 컴파일 읽기
MLIR과 같은 컴파일러 인프라의 설계 원칙이 형식 이론(Formal Theory)과 어떻게 대응되는지 분석합니다. 항 재작성 시스템, 정제 계산, 추상 해석 등의 이론적 배경이 정밀한 추상화 설계에 미치는 중요성을 강조합니다.
6월 25일2
arXivAI 번역논문
AI 보조를 통한 CertiGC 증명 완성: 경험 보고서
Codex의 보조를 받아 CertiGC 가비지 컬렉터의 Rocq(Coq) 형식 증명을 완성하고 안정화한 과정을 다룹니다. 가변 환경 확장에 따른 불변량 재설계와 AI를 활용한 증명 유지보수 워크플로우를 상세히 기술합니다.
6월 23일2
arXivAI 번역논문
OpenRath: 에이전트 시스템을 위한 세션 중심 런타임 상태 (Session-Centered Runtime State)
OpenRath는 파편화된 에이전트 시스템의 상태 관리 문제를 해결하기 위해 세션 중심의 런타임 모델을 제안합니다. 세션을 일급 객체로 취급하여 에이전트의 실행 상태를 분기, 검사, 재생 및 조합할 수 있는 PyTorch 스타일의 프로그래밍 모델을 제공합니다.
6월 19일4
arXivAI 번역논문
GraphAlg Playground: GraphAlg 언어 학습 및 실험을 위한 온라인 플랫폼
GraphAlg 언어 학습과 실험을 위한 웹 기반 온라인 플레이그라운드를 소개합니다. 별도의 설치 없이 브라우저에서 직접 프로그램을 작성, 실행 및 프로토타이핑할 수 있으며 대화형 튜토리얼을 제공합니다.
6월 18일4
arXivAI 번역논문
XFlow: 신뢰할 수 있는 멀티 에이전트 워크플로우를 위한 실행 가능한 프로토콜 프로그래밍 시스템
멀티 에이전트 시스템의 신뢰성 문제를 해결하기 위해 프로토콜 프로그래밍 시스템인 XFlow와 전용 언어 XPF를 제안합니다. 프롬프트와 하네스 구조 사이의 경계를 명확히 하여 워크플로우의 검증과 실행 가능성을 높입니다.
6월 16일3
arXivAI 번역논문
웹 네이티브 그래픽 모델 EMF 모델 에디터
데스크톱 기반의 그래픽 모델 편집을 웹 환경으로 전환하기 위한 순수 웹 기반 프레임워크인 EMFular를 소개합니다. Ecore 모델을 즉시 커스터마이징 가능한 Angular 기반 에디터로 변환하며, EMF의 일관성과 상호 운용성을 보장합니다.
6월 14일2
arXivAI 번역논문
Faust에서 CLAP으로 컴파일하는 이중 모드 시스템
faust2clap은 DSP 사양을 CLAP 형식으로 변환하는 공식 컴파일 경로를 제공합니다. 이 프레임워크는 정적 모드(AOT)와 동적 모드(런타임 해석) 두 가지 방식으로 작동하여, 오디오 소프트웨어 개발의 핵심 과제였던 편집-컴파일-재로드 주기 오버헤드를 해결했습니다.
6월 12일2
arXivAI 번역논문
Skill-as-Pseudocode: LLM Agent를 위한 스킬 라이브러리의 의사코드 (Pseudocode) 리팩토링
LLM 에이전트의 스킬 라이브러리를 자유 형식의 산문에서 타입이 지정된 의사코드로 변환하는 SaP 프레임워크를 제안합니다. 이를 통해 에이전트의 호출 오류를 줄이고, ALFWorld 테스트에서 토큰 사용량과 LLM 호출 횟수를 효과적으로 절감하며 성능을 향상시켰습니다.
5월 28일4