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
-
Followers89
-
Following3
-
Likes1
ACCeLLiuM: Supervised Fine-Tuning for Automated OpenACC Pragma Generation. arxiv.org/abs/2509.20380
SuperCoder: Assembly Program Superoptimization with Large Language Models. arxiv.org/abs/2505.11480
A Verified Compiler for Quantum Simulation. arxiv.org/abs/2509.18583
Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir. arxiv.org/abs/2408.14345
On Code-Induced Reasoning in LLMs. arxiv.org/abs/2509.21499
Committing to the bit: Relational programming with semiring arrays and SAT solving. arxiv.org/abs/2509.22614
Compiling by Proving: Language-Agnostic Automatic Optimization from Formal Semantics. arxiv.org/abs/2509.21793
InvBench: Can LLMs Accelerate Program Verification with Invariant Synthesis?. arxiv.org/abs/2509.21629
Quantum Simulation Programming via Typing. arxiv.org/abs/2509.17343
A Verified Compiler for Quantum Simulation. arxiv.org/abs/2509.18583
ViCAR: Visualizing Categories with Automated Rewriting in Coq. arxiv.org/abs/2404.08163
Enhancing Python Programming Education with an AI-Powered Code Helper: Design, Implementation, and Impact. arxiv.org/abs/2509.20518
ACCeLLiuM: Supervised Fine-Tuning for Automated OpenACC Pragma Generation. arxiv.org/abs/2509.20380
Efficient Symbolic Computation vis Hash Consing. arxiv.org/abs/2509.20534
Dual-Language General-Purpose Self-Hosted Visual Language and new Textual Programming Language for Applications. arxiv.org/abs/2509.20426
Hornet Node and the Hornet DSL: A Minimal, Executable Specification for Bitcoin Consensus. arxiv.org/abs/2509.15754
Functional vs. Object-Oriented: Comparing How Programming Paradigms Affect the Architectural Characteristics of Systems. arxiv.org/abs/2508.00244
Automated Insertion of Flushes and Fences for Persistency. arxiv.org/abs/2509.19459
Compilation as Multi-Language Semantics. arxiv.org/abs/2509.19613
Macro-embedding Compiler Intermediate Languages in Racket. arxiv.org/abs/2509.19607
eidoloom @eidoloom
0 Followers 53 Following Growing computer scientist; Learning pre-algebra mathematics (vocabulary), algorithms and data structures and functional programming (Haskell)
mxi（お嬢様ずん... @mxi_box
174 Followers 1K Following ONE MORE CHANCE！ 当前作息时区GMT+?！ 「ActivityPub: @[email protected]」 ↓这里是垃圾桶回td退订
Nico Müller 🇩🇪... @ENM1989
305 Followers 1K Following #PHP #Python #TypeScript #FullStack #MachineLearning #SeniorDeveloper #SeniorConsultant
Issa Kemou @Issa_kemou
28 Followers 557 Following
HarryKen @harry_ken3960
18 Followers 456 Following
yiymzhang @exa_mining
4 Followers 217 Following
Jinhao Tan @tamkamhou
70 Followers 429 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
40 Followers 86 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
3 Followers 232 Following Software engineer @Tencent. Enthusiast of programming languages and compilers, CPython contributor.
Mohammad Hossein Khos... @Mh_khoshechin
286 Followers 914 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
326 Followers 486 Following 石本 幸士 Ishimoto Koji 連絡先 : [email protected] 090-9055-1352 ！！！！？！！！！！！！？！！！？！！！！？！⁉️！！！！？？？！？！！！！！！！！！！！！！！！❗❗？？？❓！‼️❕❕❕❕！！！！？！！ @yowaizine のWEBサイト作ってます
Thinkstr @DeepakK16966592
54 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
147 Followers 388 Following Assistant Professor @CSE_IITH | Earlier Postdocing @Purdue | Interested in Programming Languages, Politics, and Philosophy.
Naveen Kannan @naveenkannan222
6 Followers 95 Following
steve tang @TsgscdSteve
52 Followers 2K Following
Niketan Rane @niketansr
55 Followers 480 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
592 Followers 1K Following CS PhD @UTCompSci | Advised by @IsilDillig and @gregd_nlp | Previously @ProseMsft @MSFTResearch | AI4Code | Guitarist | VJTI ‘21
MRHMisu @MRHMisu
186 Followers 2K Following PhD Candidate @UCIrvine | ex-SR @GoogleDeepMind |ex-Research Intern @MSFTResearch | Commonwealth Scholar @commschols
Jingbo Wang @bobowang2014
576 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
31 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
194 Followers 5K Following
zksri @zkbytes
4 Followers 273 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
280 Followers 362 Following SE researcher. Current Postdoc at Purdue University. Former PhD at HKUST
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
936K 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
