Concept
Source code
Related publications (162)
ACTOR: Action-Guided Kernel Fuzzing
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 ...
Berkeley2023SimMMDG: A Simple and Effective Framework for Multi-modal Domain Generalization
Olga Fink, Ismail Nejjar, Han Sun, Hao Dong
In real-world scenarios, achieving domain generalization (DG) presents significant challenges as models are required to generalize to unknown target distributions. Generalizing to unseen multi-modal distributions poses even greater difficulties due to the ...
2023Understanding Revision Behavior in Adaptive Writing Support Systems for Education
Paola Mejia Domenzain, Luca Mouchel, 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 ...
Zenodo2023Localizing Traffic Differentiation
Pavlos Nikolopoulos, Muhammad Abdullah, 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 ...
2023Toward 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 ...
IEEE2022Automated Verification of Network Function Binaries
George Candea, Solal Vincenzo Pirelli
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 Association2022Templates 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 SOC2022RayTran: 3D Pose Estimation and Shape Reconstruction of Multiple Objects from Videos with Ray-Traced Transformers
Michal Jan Tyszkiewicz, Vittorio Ferrari, Kevis-Kokitsi Maninis
We propose a transformer-based neural network architecture for multi-object 3D reconstruction from RGB videos. It relies on two alternative ways to represent its knowledge: as a global 3D grid of features and an array of view-specific 2D grids. We progress ...
Springer2022