Search

Several techniques have been proposed to automate code review. Early support consisted in recommending the most suited reviewer for a given change or in prioritizing the review tasks. With the advent of deep learning in software engineering, the level of automation has been pushed to new heights, with approaches able to provide feedback on source code in natural language as a human reviewer would do. Also, recent work documented open source projects adopting Large Language Models (LLMs) as co-reviewers. Although the research in this field is very active, little is known about the actual impact of including automatically generated code reviews in the code review process. While there are many aspects worth investigating, in this work we focus on three of them: (i) review quality, i.e., the reviewer's ability to identify issues in the code; (ii) review cost, i.e., the time spent reviewing the code; and (iii) reviewer's confidence, i.e., how confident is the reviewer about the provided feedback. We run a controlled experiment with 29 experts who reviewed different programs with/without the support of an automatically generated code review. During the experiment we monitored the reviewers' activities, for over 50 hours of recorded code reviews. We show that reviewers consider valid most of the issues automatically identified by the LLM and that the availability of an automated review as a starting point strongly influences their behavior: Reviewers tend to focus on the code locations indicated by the LLM rather than searching for additional issues in other parts of the code. The reviewers who started from an automated review identified a higher number of low-severity issues while, however, not identifying more high-severity issues as compared to a completely manual process. Finally, the automated support did not result in saved time and did not increase the reviewers' confidence.

Code completion is a key feature of Integrated Development Environments (IDEs), aimed at predicting the next tokens a developer is likely to write, helping them write code faster and with less effort. Modern code completion approaches are often powered by deep learning (DL) models. However, the swift evolution of programming languages poses a critical challenge to the performance of DL-based code completion models: Can these models generalize across different language versions? This paper delves into such a question. In particular, we assess the capabilities of a state-of-the-art model, CodeT5, to generalize across nine different Java versions, ranging from Java 2 to Java 17, while being exclusively trained on Java 8 code. Our evaluation spans three completion scenarios, namely, predicting tokens, constructs (e.g., the condition of an if statement) and entire code blocks. The results of our study reveal a noticeable disparity among language versions, with the worst performance being obtained in Java 2 and 17 - the most far apart versions compared to Java 8. We investigate possible causes for the performance degradation and show that the adoption of a limited version-specific fine-tuning can partially alleviate the problem. Our work raises awareness on the importance of continuous model refinement, and it can inform the design of alternatives to make code completion models more robust to language evolution.

Ion acceleration from gaseous targets driven by relativistic-intensity lasers was demonstrated as early as the late 90s, yet most of the experiments conducted to date have involved picosecond-duration, Nd:glass lasers operating at low repetition rate. Here, we present measurements on the interaction of ultraintense ($\sim 10^{20}\,\rm W\,cm^{-2}$, 1 PW), ultrashort ($\sim 70\,\rm fs$) Ti:Sa laser pulses with near-critical ($\sim 10^{20}\,\rm cm^{-3}$) helium gas jets, a debris-free targetry compatible with high ($\sim 1\,\rm Hz$) repetition rate operation. We provide evidence of $\alpha$ particles being forward accelerated up to $\sim 2.7\,\rm MeV$ energy with a total flux of $\sim 10^{11}\,\rm sr^{-1}$ as integrated over $>0.1 \,\rm MeV$ energies and detected within a $0.5\,\rm mrad$ solid angle. We also report on on-axis emission of relativistic electrons with an exponentially decaying spectrum characterized by a $\sim 10\,\rm MeV$ slope, i.e., five times larger than the standard ponderomotive scaling. The total charge of these electrons with energy above 2 MeV is estimated to be of $\sim 1 \,\rm nC$, corresponding to $\sim 0.1\,\%$ of the laser drive energy. In addition, we observe the formation of a plasma channel, extending longitudinally across the gas density maximum and expanding radially with time. These results are well captured by large-scale particle-in-cell simulations, which reveal that the detected fast ions most likely originate from reflection off the rapidly expanding channel walls. The latter process is predicted to yield ion energies in the MeV range, which compare well with the measurements. Finally, direct laser acceleration is shown to be the dominant mechanism behind the observed electron energization.

Objective: To conduct a proof-of-concept study of the detection of two synthetic models of severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) using polarimetric imaging. Methods: Two SARS-CoV-2 models were prepared as engineered lentiviruses pseudotyped with the G protein of the vesicular stomatitis virus, and with the characteristic Spike protein of SARS-CoV-2. Samples were preparations in two biofluids (saline solution and artificial saliva), in four concentrations, and deposited as 5-{\mu}L droplets on a supporting plate. The angles of maximal degree of linear polarization (DLP) of light diffusely scattered from dry residues were determined using Mueller polarimetry of 87 samples at 405 nm and 514 nm. A polarimetric camera was used for simultaneous imaging of several samples under 380-420 nm illumination at angles similar to those of maximal DLP. A per-pixel image analysis included quantification and combination of polarization feature descriptors in other 475 samples. Results: The angles (from sample surface) of maximal DLP were 3 degrees for 405 nm and 6 degrees for 514 nm. Similar viral particles that differ only in the characteristic spike protein of the SARS-CoV-2, their corresponding negative controls, fluids, and the sample holder were discerned from polarimetric image analysis at 10-degree and 15-degree configurations. Conclusion: Polarimetric imaging in the visible spectrum has the potential for non-contact, reagent-free detection of viruses in multiple dry fluid residues simultaneously. Further analysis including real SARS-CoV-2 in human samples -- particularly, fresh saliva -- are required. Significance: Polarimetric imaging under visible light could contribute to fast, cost-effective screening of SARS-CoV-2 and other pathogens.

A physically-based method to derive well-posed instances of the two-fluid transport equations for two-phase flow, from the Hamilton principle, is presented. The state of the two-fluid flow is represented by the superficial velocity and the drift-flux, instead of the average velocities of each fluid. This generates the conservation equations of the two principal motion modes naturally: the global center-of-mass flow and the relative velocity between fluids. Well-posed equations can be obtained by modelling the storage of kinetic energy in fluctuations structures induced by the interaction between fluids, like wakes and vortexes. In this way, the equations can be regularized without losing in the process the instabilities responsible for flow-patterns formation and transition. A specific case of vertical air-water flow is analyzed showing the capability of the present model to predict the formation of the slug flow regime as trains of non-linear waves.

This paper proposes a DNN-based system that detects multiple people from a single depth image. Our neural network processes a depth image and outputs a likelihood map in image coordinates, where each detection corresponds to a Gaussian-shaped local distribution, centered at the person's head. The likelihood map encodes both the number of detected people and their 2D image positions, and can be used to recover the 3D position of each person using the depth image and the camera calibration parameters. Our architecture is compact, using separated convolutions to increase performance, and runs in real-time with low budget GPUs. We use simulated data for initially training the network, followed by fine tuning with a relatively small amount of real data. We show this strategy to be effective, producing networks that generalize to work with scenes different from those used during training. We thoroughly compare our method against the existing state-of-the-art, including both classical and DNN-based solutions. Our method outperforms existing methods and can accurately detect people in scenes with significant occlusions.

In this paper we propose a method based on deep learning that detects multiple people from a single overhead depth image with high reliability. Our neural network, called DPDnet, is based on two fully-convolutional encoder-decoder neural blocks based on residual layers. The Main Block takes a depth image as input and generates a pixel-wise confidence map, where each detected person in the image is represented by a Gaussian-like distribution. The refinement block combines the depth image and the output from the main block, to refine the confidence map. Both blocks are simultaneously trained end-to-end using depth images and head position labels. The experimental work shows that DPDNet outperforms state-of-the-art methods, with accuracies greater than 99% in three different publicly available datasets, without retraining not fine-tuning. In addition, the computational complexity of our proposal is independent of the number of people in the scene and runs in real time using conventional GPUs.

Web services often impose inter-parameter dependencies that restrict the way in which two or more input parameters can be combined to form valid calls to the service. Unfortunately, current specification languages for web services like the OpenAPI Specification (OAS) provide no support for the formal description of such dependencies, which makes it hardly possible to automatically discover and interact with services without human intervention. In this article, we present an approach for the specification and automated analysis of inter-parameter dependencies in web APIs. We first present a domain-specific language, called Inter-parameter Dependency Language (IDL), for the specification of dependencies among input parameters in web services. Then, we propose a mapping to translate an IDL document into a constraint satisfaction problem (CSP), enabling the automated analysis of IDL specifications using standard CSP-based reasoning operations. Specifically, we present a catalogue of nine analysis operations on IDL documents allowing to compute, for example, whether a given request satisfies all the dependencies of the service. Finally, we present a tool suite including an editor, a parser, an OAS extension, a constraint programming-aided library, and a test suite supporting IDL specifications and their analyses. Together, these contributions pave the way for a new range of specification-driven applications in areas such as code generation and testing.