conftrace_
← Foundations
Computer Science › Foundations ›

Programming Languages

46 papers

Papers per year

1
1
4
5
2
8
4
3
2
9
7

Papers

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
PyTorchGeoNodes: Enabling Differentiable Shape Programs for 3D Shape Reconstruction CVPR 2025
MojoBench: Language Modeling and Benchmarks for Mojo NAACL 2025
Building Bridges: Safe Interactions with Foreign Languages through Omniglot OSDI 2025
PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection OSDI 2025
Verified Code Transpilation with LLMs NIPS 2024
Learning Structure-Aware Representations of Dependent Types NIPS 2024
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
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
Towards Automatic Composition of ASP Programs from Natural Language Specifications IJCAI 2024
Sequence Abstractions for Flexible, Line-Rate Network Monitoring NSDI 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
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
GENSYNTH: Synthesizing Datalog Programs without Language Bias AAAI 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
STORM: Refinement Types for Secure Web Applications OSDI 2021