Zobrazeno 1 - 10
of 9 000
pro vyhledávání: '"Pradel, A."'
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. F
Externí odkaz:
http://arxiv.org/abs/2402.02047
Publikováno v:
ICSE 2024
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 more and more code bases get type-annotated, static type checkers detec
Externí odkaz:
http://arxiv.org/abs/2401.06619
Autor:
Eghbali, Aryaz, Pradel, Michael
Large language models (LLMs) trained on datasets of publicly available source code have established a new state of the art in code generation tasks. However, these models are mostly unaware of the code that exists within a specific project, preventin
Externí odkaz:
http://arxiv.org/abs/2401.01701
Autor:
Paltenghi, Matteo, Pradel, Michael
As quantum computing is rising in popularity, the amount of quantum programs and the number of developers writing them are increasing rapidly. Unfortunately, writing correct quantum programs is challenging due to various subtle rules developers need
Externí odkaz:
http://arxiv.org/abs/2310.00718
Fuzzing has achieved tremendous success in discovering bugs and vulnerabilities in various software systems. Systems under test (SUTs) that take in programming or formal language as inputs, e.g., compilers, runtime engines, constraint solvers, and so
Externí odkaz:
http://arxiv.org/abs/2308.04748
Neural network-based techniques for automated program repair are becoming increasingly effective. Despite their success, little is known about why they succeed or fail, and how their way of reasoning about the code to repair compares to human develop
Externí odkaz:
http://arxiv.org/abs/2305.07287
Autor:
Lu, Ru-Sen, Asada, Keiichi, Krichbaum, Thomas P., Park, Jongho, Tazaki, Fumie, Pu, Hung-Yi, Nakamura, Masanori, Lobanov, Andrei, Hada, Kazuhiro, Akiyama, Kazunori, Kim, Jae-Young, Marti-Vidal, Ivan, Gómez, José L., Kawashima, Tomohisa, Yuan, Feng, Ros, Eduardo, Alef, Walter, Britzen, Silke, Bremer, Michael, Broderick, Avery E., Doi, Akihiro, Giovannini, Gabriele, Giroletti, Marcello, Ho, Paul T. P., Honma, Mareki, Hughes, David H., Inoue, Makoto, Jiang, Wu, Kino, Motoki, Koyama, Shoko, Lindqvist, Michael, Liu, Jun, Marscher, Alan P., Matsushita, Satoki, Nagai, Hiroshi, Rottmann, Helge, Savolainen, Tuomas, Schuster, Karl-Friedrich, Shen, Zhi-Qiang, de Vicente, Pablo, Walker, R. Craig, Yang, Hai, Zensus, J. Anton, Algaba, Juan Carlos, Allardi, Alexander, Bach, Uwe, Berthold, Ryan, Bintley, Dan, Byun, Do-Young, Casadio, Carolina, Chang, Shu-Hao, Chang, Chih-Cheng, Chang, Song-Chu, Chen, Chung-Chen, Chen, Ming-Tang, Chilson, Ryan, Chuter, Tim C., Conway, John, Crew, Geoffrey B., Dempsey, Jessica T., Dornbusch, Sven, Faber, Aaron, Friberg, Per, García, Javier González, Garrido, Miguel Gómez, Han, Chih-Chiang, Han, Kuo-Chang, Hasegawa, Yutaka, Herrero-Illana, Ruben, Huang, Yau-De, Huang, Chih-Wei L., Impellizzeri, Violette, Jiang, Homin, Jinchi, Hao, Jung, Taehyun, Kallunki, Juha, Kirves, Petri, Kimura, Kimihiro, Koay, Jun Yi, Koch, Patrick M., Kramer, Carsten, Kraus, Alex, Kubo, Derek, Kuo, Cheng-Yu, Li, Chao-Te, Lin, Lupin Chun-Che, Liu, Ching-Tang, Liu, Kuan-Yu, Lo, Wen-Ping, Lu, Li-Ming, MacDonald, Nicholas, Martin-Cocher, Pierre, Messias, Hugo, Meyer-Zhao, Zheng, Minter, Anthony, Nair, Dhanya G., Nishioka, Hiroaki, Norton, Timothy J., Nystrom, George, Ogawa, Hideo, Oshiro, Peter, Patel, Nimesh A, Pen, Ue-Li, Pidopryhora, Yurii, Pradel, Nicolas, Raffin, Philippe A., Rao, Ramprasad, Ruiz, Ignacio, Sanchez, Salvador, Shaw, Paul, Snow, William, Sridharan, T. K., Srinivasan, Ranjani, Tercero, Belén, Torne, Pablo, Traianou, Efthalia, Wagner, Jan, Walther, Craig, Wei, Ta-Shun, Yang, Jun, Yu, Chen-Yu
The nearby radio galaxy M87 is a prime target for studying black hole accretion and jet formation^{1,2}. Event Horizon Telescope observations of M87 in 2017, at a wavelength of 1.3 mm, revealed a ring-like structure, which was interpreted as gravitat
Externí odkaz:
http://arxiv.org/abs/2304.13252