Skip to main content
Cornell University
We gratefully acknowledge support from the Simons Foundation, member institutions, and all contributors. Donate
arxiv logo > cs.PL

Help | Advanced Search

arXiv logo
Cornell University Logo

quick links

  • Login
  • Help Pages
  • About

Programming Languages

Authors and titles for February 2022

Total of 50 entries : 1-25 26-50
Showing up to 25 entries per page: fewer | more | all
[1] arXiv:2202.00739 [pdf, other]
Title: Compiler-Driven Simulation of Reconfigurable Hardware Accelerators
Zhijing Li, Yuwei Ye, Stephen Neuendorffer, Adrian Sampso
Subjects: Programming Languages (cs.PL); Hardware Architecture (cs.AR); Machine Learning (cs.LG)
[2] arXiv:2202.01901 [pdf, other]
Title: Bunched Fuzz: Sensitivity for Vector Metrics
june wunder, Arthur Azevedo de Amorim, Patrick Baillot, Marco Gaboardi
Subjects: Programming Languages (cs.PL)
[3] arXiv:2202.03293 [pdf, other]
Title: Composable and Modular Code Generation in MLIR: A Structured and Retargetable Approach to Tensor Compiler Construction
Nicolas Vasilache, Oleksandr Zinenko, Aart J.C. Bik, Mahesh Ravishankar, Thomas Raoux, Alexander Belyaev, Matthias Springer, Tobias Gysi, Diego Caballero, Stephan Herhut, Stella Laurenzo, Albert Cohen
Subjects: Programming Languages (cs.PL)
[4] arXiv:2202.04076 [pdf, other]
Title: K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs
Kun Wang, Jingyi Wang, Christopher M. Poskitt, Xiangxiang Chen, Jun Sun, Peng Cheng
Comments: Accepted by IEEE Transactions on Software Engineering
Journal-ref: IEEE Trans. Software Eng., 2023
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[5] arXiv:2202.04153 [pdf, other]
Title: Source Matching and Rewriting
Vinicius Couto, Luciano Zago, Hervé Yviquel, Guido Araújo
Comments: 10 pages, 7 figures
Subjects: Programming Languages (cs.PL)
[6] arXiv:2202.04178 [pdf, other]
Title: VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming
Eleonora Misino, Giuseppe Marra, Emanuele Sansone
Subjects: Programming Languages (cs.PL); Machine Learning (cs.LG)
[7] arXiv:2202.04305 [pdf, other]
Title: Compiler Support for Sparse Tensor Computations in MLIR
Aart J.C. Bik, Penporn Koanantakool, Tatiana Shpeisman, Nicolas Vasilache, Bixia Zheng, Fredrik Kjolstad
Subjects: Programming Languages (cs.PL)
[8] arXiv:2202.04330 [pdf, other]
Title: Reflexive tactics for algebra, revisited
Kazuhiko Sakaguchi
Comments: Under review
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[9] arXiv:2202.05328 [pdf, other]
Title: Forward Build Systems, Formally
Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt
Comments: CPP 2022: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs
Subjects: Programming Languages (cs.PL)
[10] arXiv:2202.05472 [pdf, other]
Title: Dandelion: Certified Approximations of Elementary Functions
Heiko Becker, Mohit Tekriwal, Eva Darulova, Anastasia Volkova, Jean-Baptiste Jeannin
Subjects: Programming Languages (cs.PL)
[11] arXiv:2202.05872 [pdf, other]
Title: REST: Integrating Term Rewriting with Program Verification (Extended Version)
Zachary Grannan, Niki Vazou, Eva Darulova, Alexander J. Summers
Subjects: Programming Languages (cs.PL)
[12] arXiv:2202.06868 [pdf, other]
Title: Enhancing expressivity of checked corecursive streams (extended version)
Davide Ancona, Pietro Barbieri, Elena Zucca
Comments: 23 pages. arXiv admin note: substantial text overlap with arXiv:2108.00281
Subjects: Programming Languages (cs.PL)
[13] arXiv:2202.07577 [pdf, other]
Title: Weighted Programming
Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler
Comments: 71 pages
Subjects: Programming Languages (cs.PL); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[14] arXiv:2202.07636 [pdf, other]
Title: On Dynamic Lifting and Effect Typing in Circuit Description Languages (Extended Version)
Andrea Colledan, Ugo Dal Lago
Comments: 26 pages, 21 figures
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)
[15] arXiv:2202.08017 [pdf, other]
Title: Mechanization of LAGC Semantics in Isabelle
Niklas Heidler
Subjects: Programming Languages (cs.PL)
[16] arXiv:2202.08246 [pdf, other]
Title: Galois connecting call-by-value and call-by-name
Dylan McDermott, Alan Mycroft
Journal-ref: Logical Methods in Computer Science, Volume 20, Issue 1 (February 12, 2024) lmcs:11022
Subjects: Programming Languages (cs.PL)
[17] arXiv:2202.08511 [pdf, other]
Title: Scheduling Complexity of Interleaving Search
Dmitry Rozplokhas, Dmitry Boulytchev
Subjects: Programming Languages (cs.PL)
[18] arXiv:2202.09228 [pdf, other]
Title: Topology-Level Reactivity in Distributed Reactive Programs: Reactive Acquaintance Management using Flocks
Sam Van den Vonder (Vrije Universiteit Brussel, Belgium), Thierry Renaux (Vrije Universiteit Brussel, Belgium), Wolfgang De Meuter (Vrije Universiteit Brussel, Belgium)
Journal-ref: The Art, Science, and Engineering of Programming, 2022, Vol. 6, Issue 3, Article 14
Subjects: Programming Languages (cs.PL)
[19] arXiv:2202.09229 [pdf, other]
Title: Figuring and Drawing: A Visual Approach to Principled Programming
Elpida Keravnou-Papailiou (University of Cyprus, Cyprus)
Journal-ref: The Art, Science, and Engineering of Programming, 2022, Vol. 6, Issue 3, Article 11
Subjects: Programming Languages (cs.PL)
[20] arXiv:2202.09230 [pdf, other]
Title: United Monoids: Finding Simplicial Sets and Labelled Algebraic Graphs in Trees
Andrey Mokhov (Jane Street, UK / Newcastle University, UK)
Journal-ref: The Art, Science, and Engineering of Programming, 2022, Vol. 6, Issue 3, Article 12
Subjects: Programming Languages (cs.PL)
[21] arXiv:2202.09231 [pdf, other]
Title: Debootstrapping without Archeology: Stacked Implementations in Camlboot
Nathanaëlle Courant (Inria, France), Julien Lepiller (Yale University, USA), Gabriel Scherer (Inria, France)
Journal-ref: The Art, Science, and Engineering of Programming, 2022, Vol. 6, Issue 3, Article 13
Subjects: Programming Languages (cs.PL)
[22] arXiv:2202.10297 [pdf, other]
Title: AD for an Array Language with Nested Parallelism
Robert Schenck, Ola Rønning, Troels Henriksen, Cosmin E. Oancea
Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC)
[23] arXiv:2202.12193 [pdf, html, other]
Title: Decomposition-Based Synthesis for Applying Divide-and-Conquer-Like Algorithmic Paradigms
Ruyi Ji, Yuwei Zhao, Yingfei Xiong, Di Wang, Lu Zhang, Zhenjiang Hu
Comments: accepted at TOPLAS
Subjects: Programming Languages (cs.PL)
[24] arXiv:2202.12195 [pdf, other]
Title: LAGC Semantics of Concurrent Programming Languages
Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa
Subjects: Programming Languages (cs.PL)
[25] arXiv:2202.12208 [pdf, other]
Title: Automating Thinning Theorem: Synthesizing Efficient Dynamic Programming Algorithms
Ruyi Ji, Tianran Zhu, Yingfei Xiong, Zhenjiang Hu
Subjects: Programming Languages (cs.PL)
Total of 50 entries : 1-25 26-50
Showing up to 25 entries per page: fewer | more | all
  • About
  • Help
  • contact arXivClick here to contact arXiv Contact
  • subscribe to arXiv mailingsClick here to subscribe Subscribe
  • Copyright
  • Privacy Policy
  • Web Accessibility Assistance
  • arXiv Operational Status
    Get status notifications via email or slack