Artificial Intelligence 6 JAN, 2026 Learning to Guarantee Type Correctness in Code Generation through Type-Guided Program Synthesis By Zhechong Huang
Distributed Computing 6 JAN, 2026 Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities (Extended Version) By Ali Rasim Kocal
Programming Languages 6 JAN, 2026 Practical Refinement Session Type Inference (Extended Version) By Toby Ueno
