Publications related to Source code

SAT-based Exact Modulo Scheduling Mapping for Resource-Constrained CGRAs

David Atienza Alonso, Giovanni Ansaloni, José Angel Miranda Calero, Rubén Rodríguez Álvarez, Juan Pablo Sapriza Araujo, Benoît Walter Denkinger

Coarse-Grain Reconfigurable Arrays (CGRAs) represent emerging low-power architectures designed to accelerate Compute-Intensive Loops (CILs). The effectiveness of CGRAs in providing acceleration relies on the quality of mapping: how efficiently the CIL is c ...

2024

SimMMDG: 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 ...

2023

Understanding 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 ...

Zenodo2023

Localizing 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 ...

2023

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

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

RayTran: 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

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

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Source code

SAT-based Exact Modulo Scheduling Mapping for Resource-Constrained CGRAs

ACTOR: Action-Guided Kernel Fuzzing

SimMMDG: A Simple and Effective Framework for Multi-modal Domain Generalization

Understanding Revision Behavior in Adaptive Writing Support Systems for Education

Localizing Traffic Differentiation

Toward Code Review Notebooks

Automated Verification of Network Function Binaries

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

RayTran: 3D Pose Estimation and Shape Reconstruction of Multiple Objects from Videos with Ray-Traced Transformers

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

Graph Chatbot

Chat with Graph Search

SAT-based Exact Modulo Scheduling Mapping for Resource-Constrained CGRAs

Localizing Traffic Differentiation

ACTOR: Action-Guided Kernel Fuzzing

Toward Code Review Notebooks

Automated Verification of Network Function Binaries

SimMMDG: A Simple and Effective Framework for Multi-modal Domain Generalization

RayTran: 3D Pose Estimation and Shape Reconstruction of Multiple Objects from Videos with Ray-Traced Transformers

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

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

Understanding Revision Behavior in Adaptive Writing Support Systems for Education