Picture

arXiv cs.PL @plarxiv

Announcing arXiv papers on Programming Languages arxiv.org/list/cs.PL/rec… Joined July 2015
  • Tweets
    53
  • Followers
    401
  • Following
    0
  • Likes
    0
plarxiv Profile Picture

arXiv cs.PL @plarxiv

8 years ago

Improved Ahead-of-Time Compilation of Stack-Based JVM Bytecode on Resource-Constrained Devices. (arXiv:1712.05590v2 [cs.PL] UPDATED) By Niels Reijers and Chi-Sheng Shih. arxiv.org/abs/1712.05590

plarxiv Profile Picture

arXiv cs.PL @plarxiv

8 years ago

Improved Ahead-of-Time Compilation of Stack-Based JVM~Bytecode on Resource-Constrained Devices. (arXiv:1712.05590v1 [cs.PL]) By Niels Reijers and Chi-Sheng Shih. arxiv.org/abs/1712.05590

plarxiv Profile Picture

arXiv cs.PL @plarxiv

8 years ago

Invariant Synthesis for Incomplete Verification Engines. (arXiv:1712.05581v1 [cs.PL]) By Daniel Neider, Pranav Garg, P. Madhusudan, Shambwaditya Saha, and Daejun Park. arxiv.org/abs/1712.05581

plarxiv Profile Picture

arXiv cs.PL @plarxiv

8 years ago

A Decidable Fragment of Second Order Logic With Applications to Synthesis. (arXiv:1712.05513v1 [cs.LO]) By P. Madhusudan, Umang Mathur, Shambwaditya Saha, and Mahesh Viswanathan. arxiv.org/abs/1712.05513

plarxiv Profile Picture

arXiv cs.PL @plarxiv

8 years ago

Choreographies meet Communication Failures. (arXiv:1712.05465v1 [cs.PL]) By Fabrizio Montesi and Marco Peressotti. arxiv.org/abs/1712.05465

plarxiv Profile Picture

arXiv cs.PL @plarxiv

8 years ago

A High-Level Rule-based Language for Software Defined Network Programming based on OpenFlow. (arXiv:1712.04706v2 [cs.NI] UPDATED) By Mehdi Mohammadi, Ala Al-Fuqaha, and Zijiang James Yang. arxiv.org/abs/1712.04706

plarxiv Profile Picture

arXiv cs.PL @plarxiv

8 years ago

Programmatic Control of a Compiler for Generating High-performance Spatial Hardware. (arXiv:1711.07606v2 [cs.PL] UPDATED) By Hongbo Rong. arxiv.org/abs/1711.07606

plarxiv Profile Picture

arXiv cs.PL @plarxiv

8 years ago

Simplicity: A New Language for Blockchains. (arXiv:1711.03028v2 [cs.PL] UPDATED) By Russell O'Connor. arxiv.org/abs/1711.03028

plarxiv Profile Picture

arXiv cs.PL @plarxiv

8 years ago

Accelerator Codesign as Non-Linear Optimization. (arXiv:1712.04892v1 [cs.AR]) By Nirmal Prajapati, Sanjay Rajopadhye, Hristo Djidjev, Nandkishore Santhi, Tobias Grosser, and Rumen Andonov. arxiv.org/abs/1712.04892

plarxiv Profile Picture

arXiv cs.PL @plarxiv

8 years ago

A High-Level Rule-based Language for Software Defined Network Programming based on OpenFlow. (arXiv:1712.04706v2 [cs.NI]) By Mehdi Mohammadi, Ala Al-Fuqaha, and Zijiang James Yang. arxiv.org/abs/1712.04706

plarxiv Profile Picture

arXiv cs.PL @plarxiv

8 years ago

DLVM: A modern compiler infrastructure for deep learning systems. (arXiv:1711.03016v4 [cs.PL] UPDATED) By Richard Wei, Lane Schwartz, and Vikram Adve. arxiv.org/abs/1711.03016

plarxiv Profile Picture

arXiv cs.PL @plarxiv

8 years ago

Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract). (arXiv:1710.07309v3 [cs.CR] UPDATED) By Deepak Garg, Catalin Hritcu, Marco Patrignani, Marco Stronati, and David Swasey. arxiv.org/abs/1710.07309

plarxiv Profile Picture

arXiv cs.PL @plarxiv

8 years ago

An introduction to approximate computing. (arXiv:1711.06115v2 [cs.PL] UPDATED) By M. Ammar Ben Khadra. arxiv.org/abs/1711.06115

plarxiv Profile Picture

arXiv cs.PL @plarxiv

8 years ago

Coqatoo: Generating Natural Language Versions of Coq Proofs. (arXiv:1712.03894v1 [cs.PL]) By Andrew Bedford. arxiv.org/abs/1712.03894

plarxiv Profile Picture

arXiv cs.PL @plarxiv

8 years ago

Effective Extensible Programming: Unleashing Julia on GPUs. (arXiv:1712.03112v1 [cs.PL]) By Tim Besard, Christophe Foket, and Bjorn De Sutter. arxiv.org/abs/1712.03112

plarxiv Profile Picture

arXiv cs.PL @plarxiv

8 years ago

Perspectival Knowledge in PSOA RuleML: Representation, Model Theory, and Translation. (arXiv:1712.02869v1 [cs.AI]) By Harold Boley and Gen Zou. arxiv.org/abs/1712.02869

plarxiv Profile Picture

arXiv cs.PL @plarxiv

8 years ago

DLVM: A modern compiler infrastructure for deep learning systems. (arXiv:1711.03016v3 [cs.PL] UPDATED) By Richard Wei, Vikram Adve, and Lane Schwartz. arxiv.org/abs/1711.03016

plarxiv Profile Picture

arXiv cs.PL @plarxiv

8 years ago

An LLVM Instrumentation Plug-in for Score-P. (arXiv:1712.01718v1 [cs.SE]) By Ronny Tschüter, Johannes Ziegenbalg, Bert Wesarg, Matthias Weber, Christian Herold, Sebastian Döbel, and Ronny Brendel. arxiv.org/abs/1712.01718

plarxiv Profile Picture

arXiv cs.PL @plarxiv

8 years ago

Studying tidal effects in planetary systems with Posidonius. A N-body simulator written in Rust. (arXiv:1712.01281v1 [astro-ph.EP]) By Sergi Blanco-Cuaresma and Emeline Bolmont. arxiv.org/abs/1712.01281

plarxiv Profile Picture

arXiv cs.PL @plarxiv

8 years ago

Visual and Textual Programming Languages: A Systematic Review of the Literature. (arXiv:1710.01547v2 [cs.CY] UPDATED) By Mark Noone and Aidan Mooney. arxiv.org/abs/1710.01547

Trends for United States

#RHOP
8.403 posts
Nobel
1,2 Mn posts
Wendy
34,9 B posts
Idaho
21,3 B posts
Venezuela
599 B posts
Qatar
75 B posts
#WorldMentalHealthDay
58,8 B posts
GeForce Day
15,8 B posts
#Battlefield6
38,6 B posts
María Corina Machado
562 B posts
#FanCashDropPromotion
1.692 posts
#FursuitFriday
11,6 B posts
Wonder Man
15,2 B posts
Gizelle
1.960 posts
GAME DAY
31,8 B posts
Mountain Home
7.615 posts
John Lodge
2.050 posts
Potomac
1.984 posts
Melania Trump
25,1 B posts
Accurate Energetic Systems
1.429 posts

You might like

The ACM SIGPLAN Conference on Programming Language Design and Implementation. Official hashtag this year: #PLDI2026. Tweets by Jenna DiVincenzo and @konskallas.
PLDI
@PLDI
5K Followers
ACM SIGPLAN International Conference on Functional Programming. Tweets by @shwestrick.
ICFP Conference
@icfp_conference
4K Followers
ACM SIGPLAN Symposium on Principles of Programming Languages. Rennes, France, 11-17 January 2026 (#POPL2026). Tweets by @xnningxie
POPL 2026
@poplconf
3K Followers
Researcher at Meta AI (FAIR). Prof at University College London. Working on Reasoning.
Peter O'Hearn
@PeterOHearn12
2K Followers
Prof at @umdcs and @umiacs. Co-director of @plumlab. BlueSky: https://t.co/Bwck1H9fXK Mastodon: @dvanhorn@types.pl
David Van Horn
@lambda_calculus
5K Followers
Get used to disappointment. (Opinions are my own and do not reflect the views or opinions of my employer.)
Derek Dreyer
@HerrDreyer
3K Followers
Design, implementation & application of functional programming languages from mathematical theory to industrial practice. Tweets by @kamatsu8
Journal of Functional...
@journal_of_fp
2K Followers
hacker / CS professor @KhouryCollege @neu_prl
Arjun Guha
@ArjunGuha
1K Followers
Unofficial bot by @vela with https://t.co/qRyAuN2QxC. @mathMPb @mathNAb @mathOAb @mathOCb @mathPRb @mathQAb @mathRAb @mathRTb @mathSGb @mathSPb ...
arXiv math.NT Number ...
@mathNTb
2K Followers
curmudgeon
Ranjit Jhala
@RanjitJhala
3K Followers
Programming Principles, Logic and Verification group at University College London
UCL-CS PPLV
@ucl_pplv
261 Followers
Computer scientist, loves traveling and food tasting!
Alexandra Silva
@alexandra8silva
2K Followers
Researcher in CS, Scala 3 Compiler Engineer & Team Lead @epfl, Serves on the Scala Core Team and SIP committee. Agonizes over Effects, Capabilities & Ownership.
Oliver Bračevac
@etaconversion
219 Followers
CS Professor at UT Austin + President of @VeridiseInc.
Isil Dillig
@IsilDillig
4K Followers
Computer science academic at University of Kent (@UniKentComp) & co-director of the Institute of Computing for Climate Science @Cambridge_ICCS (@Cambridge_Uni)
Dominic Orchard
@dorchard
2K Followers