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

Software Engineering

Authors and titles for recent submissions, skipping first 28

[ total of 39 entries: 1-25 | 4-28 | 29-39 ]
[ showing 25 entries per page: fewer | more | all ]

Thu, 11 Aug 2022 (continued, showing last 5 of 10 entries)

[29]  arXiv:2208.05266 [pdf, other]
Title: Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods
Authors: Maurice H. ter Beek, Alessio Ferrari
Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL)
[30]  arXiv:2208.05227 [pdf, other]
Title: Multi-View Pre-Trained Model for Code Vulnerability Identification
Authors: Xuxiang Jiang, Yinhao Xiao, Jun Wang, Wei Zhang
Comments: Accepted By WASA'2022
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[31]  arXiv:2208.05219 [pdf, other]
Title: Capturing Dependencies within Machine Learning via a Formal Process Model
Authors: Fabian Ritz, Thomy Phan, Andreas Sedlmeier, Philipp Altmann, Jan Wieghardt, Reiner Schmid, Horst Sauer, Cornel Klein, Claudia Linnhoff-Popien, Thomas Gabor
Comments: 10 pages, 5 figures, draft; the final version will appear in the proceedings of the International Symposium on Leveraging Applications of Formal Methods (ISoLA) 2022
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[32]  arXiv:2208.05046 [pdf, other]
Title: Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification
Authors: Dirk Beyer, Nian-Ze Lee, Philipp Wendler
Comments: 23 pages, 6 figures, 2 tables
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[33]  arXiv:2208.05440 (cross-list from cs.LG) [pdf, other]
Title: Differentiable Inference of Temporal Logic Formulas
Authors: Nicole Fronda, Houssam Abbas
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

Wed, 10 Aug 2022

[34]  arXiv:2208.04692 [pdf, other]
Title: A Tutorial on the Interoperability of Self-sovereign Identities
Authors: Hakan Yildiz, Axel Küpper, Dirk Thatmann, Sebastian Göndör, Patrick Herbke
Comments: Submitted to IEEE Communications Surveys & Tutorials
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[35]  arXiv:2208.04351 [pdf, other]
Title: Learning to Learn to Predict Performance Regressions in Production at Meta
Authors: Moritz Beller, Hongyu Li, Vivek Nair, Vijayaraghavan Murali, Imad Ahmad, Jürgen Cito, Drew Carlson, Ari Aye, Wes Dyer
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[36]  arXiv:2208.04761 (cross-list from cs.CY) [pdf]
Title: Digital health shopping assistant with React Native: a simple technological solution to a complex health problem
Authors: Alina Govoruhina, Anastasija Nikiforova
Subjects: Computers and Society (cs.CY); Human-Computer Interaction (cs.HC)
[37]  arXiv:2208.04719 (cross-list from cs.CR) [pdf, other]
Title: STELLA: Sparse Taint Analysis for Enclave Leakage Detection
Authors: Yang Chen, Jianfeng jiang, Shoumeng Yan, Hui Xu
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[38]  arXiv:2208.04713 (cross-list from cs.CY) [pdf, ps, other]
Title: Reflections on the Evolution of Computer Science Education
Authors: Sreekrishnan Venkateswaran
Comments: Preprint Edition of the paper published in ACM SIGSOFT Software Engineering Notes (SEN), Volume 47, Issue 3, July 2022 (this https URL)
Journal-ref: ACM SIGSOFT Software Engineering Notes (SEN), Volume 47, Issue 3, July2022
Subjects: Computers and Society (cs.CY); Software Engineering (cs.SE)
[39]  arXiv:2208.04631 (cross-list from cs.PL) [pdf, other]
Title: Session Fidelity for ElixirST: A Session-Based Type System for Elixir Modules
Authors: Gerard Tabone, Adrian Francalanza
Comments: In Proceedings ICE 2022, arXiv:2208.04086
Journal-ref: EPTCS 365, 2022, pp. 17-36
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[ total of 39 entries: 1-25 | 4-28 | 29-39 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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