Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- short-paperOctober 2022
Pynblint: a static analyzer for Python Jupyter notebooks
CAIN '22: Proceedings of the 1st International Conference on AI Engineering: Software Engineering for AIPages 48–49https://doi.org/10.1145/3522664.3528612Jupyter Notebook is the tool of choice of many data scientists in the early stages of ML workflows. The notebook format, however, has been criticized for inducing bad programming practices; indeed, researchers have already shown that open-source ...
- research-articleJanuary 2021
Enforcing green code with Android lint
ASE '20: Proceedings of the 35th IEEE/ACM International Conference on Automated Software EngineeringPages 85–90https://doi.org/10.1145/3417113.3422188Nowadays, energy efficiency is recognized as a core quality attribute of applications (apps) running on Android-powered devices constrained by their battery. Indeed, energy hogging apps are a liability to both the end-user and software developer. Yet, ...
- research-articleOctober 2020
Seenomaly: vision-based linting of GUI animation effects against design-don't guidelines
ICSE '20: Proceedings of the ACM/IEEE 42nd International Conference on Software EngineeringPages 1286–1297https://doi.org/10.1145/3377811.3380411GUI animations, such as card movement, menu slide in/out, snackbar display, provide appealing user experience and enhance the usability of mobile applications. These GUI animations should not violate the platform's UI design guidelines (referred to as ...
- short-paperOctober 2019
AccessibiLint: a tool for early accessibility verification for android native applications
IHC '19: Proceedings of the 18th Brazilian Symposium on Human Factors in Computing SystemsArticle No.: 61, Pages 1–4https://doi.org/10.1145/3357155.3360474Smartphones are a powerful tool to help visually impaired people in accessing relevant services such as education, transportation and leisure through applications. Yet, despite the growing number of mobile accessibility studies, compared to website-...
- research-articleApril 2018
Do Java programmers write better Python? Studying off-language code quality on GitHub
Programming '18: Companion Proceedings of the 2nd International Conference on the Art, Science, and Engineering of ProgrammingPages 127–134https://doi.org/10.1145/3191697.3214341There are style guides and best practices for many programming languages. Their goal is to promote uniformity and readability of code, consequentially reducing the chance of errors.
While programmers who are frequently using the same programming ...
- articleJanuary 2014
Software That Checks Software: The Impact of PC-lint
James Gimpel gives some fascinating insights into the growth, technology, and impact of the very widely used static analyzer, PC-lint in the never-ending battle against the bug.
- ArticleDecember 1994
LCLint: a tool for using specifications to check code
SIGSOFT '94: Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineeringPages 87–96https://doi.org/10.1145/193173.195297This paper describes LCLint, an efficient and flexible tool that accepts as input programs (written in ANSI C) and various levels of formal specification. Using this information, LCLint reports inconsistencies between a program and its specification. We ...
Also Published in:
ACM SIGSOFT Software Engineering Notes: Volume 19 Issue 5