Research and News on Programming Languages

Updated: 2026-06-02  ·  Sources: arXiv cs.PL  ·  DBLP  ·  IEEE Transactions on Software Engineering  ·  lobste.rs/t/plt  ·  Lambda the Ultimate  ·  Medium  ·  Hacker News

Academic Papers (arXiv cs.PL)

• Toka: A Systems Programming Language with Explicit Resource Semantics · Zhonghua Yi [Rust] — arXiv cs.PL
• Exploiting Multiple Abstract Call Patterns for Optimizing Run-Time Checks · Daniela Ferreiro [Prolog] — arXiv cs.PL
• SEMBridge: Tagless-Final Program Semantics with Weakest-Precondition and Bounded-Checking Interpretations · Eric Liang [Python Scala] — arXiv cs.PL
• Generalized Software Product Line Extraction · Federico Bruzzone [Java JavaScript Prolog] — arXiv cs.PL
• FPMoE: A Sparse Mixture-of-Experts Approach to Functional Code Generation · Loc Pham [Haskell Scala OCaml] — arXiv cs.PL
• ProDebug: An Automated Debugging System for Prolog · Ricardo Brancas [Prolog] — arXiv cs.PL
• A Formal Semantics of C with OpenMP Parallelism (Extended Version) · Ke Du [C] — arXiv cs.PL
• Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization · Anmol Agarwal [Rust] — arXiv cs.PL
• Misleading Microbenchmarks on the Java Virtual Machines · Filippo Schiavio [Java] — arXiv cs.PL
• JEDI: Java Evaluation of Declarative and Imperative Queries · Filippo Schiavio [Java SQL] — arXiv cs.PL
• Complete first-order reasoning for functional programs · Adithya Murali [Haskell Scala] — arXiv cs.PL
• QuCtrl-BELL: A Compiler-Driven Sub-Microsecond Feedback Control Stack for Scalable Trapped-Ion Quantum Experiments · Junpeng She [Python] — arXiv cs.PL
• From Time to Space: The Impact of Linearity in Higher-Order Datalog · Angelos Charalambidis — arXiv cs.PL
• Teaching Synchronous Dataflow Modelling with Learn-Heptagon · Pierre-Loïc Garoche — arXiv cs.PL
• Tridirectional Discriminating-Power Formal Verification of Smart Contract Reentrancy Defense Against Production-Deployed Solidity Source · Ray Iskander — arXiv cs.PL
• Type-Error Ablation and AI Coding Agents · Shriram Krishnamurthi — arXiv cs.PL
• Grid Programs: A Two-Dimensional, Variable-Free Model of Computation · Ezequiel López-Rubio — arXiv cs.PL
• ScanWeaver: Compiler-Driven Parallelization of Affine Recurrences via Associative Scan Lowering · Qiying Wu — arXiv cs.PL
• A Datalog Framework for Conflict-Free Replicated Data Types · Elena Yanakieva — arXiv cs.PL
• Practical Algebraic Stepping with Scoped Filters · Haoxiang Fei — arXiv cs.PL
• Neuroforger: certified violation witnesses for smart contracts verification via LLMs · Massimo Bartoletti — arXiv cs.PL
• AI-PROPELLER: Warehouse-Scale Interprocedural Code Layout Optimization with AlphaEvolve · Chaitanya Mamatha Ananda — arXiv cs.PL
• A Virtual Processor brings back the Free Lunch · Haymo Kutschbach — arXiv cs.PL
• A Bayesian Approach to Membership Inference for Statistical Release · Lisa Oakley — arXiv cs.PL
• PassNet: Scaling Large Language Models for Graph Compiler Pass Generation · Yiqun Liu — arXiv cs.PL
• An Empirical Study on Logging Evolution On Stack Overflow: Trends, Topics, and Challenges · Patrick Loic Foalem — arXiv cs.PL
• E-Path: Equality Saturation for Control-Flow Graphs · Guillermo Garcia — arXiv cs.PL
• LACUNA: Safe Agents as Recursive Program Holes · Yaoyu Zhao — arXiv cs.PL
• Skill-as-Pseudocode: Refactoring Skill Libraries to Pseudocode for LLM Agents · Xinze Li — arXiv cs.PL
• Agentic Separation Logic Specification Synthesis · Tarun Suresh — arXiv cs.PL
• Pacing Types for Asynchronous Stream Equations · Florian Kohn — arXiv cs.PL
• Geo: A Query Rewrite Framework for Graph Pattern Mining · Nazanin Yousefian — arXiv cs.PL
• DateSAT: A Framework for Solving Date and Period Constraints · Leyi Cui — arXiv cs.PL
• Program Synthesis for Non-Linear Real Arithmetic: Going Beyond Realizability · S. Akshay — arXiv cs.PL
• Agentic Proving for Program Verification · Alessandro Sosso — arXiv cs.PL
• MileStone: A Multi-Objective Compiler Phase Ordering Framework for Graph-based IR-Level Optimization · Amirhosein Sadr — arXiv cs.PL
• A Compilation Framework for Quantum Simulation of Non-unitary Dynamics · Qifan Huang — arXiv cs.PL
• Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems · Shubham Agarwal — arXiv cs.PL
• YASPS: A Symbolic Framework for Extensible, High-Performance IPC Simulation · Xuan Tang — arXiv cs.PL
• Step in Tine: Forking Processes in Functional Choreographies · Ashley Samuelson — arXiv cs.PL

DBLP Computer Science Bibliography

• Transactions on Pattern Languages of Programming V · Eugene Wallingford, Uwe Zdun, Christian Kohls — DBLP
• Dual-Language General-Purpose Self-Hosted Visual Language and new Textual Programming Language for Applications. · Mahmoud Samir Fayed — DBLP
• Beyond Language Boundaries: Uncovering Programming Language Families for Code Language Models. · Shangbo Yun, Xiaodong Gu 0002, Jianghong Huang, Beijun Shen — DBLP

IEEE Transactions on Software Engineering

• DyCITO+: Scalable Deep Reinforcement Learning for Generating Class Integration Test Orders of Java Programs [Java] — IEEE
• An Empirical Study of Overlooked Code Review Comments in OSS Projects [Java] — IEEE
• A Cross-Language Approach to Recommending Method Names According to Functional Descriptions [Java] — IEEE
• Iter-T: ITERative Test Suite Generation for Automated Program Repair [Java] — IEEE
• UI-Land: Automated Adaptation of Android Portrait UIs to Landscape Mode — IEEE
• Mutation-Guided Unit Test Generation With a Large Language Model — IEEE
• Agents4PLC: Automating Closed-Loop PLC Code Generation and Verification in Industrial Control Systems Using LLM-Based Agents — IEEE
• DeepFWI: Identifying Bug-Sensitive Warnings With Multi-Modal Code-Warning Semantics — IEEE
• Can LLMs Generate User Stories and Assess Their Quality? — IEEE

lobste.rs

• Profunctors in Haskell (2011) · github.com via janus [Haskell] — lobste.rs
• Mean Time to Repair by Someone Other than the Author · web.archive.org via veqq — lobste.rs
• Blorp Language · blorp-lang.org via jado — lobste.rs
• Data types à la carte (2008) · cambridge.org via aziis98 — lobste.rs
• Using ASTs and CUE to describe multi-language linters and fixers · github.com via StevenAndrewCoffman — lobste.rs
• EYG: Host of CLI improvements, new guides and new effects · eyg.run via veqq — lobste.rs
• Introducing ArkTS, Huawei’s Next-Generation Development Language · dev.to via janus — lobste.rs
• Erasing Existentials · wolfgirl.dev by polywolf — lobste.rs
• Bibliography on Gradual Typing · github.com via veqq — lobste.rs
• The Super Tiny Compiler, but in Ada · github.com by tomekw — lobste.rs
• Bytecode Interpretation From Scratch in C · williamalexakis.com via andrewchou — lobste.rs
• The Fil-C Optimized Calling Convention · fil-c.org via typesanitizer — lobste.rs
• Bournegol (2014) · oldhome.schmorp.de via icefox — lobste.rs
• Manual Memory Management · dayvster.com via rcalixte — lobste.rs
• Bidirectional Typechecking That Does Not Stop · semantic-domain.blogspot.com via brendan — lobste.rs
• 5 Years and $5M Later: Inventing a New Programming Language for Web Development Was a Mistake · wasp.sh via drmorr — lobste.rs
• Categorical Programming Language Tutorial · msakai.github.io via juuso — lobste.rs
• Designing a Custom Query Language for Non-Technical Analysts · nchammas.com by nchammas — lobste.rs
• Partial static single information form · bernsteinbear.com via carlana — lobste.rs
• Extraordinary Ordinals · text.marvinborner.de by marvin — lobste.rs

Lambda the Ultimate

• Graydon Hoare: 21 compilers and 3 orders of magnitude in 60 minutes [Lisp] — Lambda the Ultimate
• Latent Effects for Reusable Language Components [Haskell] — Lambda the Ultimate
• Google announces Logica: organizing your data queries, making them universally reusable and fun [SQL] — Lambda the Ultimate
• LAMBDA: The ultimate Excel worksheet function [Python Java] — Lambda the Ultimate
• Google Brain's Jax and Flax [Python] — Lambda the Ultimate
• Built to Last [Cobol] — Lambda the Ultimate
• Tackling the Awkward Squad for Reactive Programming [JavaScript Scala] — Lambda the Ultimate
• The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy [Scala] — Lambda the Ultimate
• Platonic C# - Managing Referential Transparency through Unique Types — Lambda the Ultimate
• Computer History Museum releases PostScript source — Lambda the Ultimate
• The Verse Calculus: a Core Calculus for Functional Logic Programming — Lambda the Ultimate
• LtU is now running in a new, more stable environment — Lambda the Ultimate
• Introducing PathQuery, Google's Graph Query Language — Lambda the Ultimate
• Coq will be renamed — Lambda the Ultimate
• Applications of Blockchain to Programming Language Theory — Lambda the Ultimate

Medium

• JavaScript Day 1: Variables — The Foundation You Cannot Skip · Dhanush K [JavaScript] — Medium
• Modern HTML & CSS Tricks Every Web Designer Should Know · zozothemes — Medium
• The Answer Was Always There · Pratik Deshmukh — Medium
• Exploring Programming Languages — MoonScript · Blag aka Alvaro Tejada Galindo — Medium
• Pydantic’de model_validate_json kullanım rehberi (2026) · Şevki Dumankaya — Medium
• Programming Languages · Tharmaradnamsansayan — Medium
• Langchain’da Bir Agent Kullanarak Yapılandırılmış Çıktı Üretme · Şevki Dumankaya — Medium
• The Evolution of Code: A Mental Model for the 5 Generations of Programming · Nikunj Gattani — Medium

Hacker News

• Python as a Declarative Programming Language (2017) · downbad_ [Python] — Hacker News
• Social Programming Language Constructs · theanonymousone — Hacker News
• Zig president bans AI code contributions: 'invariably garbage' · ttctciyf — Hacker News
• Show HN: Prela – Purely Algebraic Relation Combinators · remywang — Hacker News
• Show HN: Rux – A Programming Language Built Without LLVM · musicvano — Hacker News
• I built a programming language in C (Arc) with a custom interpreter · VoidDev — Hacker News
• Rux: A new systems programming language · feliceme — Hacker News
• Let's Take Esoteric Programming Languages Seriously (2025) · sargstuff — Hacker News
• A Brief, Incomplete, and Mostly Wrong History of Programming Languages (2009) · azhenley — Hacker News
• An Usable Minimal Programming Language? · las_r — Hacker News
• Github's Top Programming Languages Over Time · amichae2 — Hacker News
• Energy Efficiency across Programming Languages [pdf] · doener — Hacker News
• Why I Wrote Safescript · uriva — Hacker News
• M4 Programming Language · EdwardXie — Hacker News
• Show HN: Programming language demand index ranked by real job listings · datamatastudios — Hacker News
• Show HN: The X Programming Language · xqb64 — Hacker News
• Show HN: My biggest solo-project: Game engine with its own programming language · am-gm — Hacker News
• Rapira (Рапира) – Soviet programming language interpreter · begoon — Hacker News
• Show HN: My first app, artisanally vibe-coded in 4 months · jeroen_stulen — Hacker News
• Programming Language Pilang · rolandbrake — Hacker News