Zobrazeno 1 - 10
of 2 574
pro vyhledávání: '"Pradel P"'
Autor:
Bouzenia, Islem, Pradel, Michael
The ability to execute the test suite of a project is essential in many scenarios, e.g., to assess code quality and code coverage, to validate code changes made by developers or automated tools, and to ensure compatibility with dependencies. Despite
Externí odkaz:
http://arxiv.org/abs/2412.10133
Code changes are an integral part of the software development process. Many code changes are meant to improve the code without changing its functional behavior, e.g., refactorings and performance improvements. Unfortunately, validating whether a code
Externí odkaz:
http://arxiv.org/abs/2410.16092
In this paper, we present a comprehensive analysis and discussion of energy consumption in agricultural robots. Robots are emerging as a promising solution to address food production and agroecological challenges, offering potential reductions in che
Externí odkaz:
http://arxiv.org/abs/2410.07697
Autor:
Paltenghi, Matteo, Pradel, Michael
Quantum computing is getting increasing interest from both academia and industry, and the quantum software landscape has been growing rapidly. The quantum software stack comprises quantum programs, implementing algorithms, and platforms like IBM Qisk
Externí odkaz:
http://arxiv.org/abs/2410.00650
Autor:
Baek, Doehyun, Getz, Jakob, Sim, Yusung, Lehmann, Daniel, Titzer, Ben L., Ryu, Sukyoung, Pradel, Michael
WebAssembly (Wasm for short) brings a new, powerful capability to the web as well as Edge, IoT, and embedded systems. Wasm is a portable, compact binary code format with high performance and robust sandboxing properties. As Wasm applications grow in
Externí odkaz:
http://arxiv.org/abs/2409.00708
Experimental evaluations of software engineering innovations, e.g., tools and processes, often include human-subject studies as a component of a multi-pronged strategy to obtain greater generalizability of the findings. However, human-subject studies
Externí odkaz:
http://arxiv.org/abs/2408.05534
Autor:
Pethes, Ildikó, Piarristeguy, Andrea, Pradel, Annie, Escalier, Raphael, Micoulaut, Matthieu, Michalik, Stefan, Darpentigny, Jacques, Zitolo, Andrea, Jóvári, Pál
The structure of evaporated amorphous Ge$_x$Sb$_x$Te$_{100-2x}$ ($x =$ 6, 9, 13) alloys was investigated by neutron diffraction, X-ray diffraction and extended X-ray absorption spectroscopy (EXAFS) at the Ge, Sb and Te K-edges. Large scale structural
Externí odkaz:
http://arxiv.org/abs/2405.15411
Automated program repair has emerged as a powerful technique to mitigate the impact of software bugs on system reliability and user experience. This paper introduces RepairAgent, the first work to address the program repair challenge through an auton
Externí odkaz:
http://arxiv.org/abs/2403.17134
Publikováno v:
Proc. ACM Softw. Eng., Vol. 1, No. FSE, Article 16. Publication date: July 2024
Python has emerged as one of the most popular programming languages, extensively utilized in domains such as machine learning, data analysis, and web applications. Python's dynamic nature and extensive usage make it an attractive candidate for dynami
Externí odkaz:
http://arxiv.org/abs/2403.00539
Autor:
Spiess, Claudio, Gros, David, Pai, Kunal Suresh, Pradel, Michael, Rabin, Md Rafiqul Islam, Alipour, Amin, Jha, Susmit, Devanbu, Prem, Ahmed, Toufique
Machine learning models are widely used, but can also often be wrong. Users would benefit from a reliable indication of whether a given output from a given model should be trusted, so a rational decision can be made whether to use the output or not.
Externí odkaz:
http://arxiv.org/abs/2402.02047