Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
arXiv Codex (cs.SE) 810건필터 해제
arXiv논문
C에서 안전한 Rust로의 언어 인터프리터 대부분 자동 번역
C 언어로 작성된 인터프리터를 안전한 Rust 언어로 자동 번역하는 기술인 Reboot을 소개합니다. 기능 축소 방식과 멀티 에이전트 아키텍처를 결합하여 최소한의 인간 개입만으로 메모리 취약점이 제거된 고품질의 Rust 코드를 생성합니다.
6월 26일0
arXiv논문
ATGBuilder: 시드 감독(Seed Supervision)을 통한 활동 전이 그래프(Activity Transition Graph)
ATGBuilder는 시드 감독 기반의 링크 예측을 통해 고품질의 활동 전이 그래프(ATG)를 구축하는 새로운 연구 방법론을 제안합니다. LLM을 활용해 UI 메타데이터를 요약하고 위젯-트리거 정보를 보조 학습에 활용하여 기존 방식보다 뛰어난 성능을 보여줍니다.
6월 26일0
arXiv논문
양자 소프트웨어 결함 데이터셋의 재현성에 관한 연구: Bugs4Q 사례 연구
양자 소프트웨어 결함 데이터셋인 Bugs4Q의 재현성 저하 문제를 분석한 연구입니다. 라이브러리 버전 업데이트에 따라 재현성이 급격히 하락하며, 대부분의 원인이 의존성 및 API 변경임을 밝혀냈습니다.
6월 26일0
arXiv논문
더 작은 모델, 예상치 못한 비용: 자동 프로그램 수정(APR)을 위한 LLM 양자화(Quantization)의 트레이드오프
LLM 양자화가 자동 프로그램 수정(APR) 작업에 미치는 영향을 실증적으로 분석한 연구입니다. 양자화는 메모리를 최대 85% 절감하지만, 추론 시간과 에너지 소비를 증가시키는 트레이드오프가 발생함을 확인했습니다.
6월 26일0
arXiv논문
EnerInfer: 에너지 인지형 온디바이스 LLM 추론
온디바이스 LLM 추론 시 에너지와 발열 문제를 해결하기 위한 새로운 프레임워크 EnerInfer를 제안합니다. NPU 및 메모리 주파수를 동적으로 조절하여 사용자 경험(QoE)을 유지하면서 에너지 효율을 극대화합니다.
6월 25일0
arXiv논문
Vibe-Coded 애플리케이션의 (불)안전성 이해
AI 에이전트에게 개발을 위임하는 '바이브 코딩' 패러다임에서 발생하는 애플리케이션의 보안 취약점을 체계적으로 연구한 논문입니다. AI 에이전트의 체계적 한계로 인해 발생하는 고유한 보안 패턴과 위험성을 분석합니다.
6월 25일0
arXiv논문
명세 완전성의 50년: 항공 인증이 AI 거버넌스의 에포크 제한(Epoch Limits), 증명 표면(Proof Surfaces) 및 구조적
항공 소프트웨어 인증 표준(DO-178C, DO-330)의 구조적 요구사항을 AI 거버넌스 체계에 적용하는 방안을 연구합니다. AI 시스템의 비결정론적 특성을 극복하기 위해 거버넌스 문서 자체의 구조적 완전성을 확보하는 프레임워크를 제안합니다.
6월 25일0
arXiv논문
LLM4MTLs: 모델 변환 언어(MTLs)의 자동 생성 및 실증적 평가
LLM을 활용한 모델 변환 언어(MTLs) 코드 생성의 자동화 워크플로인 LLM4MTLs를 제안합니다. 다양한 프롬프팅 전략이 MTL 코드의 구문론적 유효성과 의미론적 정확성에 미치는 영향을 실증적으로 분석했습니다.
6월 25일0
arXiv논문
의존성 블랙홀 (The Dependency Black Hole)
마이크로서비스 아키텍처에서 발생하는 의존성 집중 현상을 '의존성 블랙홀 이론'으로 정의한 연구입니다. 컴파일, 런타임, 태스크 의존성을 분석하여 시스템의 거시 구조를 블랙홀의 구조에 매핑하고 관리 방안을 제안합니다.
6월 25일0
arXiv논문
심층 신경망(DNN)을 위한 적응형 섭동 스케일링 기반의 텐서 기반 배치 퍼징 (Tensor-Based Batch Fuzzing with
DNN의 신뢰성 평가를 위해 적응형 섭동 스케일링을 적용한 새로운 텐서 기반 배치 퍼징 프레임워크를 제안합니다. 기존 순차적 퍼징의 한계를 극복하여 입력 공간 탐색의 정밀도와 테스트 처리량을 획기적으로 높였습니다.
6월 25일0
arXiv논문
개발자들은 에이전트의 지침을 어떻게 유지하고 진화시키는가? 실증적 연구
자율 코딩 에이전트의 지침 파일인 ACF(Agent Context Files)의 진화와 코드 품질 간의 상관관계를 분석한 연구입니다. 소프트웨어 유지보수 이론을 바탕으로 ACF 변경 사항을 분류하고, 에이전트 주도 개발 환경에서의 거버넌스 및 제어 방안을 제시합니다.
6월 25일0
arXiv논문
Web4 에이전트 경제: 지형, 과제 및 기회에 관한 대규모 실증 연구
자율 에이전트가 경제 주체로 활동하는 Web4 생태계의 현황과 인프라 과제를 분석한 대규모 실증 연구입니다. 수억 건의 트랜잭션과 MCP 프로젝트 등을 분석하여 기계 간 결제 경제의 성장과 인프라의 미성숙함을 규명했습니다.
6월 25일0
arXiv논문
의미론적 코드 클론 탐지: 우리는 도달했는가?
최신 의미론적 코드 클론 탐지기들이 벤치마크 성능은 높지만 실제 환경에서의 일반화 능력은 부족함을 실증적으로 분석한 연구입니다. 연구팀은 새로운 클론 연산자 프레임워크를 통해 탐지기들이 의미론적 이해 대신 어휘적·구조적 단서에 의존하는 지름길 학습을 하고 있음을 밝혀냈습니다.
6월 25일0
arXiv논문
표현이 중요하다: LLM 취약점 추론을 위한 프로그램 표현에 관한 실증적 연구
LLM을 활용한 프로그램 취약점 탐지 시, 원시 소스 코드와 정적 분석 기반의 프로그램 표현 방식이 추론 성능에 미치는 영향을 연구했습니다. 실험 결과, AST와 PDG를 결합한 구조적 표현이 원시 소스보다 훨씬 높은 정확도를 보임을 입증했습니다.
6월 25일0
arXiv논문
LibEvoBench: 코드 생성 모델의 시간적 지식 계층화 탐색
LibEvoBench는 API 버전 진화에 따른 LLM의 코드 생성 능력을 평가하는 새로운 벤치마크입니다. 연구 결과, 현재 모델들은 버전 간 차이를 구분하지 못하는 '버전 망각' 현상을 보이며, 문서 제공이 성능 향상에 필수적임을 밝혀냈습니다.
6월 25일0
arXiv논문
가중치 적용 부분 유사성을 이용한 프로젝트 단위 소프트웨어 버스마크 비교
본 논문은 프로젝트 단위의 소프트웨어 버스마크 비교를 통해 코드 표절 및 재사용을 탐지하는 새로운 프레임워크를 제안합니다. 가중치 부여 방식과 부분 유사도 메커니즘을 도입하여 부분 재사용과 부수적 유사성 문제를 효과적으로 해결합니다.
6월 25일0
arXiv논문
효율적인 이슈 해결을 위한 적응형 멀티 에이전트 스캐폴딩(Adaptive Multi-Agent Scaffolding)을 통한 모델 잠재력 해방
복잡한 버그 해결을 위해 분산형 멀티 에이전트 스캐폴딩인 icat-agent를 제안합니다. 이슈 품질에 따라 워크플로우를 전략적으로 전환하여 컨텍스트 오염을 방지하고 모델의 잠재력을 극대화합니다.
6월 25일0
arXiv논문
인공지능(AI)이 기업용 소프트웨어 사용자 역할에 미치는 영향
AI가 기업용 소프트웨어의 사용자 역할과 워크플로를 어떻게 변화시키는지 SAP BTP 사례를 통해 분석한 질적 연구입니다. 운영 자동화와 에이전트형 AI 도입으로 인해 기존 사용자 역할 프레임워크의 재정립이 필요함을 강조합니다.
6월 25일0
arXiv논문
코드로부터의 요구사항 생성 가능성에 대하여: 경험 보고서
소스 코드로부터 요구사항을 생성하여 데이터셋을 구축하려는 LLM 기반 접근 방식의 한계를 다룬 연구 보고서입니다. 실험 결과 LLM은 고품질 요구사항 생성 및 스멜 도입에 실패했으며, 인간의 감독이 필수적임을 시사합니다.
6월 25일0
arXiv논문
IntentTester: 교차 라이브러리 테스트 마이그레이션을 위한 의도 기반 멀티 에이전트 프레임워크
IntentTester는 테스트의 의도를 추출하여 언어에 구애받지 않는 기술 언어로 추상화하는 멀티 에이전트 프레임워크입니다. 기존의 구조적 매핑 방식과 달리 의미론적 정렬을 통해 교차 라이브러리 및 교차 언어 간의 실행 가능한 테스트 마이그레이션을 지원합니다.
6월 25일0