JoinActors: A Modular Library for Actors with Join Patterns
이 논문은 기존 Scala 3 환경에서 개발자 친화적인 구문을 제공하면서도 다양한 매칭 알고리즘을 모듈식으로 교체 및 비교할 수 있도록 설계된 'JoinActors' 라이브러리의 개선된 버전과 메타프로그래밍 활용, 그리고 성능 최적화 결과를 상세히 다룹니다.
🧩 Category
cs.PL
27 편의 논문
Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing
이 논문은 점진적 타입 시스템에서 실행 시간 단축을 위해 타입 추론 결과를 기반으로 데이터 흐름을 따라 효율적으로 타입 어노테이션을 선택하는 경량화 기법을 제안하여, 기존 방법의 긴 컴파일 시간 문제를 해결하면서도 Reticulated Python 환경에서 실행 성능을 개선함을 입증했습니다.
iScript: A Domain-Adapted Large Language Model and Benchmark for Physical Design Tcl Script Generation
이 논문은 물리적 설계 Tcl 스크립트 생성의 데이터 부족 문제를 해결하기 위해 다단계 데이터 합성 파이프라인을 통해 구축된 대규모 언어 모델 'iScript'와 이를 평가하는 벤치마크를 제안하고, 이를 통해 기존 최첨단 모델보다 우수한 성능을 입증했습니다.
Reversible Computation with Stacks and "Reversible Management of Failures"
이 논문은 스택 연산을 부분 전단사 함수가 아닌 전 전단사 함수로 해석하여 계산 복잡성 연구에 필수적인 총전단사성 (total bijectivity) 을 보장하는 새로운 역계산 언어 SCORE 를 제안하고, 증명 보조기구를 통해 그 정확성을 검증합니다.
Ohana trees, linear approximation and multi-types for the I-calculus: No variable gets left behind or forgotten!
이 논문은 I-계산에서 소실되거나 무한히 밀려난 자유 변수까지도 기억하는 '오하나 트리 (Ohana trees)'를 도입하여, 기존 연구에서 간과되었던 I-계산의 새로운 등식 이론을 정립하고 이를 타일러 전개 및 비-idempotent 타입 시스템을 통해 검증하는 방법을 제시합니다.
Agentic Code Reasoning
이 논문은 LLM 에이전트가 코드 실행 없이도 명시적 전제와 추론 경로를 구성하는 '반형식적 추론 (semi-formal reasoning)' 기법을 통해 패치 동등성 검증, 결함 국소화, 코드 질문 답변 등 다양한 작업에서 정확도를 획기적으로 향상시킬 수 있음을 입증합니다.
SpotIt+: Verification-based Text-to-SQL Evaluation with Database Constraints
이 논문은 생성된 SQL 과 정답 SQL 간의 차이를 찾기 위해 제약 조건 마이닝 파이프라인을 도입하여 더 현실적인 차등 데이터베이스를 생성하고 표준 평가 방식이 놓치는 오류를 효율적으로 발견하는 오픈소스 도구 SpotIt+ 를 제안합니다.