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

Programming Languages

Authors and titles for cs.PL in Jul 2022

[ total of 68 entries: 1-25 | 26-50 | 51-68 ]
[ showing 25 entries per page: fewer | more | all ]
[1]  arXiv:2207.00257 [pdf, other]
Title: High-Performance GPU-to-CPU Transpilation and Optimization via High-Level Parallel Constructs
Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC)
[2]  arXiv:2207.00843 [pdf, ps, other]
Title: Sikkel: Multimode Simple Type Theory as an Agda Library
Authors: Joris Ceulemans (KU Leuven), Andreas Nuyts (KU Leuven), Dominique Devriese (KU Leuven)
Comments: In Proceedings MSFP 2022, arXiv:2206.09534
Journal-ref: EPTCS 360, 2022, pp. 93-112
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[3]  arXiv:2207.00847 [pdf, other]
Title: Combinatory Adjoints and Differentiation
Authors: Martin Elsman (University of Copenhagen), Fritz Henglein (University of Copenhagen), Robin Kaarsgaard (University of Edinburgh), Mikkel Kragh Mathiesen (University of Copenhagen), Robert Schenck (University of Copenhagen)
Comments: In Proceedings MSFP 2022, arXiv:2206.09534
Journal-ref: EPTCS 360, 2022, pp. 1-26
Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC); Machine Learning (cs.LG); Symbolic Computation (cs.SC)
[4]  arXiv:2207.00850 [pdf, ps, other]
Title: The Programming of Algebra
Authors: Fritz Henglein (University of Copenhagen), Robin Kaarsgaard (University of Edinburgh), Mikkel Kragh Mathiesen (University of Copenhagen)
Comments: In Proceedings MSFP 2022, arXiv:2206.09534
Journal-ref: EPTCS 360, 2022, pp. 71-92
Subjects: Programming Languages (cs.PL); Databases (cs.DB); Symbolic Computation (cs.SC)
[5]  arXiv:2207.00852 [pdf, other]
Title: On Structuring Functional Programs with Monoidal Profunctors
Authors: Alexandre Garcia de Oliveira (Universidade de São Paulo), Mauro Jaskelioff (CIFASIS-CONICET), Ana Cristina Vieira de Melo (Universidade de São Paulo)
Comments: In Proceedings MSFP 2022, arXiv:2206.09534
Journal-ref: EPTCS 360, 2022, pp. 134-150
Subjects: Programming Languages (cs.PL)
[6]  arXiv:2207.01090 [pdf, other]
Title: Folding over Neural Networks
Subjects: Programming Languages (cs.PL); Machine Learning (cs.LG)
[7]  arXiv:2207.02015 [pdf, other]
Title: Generalised Multiparty Session Types with Crash-Stop Failures (Technical Report)
Comments: Extended version of paper accepted at CONCUR 2022
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[8]  arXiv:2207.02129 [pdf, ps, other]
Title: Implementing Dependent Types in pi-forall
Comments: 54 pages
Subjects: Programming Languages (cs.PL)
[9]  arXiv:2207.02355 [pdf, other]
Title: A Concurrent Program Logic with a Future and History
Journal-ref: Proc. ACM Program. Lang. 6, OOPSLA2, Article 174 (October 2022), 30 pages
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[10]  arXiv:2207.02502 [pdf, other]
Title: VeriFx: Correct Replicated Data Types for the Masses
Comments: 35 pages, 13 figures
Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC)
[11]  arXiv:2207.03402 [pdf, ps, other]
Title: Scoped Capabilities for Polymorphic Effects
Comments: 39 pages
Subjects: Programming Languages (cs.PL)
[12]  arXiv:2207.03418 [pdf, other]
Title: Efficient Dual-Numbers Reverse AD via Well-Known Program Transformations
Comments: Short version of arXiv:2205.11368
Subjects: Programming Languages (cs.PL)
[13]  arXiv:2207.03578 [pdf, other]
Title: Code Translation with Compiler Representations
Comments: 9 pages
Subjects: Programming Languages (cs.PL); Computation and Language (cs.CL); Machine Learning (cs.LG)
[14]  arXiv:2207.03894 [pdf]
Title: Copy Propagation subsumes Constant Propagation
Comments: 4 pages, 2 figures
Subjects: Programming Languages (cs.PL)
[15]  arXiv:2207.03994 [pdf, other]
Title: LibNDT: Towards a Formal Library on Spreadable Properties over Linked Nested Datatypes
Authors: Mathieu Montin (Université de Lorraine, Loria, CNRS, Inria, France), Amélie Ledein (Université Paris-Saclay, ENS Paris-Saclay, LMF, CNRS, Inria, France), Catherine Dubois (ENSIIE, Samovar, IP Paris, France)
Comments: In Proceedings MSFP 2022, arXiv:2206.09534
Journal-ref: EPTCS 360, 2022, pp. 27-44
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[16]  arXiv:2207.04034 [pdf, ps, other]
Title: Flux: Liquid Types for Rust
Subjects: Programming Languages (cs.PL)
[17]  arXiv:2207.04218 [pdf, other]
Title: Subclasses of Class Function used to Implement Transformations of Statistical Models
Authors: Lloyd Allison
Subjects: Programming Languages (cs.PL); Machine Learning (cs.LG)
[18]  arXiv:2207.05227 [pdf, other]
Title: Program Adverbs and Tlön Embeddings
Comments: Accepted by ICFP 2022. 32 pages. Extended version
Subjects: Programming Languages (cs.PL)
[19]  arXiv:2207.05617 [pdf, ps, other]
Title: Mechanizing Refinement Types (extended)
Comments: 32 pages, under review
Subjects: Programming Languages (cs.PL)
[20]  arXiv:2207.05946 [pdf, other]
Title: Distribution Theoretic Semantics for Non-Smooth Differentiable Programming
Subjects: Programming Languages (cs.PL)
[21]  arXiv:2207.06574 [pdf, ps, other]
Title: Bringing Iris into the Verified Software Toolchain
Authors: William Mansky
Comments: 21 pages, 4 figures
Subjects: Programming Languages (cs.PL)
[22]  arXiv:2207.07053 [pdf, ps, other]
Title: On Pitts' Relational Properties of Domains
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[23]  arXiv:2207.07423 [pdf, ps, other]
Title: GopCaml: A Structural Editor for OCaml
Authors: Kiran Gopinathan
Comments: Presented at OCaml workshop at ICFP 2021
Subjects: Programming Languages (cs.PL)
[24]  arXiv:2207.08019 [pdf, other]
Title: Do Fewer Tiers Mean Fewer Tears? Eliminating Web Stack Components to Improve Interoperability
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[25]  arXiv:2207.08389 [pdf, other]
Title: MLGOPerf: An ML Guided Inliner to Optimize Performance
Comments: Version 2: Added the missing Table 6. The short version of this work is accepted at ACM/IEEE CASES 2022
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE); Performance (cs.PF)
[ total of 68 entries: 1-25 | 26-50 | 51-68 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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