Programming Languages

A Compilation-Based Under-Constrained Execution Engine OSDI 2026 Iris: Expressive Traffic Analysis for the Modern Internet NSDI 2026 RT: Regular Types for the Streaming Shell OSDI 2026 Syncopate: Efficient Multi-GPU AI Kernels via Automatic Chunk-Centric Compute-Communication Overlap OSDI 2026 Building Bridges: Safe Interactions with Foreign Languages through Omniglot OSDI 2025 MojoBench: Language Modeling and Benchmarks for Mojo NAACL 2025 PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection OSDI 2025 PyTorchGeoNodes: Enabling Differentiable Shape Programs for 3D Shape Reconstruction CVPR 2025 Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence AAAI 2025 Rethinking Repetition Problems of LLMs in Code Generation ACL 2025 When Benchmarks Talk: Re-Evaluating Code LLMs with Interactive Feedback ACL 2025 An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes AAAI 2024 AutoDSL: Automated domain-specific language design for structural representation of procedures with constraints ACL 2024 DRust: Language-Guided Distributed Shared Memory with Fine Granularity, Full Transparency, and Ultra Efficiency OSDI 2024 Enhaced Apertium System: Translation into Low-Resource Languages of Spain Spanish–Asturian EMNLP 2024 Langshaw: Declarative Interaction Protocols Based on Sayso and Conflict IJCAI 2024 Learning Structure-Aware Representations of Dependent Types NeurIPS 2024 Sequence Abstractions for Flexible, Line-Rate Network Monitoring NSDI 2024 Towards Automatic Composition of ASP Programs from Natural Language Specifications IJCAI 2024 Verified Code Transpilation with LLMs NeurIPS 2024 A Regular Matching Constraint for String Variables IJCAI 2023 Following the Data, Not the Function: Rethinking Function Orchestration in Serverless Computing NSDI 2023 A Variant of Concurrent Constraint Programming on GPU AAAI 2022 Efficient Constituency Tree based Encoding for Natural Language to Bash Translation NAACL 2022 MemLiner: Lining up Tracing and Application for a Far-Memory-Friendly Runtime OSDI 2022