The state of the ml-universe: 10 years of artificial intelligence & machine learning software development on github
In the last few years, artificial intelligence (AI) and machine learning (ML) have become
ubiquitous terms. These powerful techniques have escaped obscurity in academic …
ubiquitous terms. These powerful techniques have escaped obscurity in academic …
To type or not to type? a systematic comparison of the software quality of javascript and typescript applications on github
JavaScript (JS) is one of the most popular programming languages, and widely used for web
apps, mobile apps, desktop clients, and even backend development. Due to its dynamic and …
apps, mobile apps, desktop clients, and even backend development. Due to its dynamic and …
Pyty: Repairing static type errors in python
YW Chow, L Di Grazia, M Pradel - Proceedings of the IEEE/ACM 46th …, 2024 - dl.acm.org
Gradual typing enables developers to annotate types of their own choosing, offering a
flexible middle ground between no type annotations and a fully statically typed language. As …
flexible middle ground between no type annotations and a fully statically typed language. As …
On the vulnerability proneness of multilingual code
Software construction using multiple languages has long been a norm, yet it is still unclear if
multilingual code construction has significant security implications and real security …
multilingual code construction has significant security implications and real security …
How are multilingual systems constructed: Characterizing language use and selection in open-source multilingual software
For many years now, modern software is known to be developed in multiple languages
(hence termed as multilingual or multi-language software). Yet, to date, we still only have …
(hence termed as multilingual or multi-language software). Yet, to date, we still only have …
The evolution of type annotations in python: an empirical study
L Di Grazia, M Pradel - Proceedings of the 30th ACM Joint European …, 2022 - dl.acm.org
Type annotations and gradual type checkers attempt to reveal errors and facilitate
maintenance in dynamically typed programming languages. Despite the availability of these …
maintenance in dynamically typed programming languages. Despite the availability of these …
Who judges the judge: An empirical study on online judge tests
Online Judge platforms play a pivotal role in education, competitive programming,
recruitment, career training, and large language model training. They rely on predefined test …
recruitment, career training, and large language model training. They rely on predefined test …
An empirical study of developers' discussions about security challenges of different programming languages
Given programming languages can provide different types and levels of security support, it is
critically important to consider security aspects while selecting programming languages for …
critically important to consider security aspects while selecting programming languages for …
On the relationship between story points and development effort in Agile open-source software
Background: Previous work has provided some initial evidence that Story Point (SP)
estimated by human-experts may not accurately reflect the effort needed to realise Agile …
estimated by human-experts may not accurately reflect the effort needed to realise Agile …
FAUSTA: scaling dynamic analysis with traffic generation at whatsapp
We introduce Fausta, an algorithmic traffic gener-ation platform that enables analysis and
testing at scale. Fausta has been deployed at Meta to analyze and test the WhatsApp plat …
testing at scale. Fausta has been deployed at Meta to analyze and test the WhatsApp plat …