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 September 2021

Total of 67 entries : 1-50 51-67
Showing up to 50 entries per page: fewer | more | all
[1] arXiv:2109.00311 [pdf, other]
Title: Termination Analysis for the π-Calculus by Reduction to Sequential Program Termination
Tsubasa Shoshi, Takuma Ishikawa, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato, Takeshi Tsukada
Comments: A shorter version will appear in Proceedings of APLAS 2021
Subjects: Programming Languages (cs.PL)
[2] arXiv:2109.00445 [pdf, other]
Title: Linked visualisations via Galois dependencies
Roly Perera, Minh Nguyen, Tomas Petricek, Meng Wang
Comments: Extended paper with additional supporting material
Subjects: Programming Languages (cs.PL)
[3] arXiv:2109.00619 [pdf, other]
Title: Learning compositional programs with arguments and sampling
Giovanni De Toni, Luca Erculiani, Andrea Passerini
Comments: Accepted at the Tenth International Workshop on Statistical Relational AI (International Joint Conference on Learning & Reasoning 2021)
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[4] arXiv:2109.00673 [pdf, other]
Title: Supporting CUDA for an extended RISC-V GPU architecture
Ruobing Han, Blaise Tine, Jaewon Lee, Jaewoong Sim, Hyesoon Kim
Subjects: Programming Languages (cs.PL)
[5] arXiv:2109.01950 [pdf, other]
Title: Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation (Extended Version)
Artem Pelenitsyn, Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek
Comments: OOPSLA '21, extended version
Subjects: Programming Languages (cs.PL)
[6] arXiv:2109.02196 [pdf, other]
Title: Quantum CPOs
Andre Kornell (Tulane University, New Orleans, US), Bert Lindenhovius (Johannes Kepler University, Austria), Michael Mislove (Tulane University, New Orleans, US)
Comments: In Proceedings QPL 2020, arXiv:2109.01534
Journal-ref: EPTCS 340, 2021, pp. 174-187
Subjects: Programming Languages (cs.PL); Emerging Technologies (cs.ET)
[7] arXiv:2109.02198 [pdf, other]
Title: Quantum Hoare Type Theory: Extended Abstract
Kartik Singhal (University of Chicago), John Reppy (University of Chicago)
Comments: In Proceedings QPL 2020, arXiv:2109.01534. See expanded version at arXiv:2012.02154
Journal-ref: EPTCS 340, 2021, pp. 291-302
Subjects: Programming Languages (cs.PL); Emerging Technologies (cs.ET); Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)
[8] arXiv:2109.02409 [pdf, other]
Title: QSSA: An SSA-based IR for Quantum Computing
Anurudh Peduri, Siddharth Bhat
Comments: 20 pages, 16 figures
Subjects: Programming Languages (cs.PL)
[9] arXiv:2109.02458 [pdf, other]
Title: On non-structural subtype entailment
Aleksy Schubert
Comments: The paper contains error in formulation of Lemma 5.5, which invalidates the further construction
Subjects: Programming Languages (cs.PL)
[10] arXiv:2109.02810 [pdf, other]
Title: An Inversion Tool for Conditional Term Rewriting Systems -- A Case Study of Ackermann Inversion
Maria Bendix Mikkelsen (DIKU, University of Copenhagen, Denmark), Robert Glück (DIKU, University of Copenhagen, Denmark), Maja H. Kirkeby (Roskilde University, Denmark)
Comments: In Proceedings VPT 2021, arXiv:2109.02001
Journal-ref: EPTCS 341, 2021, pp. 33-41
Subjects: Programming Languages (cs.PL)
[11] arXiv:2109.02812 [pdf, other]
Title: Program Specialization as a Tool for Solving Word Equations
Antonina Nepeivoda
Comments: In Proceedings VPT 2021, arXiv:2109.02001. arXiv admin note: text overlap with arXiv:2007.12247
Journal-ref: EPTCS 341, 2021, pp. 42-72
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[12] arXiv:2109.02814 [pdf, other]
Title: An Empirical Study of Partial Deduction for miniKanren
Ekaterina Verbitskaia (JetBrains Research), Daniil Berezun (SPbSU, JetBrains Research), Dmitry Boulytchev (SPbSU, JetBrains Research)
Comments: In Proceedings VPT 2021, arXiv:2109.02001
Journal-ref: EPTCS 341, 2021, pp. 73-94
Subjects: Programming Languages (cs.PL)
[13] arXiv:2109.02958 [pdf, other]
Title: Multi-Level Quickening: Ten Years Later
Stefan Brunthaler
Subjects: Programming Languages (cs.PL)
[14] arXiv:2109.02991 [pdf, other]
Title: Abstraction Logic: The Marriage of Contextual Refinement and Separation Logic
Youngju Song, Minki Cho, Dongjae Lee, Chung-Kil Hur
Subjects: Programming Languages (cs.PL)
[15] arXiv:2109.03139 [pdf, other]
Title: An Executable Structural Operational Formal Semantics for Python
Maximilian A. Köhl
Subjects: Programming Languages (cs.PL)
[16] arXiv:2109.03950 [pdf, other]
Title: Study of the Subtyping Machine of Nominal Subtyping with Variance (full version)
Ori Roth
Journal-ref: Proc. ACM Program. Lang. 5 (2021) 27 pages
Subjects: Programming Languages (cs.PL)
[17] arXiv:2109.04258 [pdf, other]
Title: A Derivative-based Parser Generator for Visibly Pushdown Grammars
Xiaodong Jia, Ashish Kumar, Gang Tan
Subjects: Programming Languages (cs.PL); Formal Languages and Automata Theory (cs.FL)
[18] arXiv:2109.04629 [pdf, other]
Title: An Overview of the HFL Model Checking Project
Naoki Kobayashi (The University of Tokyo)
Comments: In Proceedings HCVS 2021, arXiv:2109.03988
Journal-ref: EPTCS 344, 2021, pp. 1-12
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[19] arXiv:2109.04630 [pdf, other]
Title: Termination Analysis of Programs with Multiphase Control-Flow
Jesús J. Domenech (Universidad Complutense de Madrid), Samir Genaim (Universidad Complutense de Madrid)
Comments: In Proceedings HCVS 2021, arXiv:2109.03988
Journal-ref: EPTCS 344, 2021, pp. 13-21
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[20] arXiv:2109.05049 [pdf, other]
Title: Solver-based Gradual Type Migration
Luna Phipps-Costin, Carolyn Jane Anderson, Michael Greenberg, Arjun Guha
Subjects: Programming Languages (cs.PL)
[21] arXiv:2109.05631 [pdf, other]
Title: Verifying Concurrent Multicopy Search Structures
Nisarg Patel, Siddharth Krishna, Dennis Shasha, Thomas Wies
Comments: Extended version of an article to appear in OOPSLA'21
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[22] arXiv:2109.06114 [pdf, other]
Title: One Down, 699 to Go: or, synthesising compositional desugarings
Sándor Bartha, James Cheney, Vaishak Belle
Comments: To appear, PACM:PL(OOPSLA) 2021
Subjects: Programming Languages (cs.PL)
[23] arXiv:2109.06132 [pdf, other]
Title: Specifying and Testing GPU Workgroup Progress Models
Tyler Sorensen, Lucas F. Salvador, Harmit Raval, Hugues Evrard, John Wickerson, Margaret Martonosi, Alastair F. Donaldson
Comments: OOPSLA 2021
Subjects: Programming Languages (cs.PL)
[24] arXiv:2109.06493 [pdf, other]
Title: Formal Methods for Quantum Programs: A Survey
Christophe Chareton, Sébastien Bardin, Dongho Lee, Benoît Valiron, Renaud Vilmart, Zhaowei Xu
Subjects: Programming Languages (cs.PL)
[25] arXiv:2109.06557 [pdf, other]
Title: The concept of class invariant in object-oriented programming
Bertrand Meyer, Alisa Arkadova, Alexander Kogtenkov
Comments: Revised version following refereeing
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[26] arXiv:2109.07382 [pdf, other]
Title: Toward Modern Fortran Tooling and a Thriving Developer Community
Milan Curcic, Ondřej Čertík, Brad Richardson, Sebastian Ehlert, Laurence Kedward, Arjen Markus, Ivan Pribec, Jérémie Vandenplas
Comments: Submitted to ACM Fortran Forum
Subjects: Programming Languages (cs.PL); Computers and Society (cs.CY)
[27] arXiv:2109.07541 [pdf, other]
Title: Dala: A Simple Capability-Based Dynamic Language Design For Data Race-Freedom
Kiko Fernandez-Reyes, Isaac Oscar Gariano, James Noble, Erin Greenwood-Thessman, Michael Homer, Tobias Wrigstad
Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC)
[28] arXiv:2109.07863 [pdf, other]
Title: Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement
Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco, Jonas Kastberg Hinrichsen, Léon Gondelman, Abel Nieto, Lars Birkedal
Journal-ref: Proc. ACM Program. Lang., Vol. 8, No. POPL, Article 9. Publication date: January 2024
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[29] arXiv:2109.07923 [pdf, other]
Title: Efficient Path-Sensitive Data-Dependence Analysis
Peisen Yao, Jinguo Zhou, Xiao Xiao, Qingkai Shi, Rongxin Wu, Charles Zhang
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[30] arXiv:2109.08267 [pdf, other]
Title: CompilerGym: Robust, Performant Compiler Optimization Environments for AI Research
Chris Cummins, Bram Wasti, Jiadong Guo, Brandon Cui, Jason Ansel, Sahir Gomez, Somya Jain, Jia Liu, Olivier Teytaud, Benoit Steiner, Yuandong Tian, Hugh Leather
Comments: 12 pages. Source code available at this https URL
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Performance (cs.PF)
[31] arXiv:2109.08291 [pdf, other]
Title: Natlog: a Lightweight Logic Programming Language with a Neuro-symbolic Touch
Paul Tarau (University of North Texas)
Comments: In Proceedings ICLP 2021, arXiv:2109.07914
Journal-ref: EPTCS 345, 2021, pp. 141-154
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[32] arXiv:2109.08298 [pdf, other]
Title: Generating Concurrent Programs From Sequential Data Structure Knowledge Using Answer Set Programming
Sarat Chandra Varanasi (The University of Texas at Dallas), Neeraj Mittal (The University of Texas at Dallas), Gopal Gupta (The University of Texas at Dallas)
Comments: In Proceedings ICLP 2021, arXiv:2109.07914. arXiv admin note: substantial text overlap with arXiv:2011.04045
Journal-ref: EPTCS 345, 2021, pp. 219-233
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[33] arXiv:2109.11397 [pdf, other]
Title: Position Paper: Goals of the Luau Type System
Lily Brown, Andy Friesen, Alan Jeffrey
Comments: In HATRA '21: Human Aspects of Types and Reasoning Assistants 2021
Subjects: Programming Languages (cs.PL)
[34] arXiv:2109.11802 [pdf, other]
Title: Automated Modular Verification for Race-Free Channels with Implicit and Explicit Synchronization
Andreea Costea, Wei-Ngan Chin, Florin Craciun, Shengchao Qin
Subjects: Programming Languages (cs.PL)
[35] arXiv:2109.12473 [pdf, other]
Title: Statically Bounded-Memory Delayed Sampling for Probabilistic Streams
Eric Atkinson, Guillaume Baudart, Louis Mandel, Charles Yuan, Michael Carbin
Comments: The following is a summary of the changes in each revision. [v2] corrected the URL for the code repository. [v3] corrected the definition of the m-consumed semantic property. [v4] fixed a typo. [v5] added this comment
Journal-ref: Proc. ACM Program. Lang. 5, OOPSLA, Article 115 (October 2021)
Subjects: Programming Languages (cs.PL)
[36] arXiv:2109.12997 [pdf, other]
Title: Benchmarking the Status of Default Pseudorandom Number Generators in Common Programming Languages
Nils van den Honert, Diederick Vermetten, Anna V. Kononova
Subjects: Programming Languages (cs.PL)
[37] arXiv:2109.13001 [pdf, other]
Title: I\heartsuitLA: Compilable Markdown for Linear Algebra
Yong Li, Shoaib Kamil, Alec Jacobson, Yotam Gingold
Subjects: Programming Languages (cs.PL); Graphics (cs.GR)
[38] arXiv:2109.14908 [pdf, other]
Title: Proceedings 14th Interaction and Concurrency Experience
Julien Lange (Royal Holloway, University of London), Anastasia Mavridou (KBR/NASA Ames Research Center), Larisa Safina (INRIA), Alceste Scalas (Technical University of Denmark)
Journal-ref: EPTCS 347, 2021
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[39] arXiv:2109.00859 (cross-list from cs.CL) [pdf, other]
Title: CodeT5: Identifier-aware Unified Pre-trained Encoder-Decoder Models for Code Understanding and Generation
Yue Wang, Weishi Wang, Shafiq Joty, Steven C.H. Hoi
Comments: Accepted to EMNLP 2021. 13 pages
Subjects: Computation and Language (cs.CL); Programming Languages (cs.PL)
[40] arXiv:2109.01321 (cross-list from cs.CL) [pdf, other]
Title: Indexing Context-Sensitive Reachability
Qingkai Shi, Yongchao Wang, Charles Zhang
Subjects: Computation and Language (cs.CL); Programming Languages (cs.PL)
[41] arXiv:2109.01386 (cross-list from cs.CR) [pdf, other]
Title: Vivienne: Relational Verification of Cryptographic Implementations in WebAssembly
Rodothea Myrsini Tsoupidi, Musard Balliu, Benoit Baudry
Subjects: Cryptography and Security (cs.CR); Programming Languages (cs.PL); Symbolic Computation (cs.SC)
[42] arXiv:2109.01483 (cross-list from cs.LO) [pdf, other]
Title: A Survey of the Proof-Theoretic Foundations of Logic Programming
Dale Miller
Comments: To appear in Theory and Practice of Logic Programming (TPLP)
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[43] arXiv:2109.02001 (cross-list from cs.SC) [pdf, other]
Title: Proceedings of the 9th International Workshop on Verification and Program Transformation
Alexei Lisitsa (The University of Liverpool, UK), Andrei P. Nemytykh (Program Systems Institute of RAS, Russia)
Journal-ref: EPTCS 341, 2021
Subjects: Symbolic Computation (cs.SC); Programming Languages (cs.PL); Software Engineering (cs.SE)
[44] arXiv:2109.02197 (cross-list from cs.LO) [pdf, other]
Title: Gottesman Types for Quantum Programs
Robert Rand (University of Chicago), Aarthi Sundaram (Microsoft Quantum), Kartik Singhal (University of Chicago), Brad Lackey (Microsoft Quantum and University of Maryland)
Comments: In Proceedings QPL 2020, arXiv:2109.01534. arXiv admin note: substantial text overlap with arXiv:2101.08939
Journal-ref: EPTCS 340, 2021, pp. 279-290
Subjects: Logic in Computer Science (cs.LO); Emerging Technologies (cs.ET); Programming Languages (cs.PL); Quantum Physics (quant-ph)
[45] arXiv:2109.02445 (cross-list from cs.AI) [pdf, other]
Title: Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models and Component-based Synthesis
Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
Comments: To be published in OOPSLA 2021
Subjects: Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
[46] arXiv:2109.02484 (cross-list from cs.DC) [pdf, other]
Title: Compiler-Driven FPGA Virtualization with SYNERGY
Joshua Landgraf, Tiffany Yang, Will Lin, Christopher J. Rossbach, Eric Schkufza
Journal-ref: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2021), 2021, pp. 818-831
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Hardware Architecture (cs.AR); Programming Languages (cs.PL)
[47] arXiv:2109.02813 (cross-list from cs.SE) [pdf, other]
Title: Improving Dynamic Code Analysis by Code Abstraction
Isabella Mastroeni (Department of Computer Science, University of Verona (Italy)), Vincenzo Arceri (Department of Environmental Sciences, Informatics and Statistics, Ca' Foscari University of Venice (Italy))
Comments: In Proceedings VPT 2021, arXiv:2109.02001
Journal-ref: EPTCS 341, 2021, pp. 17-32
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[48] arXiv:2109.03602 (cross-list from cs.CR) [pdf, other]
Title: SecRSL: Security Separation Logic for C11 Release-Acquire Concurrency (Extended version with technical appendices)
Pengbo Yan, Toby Murray
Comments: Extended version of conference paper published at OOPSLA 2021
Subjects: Cryptography and Security (cs.CR); Programming Languages (cs.PL)
[49] arXiv:2109.03721 (cross-list from cs.LO) [pdf, other]
Title: Conjectures, Tests and Proofs: An Overview of Theory Exploration
Moa Johansson (Chalmers University of Technology), Nicholas Smallbone (Chalmers University of Technology)
Comments: In Proceedings VPT 2021, arXiv:2109.02001
Journal-ref: EPTCS 341, 2021, pp. 1-16
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Programming Languages (cs.PL); Logic (math.LO)
[50] arXiv:2109.04632 (cross-list from cs.FL) [pdf, other]
Title: Reducing Higher-order Recursion Scheme Equivalence to Coinductive Higher-order Constrained Horn Clauses
Jerome Jochems
Comments: In Proceedings HCVS 2021, arXiv:2109.03988
Journal-ref: EPTCS 344, 2021, pp. 36-64
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
Total of 67 entries : 1-50 51-67
Showing up to 50 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