Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
arXiv Codex (cs.SE) 810건필터 해제
arXiv논문
코딩 에이전트를 활용한 N-버전 프로그래밍 (N-Version Programming)
AI 코딩 에이전트 환경에서 N-버전 프로그래밍의 효용성을 검증한 연구입니다. Knight-Leveson 실험을 재검토하여 에이전트 간 공통 모드 실패를 분석하고, 다수결 투표를 통한 오류 감소 효과를 입증했습니다.
6월 19일0
arXiv논문
LLM을 활용한 Qiskit 코드 마이그레이션
양자 소프트웨어 공학(QSE)의 기술 부채를 해결하기 위해 LLM과 RAG를 결합하여 Qiskit 코드를 자동 마이그레이션하는 하이브리드 접근 방식을 제안합니다. 분류 체계 기반의 RAG 아키텍처를 통해 LLM의 환각을 줄이고 코드 리팩토링의 정밀도를 높이는 연구 결과를 제시합니다.
6월 19일0
arXiv논문
QMFOL: 정량화 가능한 단항 1차 논리 (Monadic First-Order Logic) 테스트 케이스 생성을 통한 대규모 언어 모델 추론
LLM의 연역적 추론 능력을 정밀하게 평가하기 위해 단항 1차 논리(QMFOL) 기반의 자동화된 벤치마크 생성 프레임워크를 제안합니다. 논리적 복잡성을 정밀하게 제어하며, 외부 증명기를 통해 논리적 일관성을 보장하는 QMFOLBench를 구축했습니다.
6월 19일0
arXiv논문
Phoenix: 멀티 에이전트 LLM을 통한 안전한 GitHub 이슈 해결
Phoenix는 GitHub 이슈 해결을 위해 6개의 전문 에이전트로 구성된 멀티 에이전트 LLM 시스템입니다. 7단계의 안전 제어 메커니즘을 통해 코드 수정부터 PR 생성까지의 과정을 자동화하며, 높은 정확도와 회귀 방지 성능을 보여줍니다.
6월 19일0
arXiv논문
AutoPass: 컴파일러 성능 튜닝을 위한 증거 기반 LLM 에이전트
AutoPass는 컴파일러 내부 상태와 런타임 피드백을 분석하여 최적의 컴파일 옵션을 찾아내는 멀티 에이전트 프레임워크입니다. LLM이 컴파일러의 중간 표현을 직접 분석함으로써 기존 블랙박스 방식의 한계를 극복하고 성능을 최적화합니다.
6월 19일0
arXiv논문
재생 에너지 커뮤니티를 위한 디지털 트윈의 SysML 모델링
재생 에너지 커뮤니티(REC)의 디지털 트윈 구축을 위한 MBSE 워크플로우를 제안합니다. SysML과 Modelio를 사용하여 장치 분류 및 조직 뷰를 모델링하고, SysML의 의미론적 격차를 해결하기 위해 SAREF4ENER 온톨로지를 결합하는 방안을 탐구합니다.
6월 19일0
arXiv논문
강화학습 (RL) 환경 제품군 개발을 위한 모델 주도 접근 방식
강화학습(RL) 에이전트의 학습을 위해 다양한 환경 변형 제품군을 효율적으로 생성하는 모델 주도 접근 방식을 제안합니다. 하이브리드 유전 알고리즘과 모델 변환 엔진을 활용하여 기존의 수동적이고 노동 집약적인 환경 개발 프로세스를 자동화합니다.
6월 19일0
arXiv논문
대규모 모델을 위한 토큰 연산 중심의 추론 최적화 기술
대규모 모델의 효율적인 운영을 위한 토큰 중심의 추론 최적화 기술과 4계층 아키텍처를 제안하는 논문입니다. 다중 모델 융합부터 컴퓨팅-네트워크-모델 융합까지의 기술적 경로를 체계적으로 검토합니다.
6월 19일0
arXiv논문
AI 에이전트를 위한 런타임 준수 검증 (Runtime Compliance Verification for AI Agents)
AI 에이전트의 도구 사용 및 데이터 처리 과정에서 GDPR 규정 준수를 보장하기 위한 런타임 검증 프레임워크 C-Trace를 제안합니다. 실행 트레이스를 분석하여 비준수 동작을 실시간으로 차단하고, 레드팀 공격을 통해 프레임워크의 방어 성능을 입증했습니다.
6월 18일0
arXiv논문
두 개발자는 똑같이 생각하지 않는다: 문제 해결 스타일과 경험이 Copilot과의 대화형 상호작용 요구사항에 미치는 영향
개발자의 인지적 다양성이 GitHub Copilot Chat과의 상호작용 방식에 미치는 영향을 연구한 논문입니다. 27명의 피실험자를 통해 5가지 상호작용 모드와 10가지 요구사항을 규명하여 개념 모델을 제시합니다.
6월 18일0
arXiv논문
Vibe Coding이 내 숙제를 먹어치웠다: 그린필드 (Greenfield) 소프트웨어 엔지니어링 및 프로그래밍에 대한 AI 접근 방식 평가
자연어 프롬프트만으로 소프트웨어를 구축하는 '바이브 코딩(vibe coding)'의 실효성을 평가하는 연구입니다. Python을 활용해 LLM이 그린필드 프로그래밍 작업을 얼마나 잘 수행하는지 측정하기 위한 평가 스위트를 개발하고 분석했습니다.
6월 18일0
arXiv논문
OmniDroneX: LLM 지원 통합 드론 서비스 (Drone-as-a-Service) 생태계
OmniDroneX는 LLM을 활용하여 드론을 동적으로 구성 가능한 서비스 엔티티로 전환하는 Drone-as-a-Service 생태계를 제안합니다. libUAV 인터페이스와 PT-SOA 모델을 통해 물리적 요소와 미션 의도를 연결하며, LLM으로 서비스 구성 및 자연어 미션 명세를 자동화합니다.
6월 18일0
arXiv논문
ASTRA: 자율형 심파일럿(Simpilots)을 갖춘 확장 가능한 차세대 ATCO 교육 시뮬레이터
ASTRA는 항공교통관제사(ATCO) 교육을 위해 자율형 심파일럿을 갖춘 차세대 시뮬레이터를 소개합니다. 현지 음성 모델과 ASR 파이프라인을 통해 단어 오류율(WER)을 획기적으로 낮추고, AI 기반의 무선 통신 성능 평가 프레임워크를 제공합니다.
6월 18일0
arXiv논문
교차 계층 제약 조건을 통한 딥러닝 파이프라인 내 컴파일러-플랫폼 상호작용 버그 탐색
딥러닝 컴파일러와 하드웨어 플랫폼 간의 상호작용에서 발생하는 버그를 탐색하기 위한 새로운 테스트 프레임워크 XCheck를 제안합니다. 풀스택 제약 조건을 활용하여 기존 방식이 놓치기 쉬운 컴파일러-플랫폼 간의 불일치를 자동으로 탐지합니다.
6월 18일0
arXiv논문
Mozilla의 성능 이상 탐지를 위한 통계적 변화점 탐지 (Change Point Detection) 기술 조사
Mozilla의 성능 엔지니어링 시스템인 Perfherder의 이상 탐지 성능을 개선하기 위해 다양한 변화점 탐지(CPD) 방법론을 연구했습니다. 174개의 시계열 데이터셋을 통해 25가지 CPD 방법과 15가지 앙상블 접근 방식을 비교 분석하여 최적의 성능 향상 방안을 제시합니다.
6월 18일0
arXiv논문
명세에서 실행까지: AI 지원 과학적 워크플로우 관리
LLM을 활용하여 과학적 워크플로우의 명세 생성, 자동 디버깅, 분산 실행을 통합 관리하는 새로운 접근 방식을 제안합니다. 구조화된 명세 단계를 통해 투명성을 높이고, MCP 계층을 통합하여 Pegasus WMS와의 연동 및 효율적인 제어를 지원합니다.
6월 18일0
arXiv논문
YouTube 소프트웨어 엔지니어링 교육 영상 내 성별 재현에 대한 비판적 담론 분석
YouTube의 소프트웨어 엔지니어링 튜토리얼 200개를 분석하여 교육 콘텐츠 내 성별 재현 양상을 조사한 연구입니다. 분석 결과, 남성 중심적인 언어와 역할 배분이 지배적이며 여성의 주체성이 결여된 '주체성 격차'가 확인되었습니다.
6월 18일0
arXiv논문
L5 설계: 창의적 코딩을 위한 퍼마컴퓨팅 (Permacomputing) 접근 방식
L5는 퍼마컴퓨팅 원칙을 적용하여 지속 가능한 창의적 코딩을 지향하는 새로운 Lua 기반 프레임워크입니다. 본 논문은 다섯 가지 사례 연구를 통해 설계 결정과 지속 가능성, 사용성 사이의 상충 관계를 탐구합니다.
6월 18일0
arXiv논문
AI 샌드박스: 위협 모델, 분류 체계 및 측정 프레임워크
AI 시스템의 안전한 테스트를 위한 AI 샌드박스의 위협 모델, 분류 체계 및 측정 프레임워크를 제안하는 논문입니다. 디지털 AI부터 사이버-물리 시스템까지 아우르는 제어된 환경에서의 검증 및 보증 방법을 다룹니다.
6월 18일0
arXiv논문
문항 풀의 품질 보증을 위한 분석 도구 (AQuAP): AI 기반 평가 시스템에서의 문항 은행 건강 상태 모니터링 및 유지 관리
문항 은행의 품질과 건강 상태를 모니터링하기 위한 AI 기반 분석 도구인 AQuAP를 제안합니다. 유효 은행 크기(EBS)와 같은 새로운 지표를 통해 대규모 디지털 시험의 보안성과 효율성을 정량적으로 관리하는 프레임워크를 다룹니다.
6월 18일0