Programming Languages Papers @ProgPapers

Programming languages: object-oriented programming, functional programming, logic programming. (new submissions to https://t.co/Fb8gxovwu3, not affiliated with arXiv) arxiv.org/list/cs.PL/new Joined March 2010

Tweets

2K
Followers

83
Following

3
Likes

1

Programming Languages Papers @ProgPapers

a hour ago

Non-Termination Proving: 100 Million LoC and Beyond. arxiv.org/abs/2509.05293

0 0 0 9 1

Programming Languages Papers @ProgPapers

2 hours ago

AI-Assisted Modeling: DSL-Driven AI Interactions. arxiv.org/abs/2509.05160

0 0 0 7 0

Programming Languages Papers @ProgPapers

2 hours ago

A Large-Scale Study of Floating-Point Usage in Statically Typed Languages. arxiv.org/abs/2509.04936

0 0 0 9 0

Programming Languages Papers @ProgPapers

3 days ago

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs. arxiv.org/abs/2507.03659

0 0 0 30 0

Programming Languages Papers @ProgPapers

3 days ago

Positive Sharing and Abstract Machines. arxiv.org/abs/2506.14131

0 0 1 21 0

Programming Languages Papers @ProgPapers

3 days ago

Extensional and Non-extensional Functions as Processes. arxiv.org/abs/2405.03536

0 0 0 24 1

Programming Languages Papers @ProgPapers

3 days ago

Compositional Quantum Control Flow with Efficient Compilation in Qunity. arxiv.org/abs/2508.02857

0 0 0 17 0

Programming Languages Papers @ProgPapers

3 days ago

Synthesizing Optimal Object Selection Predicates for Image Editing using Lattices. arxiv.org/abs/2504.03155

0 0 0 20 0

Programming Languages Papers @ProgPapers

3 days ago

Garbage Collection for Rust: The Finalizer Frontier. arxiv.org/abs/2504.01841

0 0 0 17 1

Programming Languages Papers @ProgPapers

3 days ago

MTP: A Meaning-Typed Language Abstraction for AI-Integrated Programming. arxiv.org/abs/2405.08965

0 1 1 18 0

Programming Languages Papers @ProgPapers

3 days ago

Modal Abstractions for Virtualizing Memory Addresses. arxiv.org/abs/2307.14471

0 0 1 13 0

Programming Languages Papers @ProgPapers

3 days ago

When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking. arxiv.org/abs/2509.04253

0 0 1 17 1

Programming Languages Papers @ProgPapers

4 days ago

A Hoare Logic for Symmetry Properties. arxiv.org/abs/2509.00587

0 0 0 23 0

Programming Languages Papers @ProgPapers

4 days ago

Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types. arxiv.org/abs/2404.08217

0 0 0 30 0

Programming Languages Papers @ProgPapers

4 days ago

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning. arxiv.org/abs/2509.02958

0 0 0 27 0

Programming Languages Papers @ProgPapers

4 days ago

Semantically Reflected Programs. arxiv.org/abs/2509.03318

0 0 0 17 0

Programming Languages Papers @ProgPapers

4 days ago

Tilus: A Tile-Level GPGPU Programming Language for Low-Precision Computation. arxiv.org/abs/2504.12984

0 0 0 28 0

Programming Languages Papers @ProgPapers

4 days ago

Let's Take Esoteric Programming Languages Seriously. arxiv.org/abs/2505.15327

0 0 0 24 0

Programming Languages Papers @ProgPapers

4 days ago

Laws of Quantum Programming. arxiv.org/abs/2412.19463

0 0 0 21 0

Programming Languages Papers @ProgPapers

5 days ago

A Practical Quantum Hoare Logic with Classical Variables, I. arxiv.org/abs/2412.09869

0 0 0 20 0

Issa Kemou @Issa_kemou

19 Followers 545 Following

HarryKen @harry_ken3960

10 Followers 448 Following

K.Hirata @Venriched

208 Followers 219 Following ・3・まぁ、過ぎたことはいいっぴよ

quietindifferentdesol... @ATshfjryrs

0 Followers 764 Following On a dead site for unknown reasons

Jay Lee @ZetaJayLee

26 Followers 106 Following https://t.co/3l7ZlFxQX7 🪄 λᠻ.(λ᥊.ᠻ(᥊ ᥊))(λ᥊.ᠻ(᥊ ᥊))

yiymzhang @exa_mining

4 Followers 217 Following

Ph.D. student @HKUniversity, interested in programming languages, type systems, theorem proving, program verification, and logics.

Jinhao Tan @tamkamhou

70 Followers 427 Following Ph.D. student @HKUniversity, interested in programming languages, type systems, theorem proving, program verification, and logics.

Mariano Bertoni @mariano_bertoni

188 Followers 4K Following

Akarsh Ashok @akarsh_ashok

60 Followers 46 Following

ゲームとメタバース業界実務経験12年間。ゲーム会社に勤務⇒社内ベンチャー起業⇒フリーランス5年目。現在はリアルタイム通信エンジンを開発、生涯学習。乗り鉄、模型鉄、見る鉄、時刻表鉄、マルス券鉄、JREポイ活、銭湯めぐり、元モンスター社員、ゲーム廃人、社会不適合者。Xは会社と関係なく個人の発言になります。

かちゃん @kach8n

34 Followers 79 Following ゲームとメタバース業界実務経験12年間。ゲーム会社に勤務⇒社内ベンチャー起業⇒フリーランス5年目。現在はリアルタイム通信エンジンを開発、生涯学習。乗り鉄、模型鉄、見る鉄、時刻表鉄、マルス券鉄、JREポイ活、銭湯めぐり、元モンスター社員、ゲーム廃人、社会不適合者。Xは会社と関係なく個人の発言になります。

Jian Sun @Jam0_666

0 Followers 34 Following

Hongxu Xu @Xuhongxu_it

2 Followers 26 Following

Negar @Nyorga_

9 Followers 95 Following

Chinmay Dali @Chinmay_395

18 Followers 458 Following Software engineer

changlehung @hchng28935

7 Followers 227 Following Software engineer @Tencent. Enthusiast of programming languages and compilers, CPython contributor.

PhD student @ MPI-SWS Interested in Formal Verification / Distributed Systems / Concurrency Theory / @khoshechin@types.pl

Mohammad Hossein Khos... @Mh_khoshechin

264 Followers 911 Following PhD student @ MPI-SWS Interested in Formal Verification / Distributed Systems / Concurrency Theory / @[email protected]

zenhumany @zenhumany

1K Followers 1K Following browser security researcher;virtualization security researcher

breandan @breandan

2K Followers 574 Following student

石本幸士 Ishimoto Koji 連絡先 : koji.ishimoto@gmail.com 090-9055-1352　
！！！！？！！！！！！！？！！！？！！！！？！⁉️！！！！？？？！？！！！！！！！！！！！！！！！❗❗？？？❓！‼️❕❕❕❕！！！！？！！ @yowaizine　のWEBサイト作ってます

AntiSatori a.k.a DJ�... @AntiSatori

327 Followers 486 Following 石本幸士 Ishimoto Koji 連絡先 : [email protected] 090-9055-1352　！！！！？！！！！！！！？！！！？！！！！？！⁉️！！！！？？？！？！！！！！！！！！！！！！！！❗❗？？？❓！‼️❕❕❕❕！！！！？！！ @yowaizine　のWEBサイト作ってます

Matthew Diegmann @Ma38714Matthew

2 Followers 118 Following OsINT

Jacob X. Li @jacobli99

292 Followers 232 Following PhD Student @MIT EECS & CSAIL

LionTree @LionTree8

10 Followers 296 Following https://t.co/qhbqknrp4J

Thinkstr @DeepakK16966592

Molham Aref @molhamaref

969 Followers 3K Following CEO at @RelationalAI

Andrew Kvapil @real_viluon

16 Followers 119 Following

Assistant Professor @CSE_IITH | Earlier Postdocing @Purdue |
Interested in Programming Languages, Politics, and Philosophy.

ashish mishra @aegisAshish

143 Followers 387 Following Assistant Professor @CSE_IITH | Earlier Postdocing @Purdue | Interested in Programming Languages, Politics, and Philosophy.

Naveen Kannan @naveenkannan222

6 Followers 93 Following

steve tang @TsgscdSteve

55 Followers 2K Following

Living life between semicolons and cover drives!
Engg @Microsoft 👾AI for dev productivity!
Prev at @qualcomm.
Bachelor's from @IIITA_Official.

Niketan Rane @niketansr

51 Followers 454 Following Living life between semicolons and cover drives! Engg @Microsoft 👾AI for dev productivity! Prev at @qualcomm. Bachelor's from @IIITA_Official.

Anirudh Khatry @AnirudhKhatry

PhD Candidate @UCIrvine | Student Researcher @GoogleDeepMind |ex-Research Intern @MSFTResearch | Commonwealth Scholar @commschols

MRHMisu @MRHMisu

184 Followers 2K Following PhD Candidate @UCIrvine | Student Researcher @GoogleDeepMind |ex-Research Intern @MSFTResearch | Commonwealth Scholar @commschols

Jingbo Wang @bobowang2014

575 Followers 1K Following Incoming Assistant Professor @PurdueECE, Ph.D. in formal verification, PL/SE @CSatUSC, fan of @vardi. Opinions my own

Pablo Ordorica @pablo_ordoricaw

26 Followers 739 Following

Vipul Vaibhaw @vaibhaw_vipul

14K Followers 2K Following Founding Engineer @pre6ai Open source ❤️. Math and Systems. Most posts are notes to myself.

Dylan @dylan_works_

578 Followers 3K Following Modeling Language

Shangri @_shang_ri

198 Followers 5K Following

zksri @zkbytes

4 Followers 264 Following

Waterlens @water_lens

39 Followers 152 Following MPhil student in PL @HKUST

fabiohhto 🎲 @0xfabiosje

1K Followers 6K Following

Leon Grapenthin @LGrapenthin

207 Followers 623 Following Clojure composer

Huihui Huang @HuihuiHuan5166

66 Followers 236 Following Software Engineering | PhD student @sgSMU | B.Eng 24’ @SUSTechSZ | Visiting 23 Fall @NUSComputing

Rolph Recto @rolphrecto

166 Followers 299 Following computer

Chengpeng Wang @Chasen86341870

273 Followers 362 Following SE researcher. Current Postdoc at Purdue University. Former PhD at HKUST

Pedro Carrott @pedrocarrott

10 Followers 48 Following CS PhD Student @imperialcollege

Yuka Ikarashi @c20

3K Followers 648 Following PhD candidate @MIT CSAIL / Trying to make things work / 🇯🇵→@00_

Yihao Sun @StarGazerMiao

218 Followers 534 Following Next 700 PhD Candidate

Ernest Ng @ngernest2

509 Followers 3K Following Programming Languages PhD student @Cornell_CS | he/him

Huy Lý @HuyLy_

2 Followers 145 Following

Uhuru @Uhuru57

2 Followers 323 Following

Michał Paszkowski @mapaszkowski

2 Followers 158 Following

New Artificial Intelligence (AI) submissions to https://t.co/gDZs9w6Znw (not affiliated with https://t.co/gDZs9w6Znw). For specific AI areas follow: @HEI (LLMs) @PIN (Agents)

AI Papers @SciFi

20K Followers 22 Following New Artificial Intelligence (AI) submissions to https://t.co/gDZs9w6Znw (not affiliated with https://t.co/gDZs9w6Znw). For specific AI areas follow: @HEI (LLMs) @PIN (Agents)

World earthquakes magnitude 5.0+. Sources: USGS, GEOFON.

Be prepared: https://t.co/fptknEQEZc #ad
As an Amazon Associate I earn from qualifying purchases.

Earthquakes @NewEarthquake

937K Followers 11 Following World earthquakes magnitude 5.0+. Sources: USGS, GEOFON. Be prepared: https://t.co/fptknEQEZc #ad As an Amazon Associate I earn from qualifying purchases.