ProgPapers's profile picture. Programming languages:  object-oriented programming, functional programming, logic programming. (new submissions to http://arxiv.org, not affiliated with arXiv)

Programming Languages Papers

@ProgPapers

Programming languages: object-oriented programming, functional programming, logic programming. (new submissions to http://arxiv.org, not affiliated with arXiv)

Polynomial Universes in Homotopy Type Theory. arxiv.org/abs/2409.19176


Autocomp: A Powerful and Portable Code Optimizer for Tensor Accelerators. arxiv.org/abs/2505.18574


How Natural Language Proficiency Shapes GenAI Code for Software Engineering Tasks. arxiv.org/abs/2511.04115


Modular abstract syntax trees (MAST): substitution tensors with second-class sorts. arxiv.org/abs/2511.03946


FlowLog: Efficient and Extensible Datalog via Incrementality. arxiv.org/abs/2511.00865


Leveraging LLMs to Automate Energy-Aware Refactoring of Parallel Scientific Codes. arxiv.org/abs/2505.02184


Analysis of AdvFusion: Adapter-based Multilingual Learning for Code Large Language Models. arxiv.org/abs/2511.02869


QiMeng-SALV: Signal-Aware Learning for Verilog Code Generation. arxiv.org/abs/2510.19296


AutoPDL: Automatic Prompt Optimization for LLM Agents. arxiv.org/abs/2504.04365


Introducing Linear Implication Types to $\lambda_{GT}$ for Computing With Incomplete Graphs. arxiv.org/abs/2510.17429


Invertible Syntax without the Tuples (Functional Pearl). arxiv.org/abs/2508.09856


Neural Network Interoperability Across Platforms. arxiv.org/abs/2511.02610


Nominal Algebraic-Coalgebraic Data Types, with Applications to Infinitary Lambda-Calculi. arxiv.org/abs/2511.02595


ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems. arxiv.org/abs/2511.02164


Learned Cost Model for Placement on Reconfigurable Dataflow Hardware. arxiv.org/abs/2511.01872


Oriented Metrics for Bottom-Up Enumerative Synthesis. arxiv.org/abs/2511.02491


QCoder Benchmark: Bridging Language Generation and Quantum Hardware through Simulator-Based Feedback. arxiv.org/abs/2510.26101


Execution-Aware Program Reduction for WebAssembly via Record and Replay. arxiv.org/abs/2506.07834


SM-based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic. arxiv.org/abs/2511.01753


Hidden in Plain Sight: Where Developers Confess Self-Admitted Technical Debt. arxiv.org/abs/2511.01529


United States Trends

Loading...

Something went wrong.


Something went wrong.