We gratefully acknowledge support from
the Simons Foundation and member institutions.

Programming Languages

Authors and titles for recent submissions

[ total of 14 entries: 1-14 ]
[ showing up to 25 entries per page: fewer | more ]

Fri, 14 Jan 2022

[1]  arXiv:2201.04919 [pdf, ps, other]
Title: Translation Certification for Smart Contracts
Subjects: Programming Languages (cs.PL)
[2]  arXiv:2201.04804 [pdf, other]
Title: MCAD: Beyond Basic-Block Throughput Estimation Through Differential, Instruction-Level Tracing
Subjects: Programming Languages (cs.PL)

Thu, 13 Jan 2022

[3]  arXiv:2201.04477 (cross-list from cs.AI) [pdf, ps, other]
Title: DPCL: a Language Template for Normative Specifications
Comments: position paper at ProLaLa workshop @ POPL2022
Subjects: Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL); Multiagent Systems (cs.MA); Programming Languages (cs.PL); Symbolic Computation (cs.SC)

Wed, 12 Jan 2022

[4]  arXiv:2201.03641 [pdf, other]
Title: A Compositional Proof Framework for FRETish Requirements
Subjects: Programming Languages (cs.PL)
[5]  arXiv:2201.03611 [pdf, other]
Title: RISE & Shine: Language-Oriented Compiler Design
Subjects: Programming Languages (cs.PL)

Tue, 11 Jan 2022

[6]  arXiv:2201.03473 [pdf, other]
Title: Macroprogramming: Concepts, State of the Art, and Opportunities of Macroscopic Behaviour Modelling
Authors: Roberto Casadei
Comments: 78 pages, 4 figures, 2 tables; submitted to Foundations and Trends in Programming Languages
Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC); Multiagent Systems (cs.MA); Software Engineering (cs.SE); Systems and Control (eess.SY)
[7]  arXiv:2201.03504 (cross-list from cs.LO) [pdf]
Title: Formal Metatheory of Second-Order Abstract Syntax
Comments: 26 pages, to appear at POPL 2022
Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM); Programming Languages (cs.PL)
[8]  arXiv:2201.03346 (cross-list from cs.SE) [pdf, other]
Title: Better Modeling the Programming World with Code Concept Graphs-augmented Multi-modal Learning
Comments: 4+1 pages
Subjects: Software Engineering (cs.SE); Information Retrieval (cs.IR); Programming Languages (cs.PL)
[9]  arXiv:2201.03108 (cross-list from cs.LO) [pdf, ps, other]
Title: Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Software Engineering (cs.SE)
[10]  arXiv:2201.02705 (cross-list from cs.AI) [pdf, other]
Title: Tisane: Authoring Statistical Models via Formal Reasoning from Conceptual and Data Relationships
Subjects: Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC); Programming Languages (cs.PL); Computation (stat.CO); Other Statistics (stat.OT)

Tue, 4 Jan 2022

[11]  arXiv:2201.00495 [pdf, other]
Title: let (rec) insertion without Effects, Lights or Magic
Authors: Oleg Kiselyov (Tohoku University, Japan), Jeremy Yallop (University of Cambridge, UK)
Comments: Peer-reviewed and accepted for presentation as a short paper at PEPM 2022
Subjects: Programming Languages (cs.PL); Symbolic Computation (cs.SC)
[12]  arXiv:2201.00184 [pdf, ps, other]
Title: Secure Information Flow Typing in LUSTRE
Comments: arXiv admin note: substantial text overlap with arXiv:2105.10687
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[13]  arXiv:2201.00194 (cross-list from cs.LG) [pdf, other]
Title: FamilySeer: Towards Optimized Tensor Codes by Exploiting Computation Subgraph Similarity
Subjects: Machine Learning (cs.LG); Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL)
[14]  arXiv:2201.00060 (cross-list from cs.SE) [pdf, other]
Title: Statistical Program Slicing: a Hybrid Slicing Technique for Analyzing Deployed Software
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[ total of 14 entries: 1-14 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, new, 2201, contact, help  (Access key information)