Programming Languages

Authors and titles for March 2022

[51] arXiv:2203.07284 (cross-list from cs.DB) [pdf, other]

Title: Relational Diagrams: a pattern-preserving diagrammatic representation of non-disjunctive Relational Queries

Wolfgang Gatterbauer, Cody Dunne, Mirek Riedewald

Comments: 23 pages, 29 figures

Subjects: Databases (cs.DB); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[52] arXiv:2203.07671 (cross-list from cs.LG) [pdf, other]

Title: Safe Neurosymbolic Learning with Differentiable Symbolic Execution

Chenxi Yang, Swarat Chaudhuri

Comments: Accepted as a poster at ICLR 2022

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)

[53] arXiv:2203.08263 (cross-list from cs.DC) [pdf, other]

Title: Performance Comparison of Python Translators for a Multi-threaded CPU-bound Application

Andrés Milla, Enzo Rucci

Comments: In: Pesado, P., Gil, G. (eds). Computer Science - CACIC 2021. Springer Communications in Computer and Information Science, vol 1584

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL)

[54] arXiv:2203.08416 (cross-list from cs.LO) [pdf, html, other]

Title: On Higher-Order Reachability Games vs May Reachability

Kazuyuki Asada, Hiroyuki Katsura, Naoki Kobayashi

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[55] arXiv:2203.09299 (cross-list from cs.LO) [pdf, other]

Title: Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems

Clemens Dubslaff (Technische Universität Dresden, Germany), Bas Luttik (Eindhoven University of Technology, The Netherlands)

Journal-ref: EPTCS 355, 2022

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Software Engineering (cs.SE)

[56] arXiv:2203.10452 (cross-list from cs.LG) [pdf, other]

Title: CrossBeam: Learning to Search in Bottom-Up Program Synthesis

Kensen Shi, Hanjun Dai, Kevin Ellis, Charles Sutton

Comments: Published at ICLR 2022

Subjects: Machine Learning (cs.LG); Programming Languages (cs.PL); Machine Learning (stat.ML)

[57] arXiv:2203.10744 (cross-list from cs.CL) [pdf, other]

Title: Programming Language Agnostic Mining of Code and Language Pairs with Sequence Labeling Based Question Answering

Changran Hu, Akshara Reddi Methukupalli, Yutong Zhou, Chen Wu, Yubo Chen

Subjects: Computation and Language (cs.CL); Programming Languages (cs.PL)

[58] arXiv:2203.11100 (cross-list from cs.DC) [pdf, other]

Title: Migrating CUDA to oneAPI: A Smith-Waterman Case Study

Manuel Costanzo, Enzo Rucci, Carlos Garcia Sanchez, Marcelo Naiouf, Manuel Prieto-Matias

Comments: Accepted in IWBBIO 2022

Journal-ref: In: Bioinformatics and Biomedical Engineering. IWBBIO 2022. Lecture Notes in Computer Science(), vol 13347. Springer, Cham (2022)

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL)

[59] arXiv:2203.11790 (cross-list from cs.SE) [pdf, other]

Title: Learning Program Semantics with Code Representations: An Empirical Study

Jing Kai Siow, Shangqing Liu, Xiaofei Xie, Guozhu Meng, Yang Liu

Comments: Accepted in 29th edition IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2022)

Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG); Programming Languages (cs.PL)

[60] arXiv:2203.12877 (cross-list from cs.LO) [pdf, other]

Title: Higher-order Context-free Session Types in System F

Diana Costa (LASIGE, Faculdade de Ciências, Universidade de Lisboa), Andreia Mordido (LASIGE, Faculdade de Ciências, Universidade de Lisboa), Diogo Poças (LASIGE, Faculdade de Ciências, Universidade de Lisboa), Vasco T. Vasconcelos (LASIGE, Faculdade de Ciências, Universidade de Lisboa)

Comments: In Proceedings PLACES 2022, arXiv:2203.12142

Journal-ref: EPTCS 356, 2022, pp. 24-35

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL)

[61] arXiv:2203.13431 (cross-list from cs.DC) [pdf, other]

Title: Aspect-Oriented Programming based building block platform to construct Domain-Specific Language for HPC application

Osamu Ishimura, Yoshihide Yoshimoto

Journal-ref: 2022 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL)

[62] arXiv:2203.13474 (cross-list from cs.LG) [pdf, other]

Title: CodeGen: An Open Large Language Model for Code with Multi-Turn Program Synthesis

Erik Nijkamp, Bo Pang, Hiroaki Hayashi, Lifu Tu, Huan Wang, Yingbo Zhou, Silvio Savarese, Caiming Xiong

Subjects: Machine Learning (cs.LG); Computation and Language (cs.CL); Programming Languages (cs.PL)

[63] arXiv:2203.14093 (cross-list from cs.CL) [pdf, other]

Title: MQDD: Pre-training of Multimodal Question Duplicity Detection for Software Engineering Domain

Jan Pašek, Jakub Sido, Miloslav Konopík, Ondřej Pražák

Subjects: Computation and Language (cs.CL); Machine Learning (cs.LG); Programming Languages (cs.PL); Software Engineering (cs.SE)

[64] arXiv:2203.14261 (cross-list from cs.LO) [pdf, other]

Title: The Lattice-Theoretic Essence of Property Directed Reachability Analysis

Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo

Comments: 37 pages

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[65] arXiv:2203.14891 (cross-list from cs.LO) [pdf, other]

Title: How Functorial Are (Deep) GADTs?

Patricia Johann, Pierre Cagne

Comments: Accompanying code at this https URL

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[66] arXiv:2203.15653 (cross-list from cs.SE) [pdf, other]

Title: Towards the Future: Bring Program Correctness back to the focus

Chongyi Yuan, Lijie Wen, Xiongliang Yan

Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)

[67] arXiv:2203.16465 (cross-list from cs.CY) [pdf, other]

Title: Can in-home laboratories foster learning, self-efficacy, and motivation during the COVID-19 pandemic? -- A case study in two engineering programs

Jonathan Álvarez Ariza

Comments: 14 pages, 2 figures, 2 tables

Journal-ref: International journal of engineering education (IJEE) 2022; vol 38; no 2; pp 310-321; https://www.ijee.ie/contents/c380222.html

Subjects: Computers and Society (cs.CY); Human-Computer Interaction (cs.HC); Programming Languages (cs.PL)

[68] arXiv:2203.16604 (cross-list from cs.CY) [pdf, other]

Title: Understanding the role of single-board computers in engineering and computer science education: A systematic literature review

Jonathan Álvarez Ariza, Heyson Baez

Comments: 27 pages

Journal-ref: Computer applications in engineering education (2022); vol 30; pp 304-329

Subjects: Computers and Society (cs.CY); Programming Languages (cs.PL); Robotics (cs.RO)

[69] arXiv:2203.17063 (cross-list from cs.DC) [pdf, other]

Title: Efficient and Eventually Consistent Collective Operations

Roman Iakymchuk, Amandio Faustino, Andrew Emerson, Joao Barreto, Valeria Bartsch, Rodrigo Rodrigues, Jose C. Monteiro

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL)