Publications associées à Code source

Spatiotemporal energy‐density distribution of time‐reversed electromagnetic fields

Farhad Rachidi-Haeri, Marcos Rubinstein, Hamidreza Karami, Elias Per Joachim Le Boudec, Nicolas Mora Parra

Time reversal exploits the invariance of electromagnetic wave propagation in reciprocal and lossless media to localize radiating sources. Time-reversed measurements are back-propagated in a simulated domain and converge to the unknown source location. The ...

2024

ACTOR: Action-Guided Kernel Fuzzing

Mathias Josef Payer

Fuzzing reliably and efficiently finds bugs in software, including operating system kernels. In general, higher code coverage leads to the discovery of more bugs. This is why most existing kernel fuzzers adopt strategies to generate a series of inputs that ...

Usenix Assoc2023

Understanding Revision Behavior in Adaptive Writing Support Systems for Education

Paola Mejia Domenzain, Luca Mouchel, Tanja Christina Käser Jacober, Thiemo Wambsganss

Revision behavior in adaptive writing support systems is an important and relatively new area of research that can improve the design and effectiveness of these tools, and promote students' self-regulated learning (SRL). Understanding how these tools are u ...

Zenodo2023

Localizing Traffic Differentiation

Pavlos Nikolopoulos, Muhammad Abdullah, Aikaterini Argyraki, Zeinab Shmeis

Network neutrality is important for users, content providers, policymakers, and regulators interested in understanding how network providers differentiate performance. When determining whether a network differentiates against certain traffic, it is importa ...

2023

Center-Based Decoupled Point Cloud Registration for 6D Object Pose Estimation

Mathieu Salzmann, Zheng Dang, Jiancheng Yang, Haobo Jiang

In this paper, we propose a novel center-based decoupled point cloud registration framework for robust 6D object pose estimation in real-world scenarios. Our method decouples the translation from the entire transformation by predicting the object center an ...

Ieee Computer Soc2023

Toward Code Review Notebooks

Denis Gillet, Maria Jesus Rodriguez Triana, Juan Carlos Farah, Sandy Ingram

Peer code review has proven to be a valuable tool in software engineering. However, integrating code reviews into educational contexts is particularly challenging due to the complexity of both the process and popular code review tools. We propose to addres ...

IEEE2022

Automated Verification of Network Function Binaries

George Candea, Solal Vincenzo Pirelli, Aikaterini Argyraki

Formally verifying the correctness of software network functions (NFs) is necessary for network reliability, yet existing techniques require full source code and mandate the use of specific data structures. We describe an automated technique to verify NF b ...

USENIX Association2022

Templates for 3D Object Pose Estimation Revisited: Generalization to New Objects and Robustness to Occlusions

Mathieu Salzmann, Vincent Lepetit, Yinlin Hu, Van Nguyen Nguyen, Yang Xiao

We present a method that can recognize new objects and estimate their 3D pose in RGB images even under partial occlusions. Our method requires neither a training phase on these objects nor real images depicting them, only their CAD models. It relies on a s ...

IEEE COMPUTER SOC2022

U-Boost NAS: Utilization-Boosted Differentiable Neural Architecture Search

Pascal Frossard, Nikolaos Dimitriadis, Ahmet Caner Yüzügüler

Optimizing resource utilization in target platforms is key to achieving high performance during DNN inference. While optimizations have been proposed for inference latency, memory footprint, and energy consumption, prior hardware-aware neural architecture ...

SPRINGER INTERNATIONAL PUBLISHING AG2022

On the Scalability of Vision-based Drone Swarms in the Presence of Occlusions

Dario Floreano, Fabian Maximilian Schilling, Enrica Soria

Vision-based drone swarms have recently emerged as a promising alternative to address the fault-tolerance and flexibility limitations of centralized and communication-based aerial collective systems. Although most vision-based control algorithms rely on th ...

2022