Software Engineering

Authors and titles for October 2020

[101] arXiv:2010.06256 (cross-list from cs.RO) [pdf, other]

Title: Behavior Trees in Action: A Study of Robotics Applications

Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Swaib Dragule, Andrzej Wąsowski

Comments: 14 pages, 5 figures, 13rd ACM SIGPLAN International Conference on Software Language Engineering (SLE) (SLE 2020)

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

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

Title: Data Engineering for HPC with Python

Vibhatha Abeykoon, Niranda Perera, Chathura Widanage, Supun Kamburugamuve, Thejaka Amila Kanewala, Hasara Maithree, Pulasthi Wickramasinghe, Ahmet Uyar, Geoffrey Fox

Comments: 9 pages, 11 images, Accepted in 9th Workshop on Python for High-Performance and Scientific Computing (In conjunction with Supercomputing 20)

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Computers and Society (cs.CY); Performance (cs.PF); Software Engineering (cs.SE)

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

Title: iPaaS in Agriculture 4.0: An Industrial Case

Rafael Cestari, Sebastien Ducos (LIUPPA), Ernesto Exposito (LIUPPA)

Journal-ref: WETICE'2020: 29th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2020

Subjects: Computers and Society (cs.CY); Multiagent Systems (cs.MA); Software Engineering (cs.SE)

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

Title: Towards a Policy-as-a-Service Framework to Enable Compliant, Trustworthy AI and HRI Systems in the Wild

Alexis Morris, Hallie Siegel, Jonathan Kelly

Comments: In Proceedings of the AAAI Fall Symposium on Artificial Intelligence for Human-Robot Interaction: Trust & Explainability in Artificial Intelligence for Human-Robot Interaction (AI-HRI'20)

Subjects: Computers and Society (cs.CY); Human-Computer Interaction (cs.HC); Robotics (cs.RO); Software Engineering (cs.SE)

[105] arXiv:2010.07288 (cross-list from cs.CR) [pdf, other]

Title: Independent Co-Assurance using the Safety-Security Assurance Framework (SSAF): A Bayesian Belief Network Implementation for IEC 61508 and Common Criteria

Nikita Johnson, Youcef Gheraibia, Tim Kelly

Journal-ref: In Proceedings of the Safety-Critical Systems Club Symposium (SSS'20). February 2020

Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)

[106] arXiv:2010.07763 (cross-list from cs.PL) [pdf, other]

Title: Refinement Types: A Tutorial

Ranjit Jhala, Niki Vazou

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

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

Title: Empirical Study of Transformers for Source Code

Nadezhda Chirkova, Sergey Troshin

Comments: Published at the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering 2021 (ESEC/FSE'21)

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

[108] arXiv:2010.09145 (cross-list from cs.RO) [pdf, other]

Title: MROS: Runtime Adaptation For Robot Control Architectures

Darko Bozhinoski, Carlos Hernandez Corbato, Mario Garzon Oviedo, Gijs van der Hoorn, Nadia Hammoudeh Garcia, Harshavardhan Deshpande, Jon Tjerngren, Andrzej Wasowski

Subjects: Robotics (cs.RO); Software Engineering (cs.SE)

[109] arXiv:2010.10805 (cross-list from cs.CR) [pdf, other]

Title: SeqTrans: Automatic Vulnerability Fix via Sequence to Sequence Learning

Jianlei Chi, Yu Qu, Ting Liu, Qinghua Zheng, Heng Yin

Comments: 22 pages, 20 figures, 7 tables

Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)

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

Title: Anomaly Detection in a Large-scale Cloud Platform

Mohammad Saiful Islam, William Pourmajidi, Lei Zhang, John Steinbacher, Tony Erwin, Andriy Miranskyy

Comments: A condensed version to appear in Proceedings of the 43rd International Conference on Software Engineering (ICSE 2021)

Journal-ref: In Proceedings 2021 IEEE/ACM 43rd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP), pp. 150-159

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Machine Learning (cs.LG); Software Engineering (cs.SE)

[111] arXiv:2010.11242 (cross-list from cs.CR) [pdf, other]

Title: Uncovering the Hidden Dangers: Finding Unsafe Go Code in the Wild

Johannes Lauinger (1), Lars Baumgärtner (1), Anna-Katharina Wickert (1), Mira Mezini (1) ((1) Technische Universität Darmstadt)

Comments: This is a copy of the accepted version at The 19th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom 2020)

Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)

[112] arXiv:2010.12908 (cross-list from cs.AI) [pdf, other]

Title: Deep Graph Matching and Searching for Semantic Code Retrieval

Xiang Ling, Lingfei Wu, Saizhuo Wang, Gaoning Pan, Tengfei Ma, Fangli Xu, Alex X. Liu, Chunming Wu, Shouling Ji

Comments: Accepted by ACM Transactions on Knowledge Discovery from Data (ACM TKDD)

Journal-ref: ACM Trans. Knowl. Discov. Data 15, 5 (2021), 1-21

Subjects: Artificial Intelligence (cs.AI); Information Retrieval (cs.IR); Software Engineering (cs.SE)

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

Title: Towards Accountability for Machine Learning Datasets: Practices from Software Engineering and Infrastructure

Ben Hutchinson, Andrew Smart, Alex Hanna, Emily Denton, Christina Greer, Oddur Kjartansson, Parker Barnes, Margaret Mitchell

Subjects: Machine Learning (cs.LG); Computers and Society (cs.CY); Databases (cs.DB); Software Engineering (cs.SE)

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

Title: An Approach to Evaluating Learning Algorithms for Decision Trees

Tianqi Xiao, Omer Nguena Timo, Florent Avellaneda, Yasir Malik, Stefan Bruda

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)

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

Title: Sizeless: Predicting the optimal size of serverless functions

Simon Eismann, Long Bui, Johannes Grohmann, Cristina L. Abad, Nikolas Herbst, Samuel Kounev

Comments: 11 pages, 6 figures, conference

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)

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

Title: Advanced Python Performance Monitoring with Score-P

Andreas Gocht, Robert Schöne, Jan Frenzel

Journal-ref: Tools for High Performance Computing 2018 / 2019

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Performance (cs.PF); Software Engineering (cs.SE)

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

Title: Verification of Patterns

Yong Wang

Comments: 189 pages, 100 figures, 12 tables

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

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

Title: Towards making formal methods normal: meeting developers where they are

Alastair Reid, Luke Church, Shaked Flur, Sarah de Haas, Maritza Johnson, Ben Laurie

Comments: To be presented at HATRA 2020: Human Aspects of Types and Reasoning Assistants, 15-20 November, 2020, Chicago, IL. 10 pages

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