Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
arXiv cs.PL (Programming Languages) 201건필터 해제
arXiv논문
Python의 이면: AI를 구동하는 언어들
Python 기반 AI 프레임워크 이면에서 작동하는 다양한 프로그래밍 언어들의 성능을 비교 분석한 연구입니다. 5가지 핵심 알고리즘을 C, C++, Rust, Go, Julia, Python으로 직접 구현하여 연산 속도와 메모리 점유율을 실험적으로 측정했습니다.
6월 17일0
arXiv논문
Fidelity 프레임워크에서의 음수 및 분수 타입 (Negative and Fractional Types)
Fidelity 프레임워크의 Native Type Universe(NTU) 내에서 음수 및 분수 타입을 일급 객체로 다루는 연구를 소개합니다. 범주론적 해석과 대수적 패턴을 통해 결정 가능성을 보존하며, 양자 및 단열 컴퓨팅 등 특수 컴퓨팅 영역으로의 확장 가능성을 제시합니다.
6월 17일0
arXiv논문
ANEForge: Apple Neural Engine에서 직접 연산을 수행하기 위한 Python 패키지
ANEForge는 CoreML을 거치지 않고 Apple Neural Engine(ANE)을 직접 프로그래밍할 수 있는 Python 패키지입니다. 융합 연산자를 사용하여 ANE의 성능을 극대화하며, 추론뿐만 아니라 학습의 순전파 및 역전파까지 지원합니다.
6월 17일0
arXiv논문
ScratchLens: Scratch 프로그램을 위한 렌즈-매개변수적 행동 동등성
Scratch 프로그램의 행동 동등성을 판별하기 위한 새로운 연구인 ScratchLens를 소개합니다. 렌즈-매개변수적 관찰 체계를 통해 구문론적으로 다르더라도 기능적으로 동일한 Scratch 프로젝트를 정확하게 식별합니다.
6월 17일0
arXiv논문
PromptMN: 의사 프롬프팅 언어 (Pseudo Prompting Language)
PromptMN은 자연어 프롬프트의 모호함을 해결하기 위해 제안된 의사 프롬프팅 도메인 특화 언어(DSL)입니다. 역할, 목표, 제약 사항 등을 타입 지정 지시어로 구조화하여 모델의 이해도를 높이고, 역 프롬프트 엔지니어링을 통해 인간과 AI 간의 정렬을 돕습니다.
6월 17일0
arXiv논문
Typed Extended Decision Diagrams을 통한 확장 가능한 확률적 프로그램 검증
확률적 프로그램 검증의 확장성 문제를 해결하기 위해 새로운 데이터 구조인 TEDDs(Typed Extended Decision Diagrams)를 제안합니다. SMT 기반 가지치기를 통해 최약 전제 기대치(WP)의 계산 효율을 높여 기존 방식보다 수 자릿수 높은 성능 향상을 입증했습니다.
6월 17일0
arXiv논문
멀티 에이전트 거대 언어 모델 (Multi-Agent LLM) 시스템에서의 동시성 이상 현상 검증 및 방지
멀티 에이전트 LLM 시스템에서 발생하는 네 가지 동시성 이상 현상을 TLA+로 공식화하고, 이를 방지하기 위한 기계 검증된 일관성 계층을 제안합니다. Rust 기반 런타임을 통해 실현 가능성을 증명하였으며, 실제 시스템(ByteDance, LangGraph)에서의 문제 재현 및 해결책을 제시합니다.
6월 17일0
arXiv논문
잔여 프로세스 동작을 위한 Stone-Cech 수집 의미론 (A Stone-Cech Collecting Semantics for
종료되지 않는 계산에서 발생하는 잔여 동작을 분석하기 위해 Stone-Cech 컴팩트화를 활용한 새로운 수집 의미론을 제안합니다. 이 이론은 재귀 동작과 탈출 현상을 통합적으로 설명하며, CCS(Calculus of Communicating Systems)에서의 잔여 프로세스 분석에 응용됩니다.
6월 17일0
arXiv논문
Rust 표준 라이브러리 검증
Rust 표준 라이브러리의 unsafe 코드에 대한 정적 검증 부족 문제를 해결하기 위해 대규모 검증 캠페인을 제안합니다. 크라우드소싱을 통해 검증 도구를 통합하고, 기계 검증 증명이 정의되지 않은 동작을 방지하는 데 미치는 실질적 가치를 분석합니다.
6월 17일0
arXiv논문
다음 단계가 단 한 단계가 아닐 때: 동시성 Go 프로그램을 위한 분포 인식 실행 모델링 (Distribution-Aware Execution
Go 언어의 비결정론적 스케줄링 특성을 고려하여, 다음 실행 이벤트를 확률 분포로 예측하는 모델링 기법을 제안합니다. KL 목적 함수를 통해 7B 모델을 미세 조정하여 기존 모델보다 높은 정확도와 개선된 교정 오차를 달성했습니다.
6월 17일0
arXiv논문
Visored: LLM이 생성한 수학을 위한 제어된 자연어 증명기 (Controlled-Natural-Language Prover)
LLM과 인간의 수학 작성 방식을 결합한 의존 타입 기반의 새로운 증명기 Visored를 소개합니다. 수학적 자연어를 모방하는 표면층과 규칙 기반 자동화 계층을 통해 Lean 및 Rocq 시스템을 보완하며, 검증된 Lean 파일 출력이 가능합니다.
6월 17일0
arXiv논문
LLM 기반 코드 번역에서의 기능적 정확성과 실행 효율성 간의 격차 해소
LLM 기반 코드 번역 시 기능적 정확성뿐만 아니라 실행 효율성을 동시에 개선하기 위한 연구를 소개합니다. 제안된 SwiftTrans 프레임워크는 다각도 탐색과 차이 인식 선택 과정을 통해 최적의 코드를 식별하며, 새로운 벤치마크인 SwiftBench를 통해 성능을 검증했습니다.
6월 17일0
arXiv논문
GPU에서의 두려움 없는 병행성 (Fearless Concurrency)
Rust의 소유권 모델을 GPU 커널 작성으로 확장한 타일 기반 시스템인 cuTile Rust를 소개합니다. 이 시스템은 안전하고 관용적인 GPU 프로그래밍을 지원하며, NVIDIA B200 등 하이엔드 GPU에서 높은 성능을 유지합니다.
6월 16일0
arXiv논문
obliv-clang: C++에서의 실세계 Oblivious Programming
부채널 공격을 방어하기 위해 C++ 프로그램의 Oblivious 성질을 검사하는 컴파일 타임 도구인 obliv-clang을 제안합니다. 복잡한 C++ 언어 기능을 지원하며, 기존 솔루션 대비 높은 성능과 형식적 건전성을 입증했습니다.
6월 16일0
arXiv논문
병렬 비트 벡터 최적화를 통한 최적의 추상 트랜스포머 합성
추상 해석을 위한 최적의 추상 트랜스포머 합성을 가속화하는 병렬 합성 프레임워크 Spear를 제안합니다. 비트 벡터 모델링 시 목적 함수 간의 독립성을 활용하여 병렬화를 구현함으로써 기존 OMT 방식의 확장성 문제를 해결했습니다.
6월 16일0
arXiv논문
XFlow: 신뢰할 수 있는 멀티 에이전트 워크플로우를 위한 실행 가능한 프로토콜 프로그래밍 시스템
멀티 에이전트 시스템의 신뢰성 문제를 해결하기 위해 프로토콜 프로그래밍 시스템인 XFlow와 전용 언어 XPF를 제안합니다. 프롬프트와 하네스 구조 사이의 경계를 명확히 하여 워크플로우의 검증과 실행 가능성을 높입니다.
6월 16일0
arXiv논문
스키마 불가지론적 프로세스 트레이스 구축: 원시 테이블에서 실행 동작까지
스키마 변화가 잦은 현대 OLTP 환경에서 원시 관계형 데이터로부터 프로세스 실행 트레이스를 자동 재구성하는 스키마 불가지론적 파이프라인을 제안합니다. 통계적 신호와 Temporal Convolutional Network를 활용하여 테이블 간 연결을 발견하고 이벤트 순서를 학습합니다.
6월 16일0
arXiv논문
Entity Component System (ECS)의 본질
본 연구는 데이터 지향 설계인 Entity Component System(ECS)의 아키타입 의미론을 공식화하고 실험적으로 평가합니다. 타워 디펜스 시뮬레이션을 통해 아키타입 ECS가 기존 설계보다 캐시 효율성과 프레임 안정성 측면에서 우수함을 입증했습니다.
6월 16일0
arXiv논문
Rumoca: 범용 대수적 프론트엔드로서의 Modelica를 위한 Rust 네이티브 컴파일러
Modelica를 다양한 현대적 엔지니어링 워크플로우에 맞게 변환하는 Rust 기반 네이티브 컴파일러 Rumoca를 소개합니다. 파싱부터 DAE 구축, 코드 생성까지의 파이프라인을 통해 JAX, Julia 등과의 호환성을 높였습니다.
6월 16일0
arXiv논문
Vega 데이터 변환을 위한 형식 의미론(Formal Semantics) 및 타입 시스템(Type System)
본 논문은 대화형 데이터 시각화 언어인 Vega의 모호한 의미론을 해결하기 위해 그래프 기반의 운영 의미론과 타입 시스템을 제안합니다. 이를 통해 Vega의 스트리밍 데이터플로우 아키텍처를 정밀하게 모델링하고, 정적 분석을 통해 데이터 변환 과정의 오류를 사전에 방지할 수 있는 체커를 구현했습니다.
6월 16일0