← Foundations
Computer Science › Foundations ›

Programming Languages

46 directly classified papers

Papers per year

Papers

Building Bridges: Safe Interactions with Foreign Languages through Omniglot OSDI 2025
MojoBench: Language Modeling and Benchmarks for Mojo NAACL 2025
When Benchmarks Talk: Re-Evaluating Code LLMs with Interactive Feedback ACL 2025
Rethinking Repetition Problems of LLMs in Code Generation ACL 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
PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection OSDI 2025
Towards Automatic Composition of ASP Programs from Natural Language Specifications IJCAI 2024
Learning Structure-Aware Representations of Dependent Types NIPS 2024
Sequence Abstractions for Flexible, Line-Rate Network Monitoring NSDI 2024
AutoDSL: Automated domain-specific language design for structural representation of procedures with constraints ACL 2024
Langshaw: Declarative Interaction Protocols Based on Sayso and Conflict IJCAI 2024
An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes AAAI 2024
Verified Code Transpilation with LLMs NIPS 2024
Enhaced Apertium System: Translation into Low-Resource Languages of Spain Spanish–Asturian EMNLP 2024
DRust: Language-Guided Distributed Shared Memory with Fine Granularity, Full Transparency, and Ultra Efficiency OSDI 2024
A Regular Matching Constraint for String Variables IJCAI 2023
Following the Data, Not the Function: Rethinking Function Orchestration in Serverless Computing NSDI 2023
Efficient Constituency Tree based Encoding for Natural Language to Bash Translation NAACL 2022
A Variant of Concurrent Constraint Programming on GPU AAAI 2022
MemLiner: Lining up Tracing and Application for a Far-Memory-Friendly Runtime OSDI 2022
GENSYNTH: Synthesizing Datalog Programs without Language Bias AAAI 2021
STORM: Refinement Types for Secure Web Applications OSDI 2021
Long-Range Modeling of Source Code Files with eWASH: Extended Window Access by Syntax Hierarchy EMNLP 2021
Programming Network Stack for Middleboxes with Rubik NSDI 2021