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-
Tweets2K
-
Followers83
-
Following3
-
Likes1
AutoPDL: Automatic Prompt Optimization for LLM Agents. arxiv.org/abs/2504.04365
CRANE: Reasoning with constrained LLM generation. arxiv.org/abs/2502.09061
Special Delivery: Programming with Mailbox Types (Extended Version). arxiv.org/abs/2306.12935
Forall-Exists Relational Verification by Filtering to Forall-Forall. arxiv.org/abs/2509.04777
Non-Termination Proving: 100 Million LoC and Beyond. arxiv.org/abs/2509.05293
AI-Assisted Modeling: DSL-Driven AI Interactions. arxiv.org/abs/2509.05160
A Large-Scale Study of Floating-Point Usage in Statically Typed Languages. arxiv.org/abs/2509.04936
Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs. arxiv.org/abs/2507.03659
Positive Sharing and Abstract Machines. arxiv.org/abs/2506.14131
Extensional and Non-extensional Functions as Processes. arxiv.org/abs/2405.03536
Compositional Quantum Control Flow with Efficient Compilation in Qunity. arxiv.org/abs/2508.02857
Synthesizing Optimal Object Selection Predicates for Image Editing using Lattices. arxiv.org/abs/2504.03155
Garbage Collection for Rust: The Finalizer Frontier. arxiv.org/abs/2504.01841
MTP: A Meaning-Typed Language Abstraction for AI-Integrated Programming. arxiv.org/abs/2405.08965
Modal Abstractions for Virtualizing Memory Addresses. arxiv.org/abs/2307.14471
When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking. arxiv.org/abs/2509.04253
A Hoare Logic for Symmetry Properties. arxiv.org/abs/2509.00587
Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types. arxiv.org/abs/2404.08217
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning. arxiv.org/abs/2509.02958
Semantically Reflected Programs. arxiv.org/abs/2509.03318
Issa Kemou @Issa_kemou
19 Followers 545 Following
HarryKen @harry_ken3960
10 Followers 448 Following
yiymzhang @exa_mining
4 Followers 217 Following
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
かちゃん @kach8n
34 Followers 82 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
changlehung @hchng28935
6 Followers 227 Following Software engineer @Tencent. Enthusiast of programming languages and compilers, CPython contributor.
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
AntiSatori a.k.a DJ�... @AntiSatori
327 Followers 486 Following 石本 幸士 Ishimoto Koji 連絡先 : [email protected] 090-9055-1352 ！！！！？！！！！！！！？！！！？！！！！？！⁉️！！！！？？？！？！！！！！！！！！！！！！！！❗❗？？？❓！‼️❕❕❕❕！！！！？！！ @yowaizine のWEBサイト作ってます
Thinkstr @DeepakK16966592
52 Followers 1K Following Jack of all, expertise is a mirage | Plant Parent | Artist | Data & ML | Nation First | Jai Jagannath.
Andrew Kvapil @real_viluon
16 Followers 119 Following
ashish mishra @aegisAshish
144 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
Niketan Rane @niketansr
52 Followers 457 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
588 Followers 1K Following CS PhD @UTCompSci | Advised by @IsilDillig and @gregd_nlp | Previously @ProseMsft @MSFTResearch | AI4Code | Guitarist | VJTI ‘21
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
27 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.
Shangri @_shang_ri
197 Followers 5K Following
zksri @zkbytes
4 Followers 264 Following
fabiohhto 🎲 @0xfabiosje
1K Followers 6K Following
Huihui Huang @HuihuiHuan5166
66 Followers 237 Following Software Engineering | PhD student @sgSMU | B.Eng 24’ @SUSTechSZ | Visiting 23 Fall @NUSComputing
Chengpeng Wang @Chasen86341870
275 Followers 362 Following SE researcher. Current Postdoc at Purdue University. Former PhD at HKUST
Yuka Ikarashi @c20
3K Followers 648 Following PhD candidate @MIT CSAIL / Trying to make things work / 🇯🇵→@00_
Ernest Ng @ngernest2
510 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
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)
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.
New Military Books @military_book
3K Followers 2 Following All the new military book releases - defense, army, navy.Trends for United States
You might like
