Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
arXiv cs.PL (Programming Languages) 201건필터 해제
arXiv논문
ScratchLens: Scratch 프로그램의 렌즈-파라미터적 행동 동등성
Scratch 프로그램의 행동 동등성을 판별하기 위한 새로운 프레임워크 SPECTRA를 제안합니다. 렌즈-파라미터적 관찰 관계를 통해 구문론적으로 다르더라도 동작이 동일한 프로그램을 정밀하게 검증합니다.
6월 16일0
arXiv논문
상태 공간(State Spaces) 상의 연산을 위한 술어 기반 모델
본 논문은 절차적 연산 대신 상태 공간과 술어를 활용한 선언적 연산 모델을 제안합니다. 문제 명세와 구현 전략을 분리하여 다양한 알고리즘과 양자 오라클을 동일한 의미론적 틀 안에서 다룰 수 있는 추상화 체계를 구축했습니다.
6월 16일0
arXiv논문
타입화된 확장 결정 다이어그램(TEDDs)을 통한 확장 가능한 확률적 프로그램 검증
확률적 프로그램 검증의 확장성 문제를 해결하기 위해 타입화된 확장 결정 다이어그램(TEDDs)을 제안합니다. TEDDs를 통해 최약 전제 기대치(WP)를 효율적으로 계산하고 SMT 기반 가지치기를 적용하여 검증 성능을 획기적으로 향상시켰습니다.
6월 16일0
arXiv논문
VHDLSuite: 데이터 합성 및 평가를 포함한 LLM VHDL 생성을 위한 통합 파이프라인
VHDL 생성 성능을 평가하기 위한 통합 파이프라인인 VHDLSuite를 소개합니다. Verilog를 VHDL로 자동 변환하는 데이터 파이프라인과 200개 이상의 문제를 포함한 VHDLBench를 통해 LLM의 하드웨어 설계 능력을 체계적으로 검증합니다.
6월 15일0
arXiv논문
상대적 모나드(monads) 및 코모나드(comonads)를 이용한 초점화(focalisation)의 구문론 및 의미론
상대적 모나드와 코모나드를 활용하여 초점화(focalisation)의 구문론 및 의미론을 연구한 논문입니다. 선형 call-by-push-value 모델에서 자원 및 효과 양태를 설명하기 위한 증명론적 접근과 비결합 범주 상의 수반 개념을 다룹니다.
6월 15일0
arXiv논문
QLDPC 거리 계산을 위한 SAT, MaxSAT 및 SMT: 대규모 실증 연구
양자 LDPC(QLDPC) 코드의 정확한 거리 계산을 위해 SAT, MaxSAT, SMT 정식화를 비교 분석한 연구입니다. 기존의 XOR 추론이나 Brouwer-Zimmermann 방식이 QLDPC 환경에서는 확장성 측면에서 한계가 있음을 밝히고, 솔버 아키텍처의 중요성을 강조합니다.
6월 15일0
arXiv논문
웹 네이티브 그래픽 모델 EMF 모델 에디터
데스크톱 기반의 그래픽 모델 편집을 웹 환경으로 전환하기 위한 순수 웹 기반 프레임워크인 EMFular를 소개합니다. Ecore 모델을 즉시 커스터마이징 가능한 Angular 기반 에디터로 변환하며, EMF의 일관성과 상호 운용성을 보장합니다.
6월 14일0
arXiv논문
nomp: 도메인 특화 컴파일러 구축을 위한 프레임워크
저수준 GPU 프로그래밍의 복잡성과 고수준 모델의 성능 한계를 극복하기 위한 새로운 프레임워크 nomp를 제안합니다. nomp는 pragma 기반 모델과 메타데이터를 활용하여 도메인 특화 최적화 패턴을 재사용함으로써 생산성, 이식성, 성능의 균형을 목표로 합니다.
6월 14일0
arXiv논문
기능적 캐시 이식 (Functional Cache Grafting): 체화된 에이전트를 위한 견고하고 신속한 코드-정책 합성
체화된 에이전트를 위한 새로운 코드-정책 합성 프레임워크인 FCGraft를 제안합니다. 검증된 코드 스켈레톤과 KV 캐시를 재사용하는 방식을 통해 디코딩 지연을 줄이고 정책 생성의 견고성을 높였습니다.
6월 14일0
arXiv논문
Faust에서 CLAP으로 컴파일하는 이중 모드 시스템
faust2clap은 DSP 사양을 CLAP 형식으로 변환하는 공식 컴파일 경로를 제공합니다. 이 프레임워크는 정적 모드(AOT)와 동적 모드(런타임 해석) 두 가지 방식으로 작동하여, 오디오 소프트웨어 개발의 핵심 과제였던 편집-컴파일-재로드 주기 오버헤드를 해결했습니다.
6월 12일0
arXiv논문
확률론적, 리소스 인식, 비동기식, 순서 무시 코레오그래피
본 논문은 순서가 뒤바뀐 비동기식 코레오그래피의 의미론을 모델링하기 위한 새로운 언어 AsInst를 제안합니다. AsInst는 시간적 베이즈 네트워크로 해석되며, 실행 가능성뿐만 아니라 리소스 인식적인 확률과 시간을 고려하여 시스템 성능 분석에 활용됩니다.
6월 12일0
arXiv논문
한 번의 컴파일로 어디서든 미분하기: 미분 가능한 메타 순환 인터프리터 (Differentiable Meta-Circular
Scheme 언어의 부분집합을 미분 가능한 계산 그래프로 변환하는 DMCI 컴파일러를 제안합니다. 한 번의 컴파일로 재귀와 클로저를 포함한 프로그램을 실행하며 역방향 모드 자동 미분을 통해 연속적인 상수를 최적화할 수 있습니다.
6월 10일0
arXiv논문
Max-Policy Iteration, 재고(Revisited)
Max-policy iteration을 수학적 최적화 대신 가치 반복(value iteration)으로 대체하여 효율적으로 수치적 프로그램 불변량을 계산하는 방법을 제안합니다. 정수 및 부동 소수점 시스템에서의 경계 분석과 선형 계획법의 대안인 min-policy iteration을 다룹니다.
6월 10일0
arXiv논문
CRDT를 이용한 동적 소프트웨어 업데이트
분산 애플리케이션의 동적 소프트웨어 업데이트를 위해 CRDT를 활용하는 새로운 방식을 제안합니다. 애플리케이션 업데이트를 App CRDT로 모델링하여 하위 호환성이 없는 업데이트 상황에서도 시스템이 중단 없이 작동하도록 설계되었습니다.
6월 10일0
arXiv논문
타입이 교차하고 효과가 처리될 때
대수적 효과와 핸들러를 포함하는 $\lambda$-calculus를 위한 새로운 교차 타입 시스템을 제안합니다. 이 시스템은 주축소 및 확장 성질을 유지하며, 도달 가능성 문제를 타입 추론으로 환원할 수 있는 특징을 가집니다.
6월 9일0
arXiv논문
LongRTL: 그래프 유사도 가이드를 통한 LLM 기반의 긴 컨텍스트 RTL 최적화
긴 컨텍스트의 RTL 설계를 최적화하기 위해 그래프 유사도 가이드를 활용하는 새로운 LLM 프레임워크를 제안합니다. 세 가지 협업 에이전트를 통해 복잡한 하드웨어 코드를 분해, 생성 및 재구성하여 기능적 동등성을 보장합니다.
6월 9일0
arXiv논문
AgentCompile: 직접적인 CUDA 추론을 위한 LLM 가이드 컴파일러
AgentCompile은 LLM의 의미론적 분석을 활용하여 CUDA 추론을 최적화하는 가이드 컴파일러입니다. LLM이 제안한 메타데이터를 바탕으로 최적의 CUDA 구현체를 선택하며, PyTorch 대비 최대 5.66배의 속도 향상을 입증했습니다.
6월 9일0
arXiv논문
SNN-MLIR: NIR에서 Bare-Metal C로 뉴로모픽 SNN을 컴파일하기 위한 MLIR Dialect
SNN 모델의 파편화 문제를 해결하기 위해 NIR을 기반으로 하는 새로운 MLIR dialect인 snn-mlir을 제안합니다. 이 툴체인은 학습된 SNN을 시뮬레이션 및 임베디드 타겟용 C11 코드로 변환하여 하드웨어 배포를 용이하게 합니다.
6월 9일0
arXiv논문
컴파일러 월드 모델을 향하여: 효율적인 텐서 프로그램 탐색을 위한 잠재 역학 (Latent Dynamics) 학습
텐서 프로그램 최적화 시 스케줄링 궤적을 고려하지 못하는 기존 방식의 한계를 극복하기 위해 월드 모델 기반의 평가기를 제안합니다. 잠재 역학(Latent Dynamics)을 통해 비용이 큰 AST 변이 없이도 효율적인 스케줄링 탐색이 가능함을 입증했습니다.
6월 9일0
arXiv논문
충돌 없는 복제 데이터 타입 (CRDT)을 위한 Datalog 프레임워크
분산 애플리케이션의 로컬 우선 협업을 지원하기 위해 CRDT의 의미론을 Datalog로 모델링하는 선언적 프레임워크를 제안합니다. 이 프레임워크는 동시성을 실행 가능한 논리 프로그램으로 변환하여 자동화된 분석과 프로토타이핑을 용이하게 합니다.
6월 9일0