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

Software Engineering

Authors and titles for cs.SE in Dec 2020, skipping first 150

[ total of 155 entries: 1-25 | ... | 76-100 | 101-125 | 126-150 | 151-155 ]
[ showing 25 entries per page: fewer | more | all ]
[151]  arXiv:2012.13638 (cross-list from cs.LO) [pdf]
Title: A Standard Grammar for Temporal Logics on Finite Traces
Authors: Marco Favorito
Comments: 17 pages
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[152]  arXiv:2012.14086 (cross-list from cs.DC) [pdf]
Title: A Kubernetes Controller for Managing the Availability of Elastic Microservice Based Stateful Applications
Comments: Paper submitted to the Journal of Systems and Software
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)
[153]  arXiv:2012.14366 (cross-list from cs.AI) [pdf, ps, other]
Title: Counting the Number of Solutions to Constraints
Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[154]  arXiv:2012.14406 (cross-list from cs.LG) [pdf, other]
Title: dalex: Responsible Machine Learning with Interactive Explainability and Fairness in Python
Comments: this https URL
Journal-ref: Journal of Machine Learning Research (2021) v. 22(214); pp. 1-7
Subjects: Machine Learning (cs.LG); Human-Computer Interaction (cs.HC); Software Engineering (cs.SE); Machine Learning (stat.ML)
[155]  arXiv:2012.15489 (cross-list from cs.PL) [pdf, other]
Title: TransRegex: Multi-modal Regular Expression Synthesis by Generate-and-Repair
Comments: accepted by ICSE 2021
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[ total of 155 entries: 1-25 | ... | 76-100 | 101-125 | 126-150 | 151-155 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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