341 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Institut Polytechnique de ParisFR3 papers
- Los Alamos National LaboratoryUS3 papers
- Télécom SudParisFR3 papers
- ARM (United Kingdom)GB2 papers
- Intel (United Kingdom)GB2 papers
- Stanford UniversityUS2 papers
- Stony Brook UniversityUS2 papers
- The University of Texas at AustinUS2 papers
- Universitat Politècnica de CatalunyaES2 papers
- University of California San DiegoUS2 papers
- University of CambridgeGB2 papers
- University of RochesterUS2 papers
39 papers
Mapping the Storm: Geospatial Impacts of Severe Weather on LEO Network Performance
Sina Ehsani, Bhanu Pallakonda, Pragyana K. Mishra
LEO satellite constellations, led by deployments such as Starlink, are playing an increasingly pivotal role in enabling global broadband connectivity. However, the reliability and…
SPEC CPU: The Next Generation
Mahesh Madhav, Allen Lee, Andres Mejia +31
The march toward developing relevant and robust CPU benchmarks continues with the introduction of SPEC CPU 2026, the next generation suite for measuring processor performance. This…
Aiming for AI Interoperability: Challenges and Opportunities
Benjamin Faveri, Craig Shank, Richard Whitt +1
The Aiming for AI Interoperability report investigates the ongoing challenge of achieving regulatory and technical AI interoperability as national and global AI governance efforts…
Towards Human Engagement with Realistic AI Combat Pilots
Ardian Selmonaj, Giacomo Del Rio, Adrian Schneider +1
We present a system that enables real-time interaction between human users and agents trained to control fighter jets in simulated 3D air combat scenarios. The agents are trained i…
On Automating Proofs of Multiplier Adder Trees using the RTL Books
Mayank Manjrekar
We present an experimental, verified clause processor ctv-cp that fits into the framework used at Arm for formal verification of arithmetic hardware designs. This largely automates…
Ember: A Compiler for Efficient Embedding Operations on Decoupled Access-Execute Architectures
Marco Siracusa, Olivia Hsu, Victor Soria-Pardos +8
Irregular embedding lookups are a critical bottleneck in recommender models, sparse large language models, and graph learning models. In this paper, we first demonstrate that, by o…
Multimodal Chaptering for Long-Form TV Newscast Video
Khalil Guetari, Yannis Tevissen, Frédéric Petitpont
We propose a novel approach for automatic chaptering of TV newscast videos, addressing the challenge of structuring and organizing large collections of unsegmented broadcast conten…
Inserting Faces inside Captions: Image Captioning with Attention Guided Merging
Yannis Tevissen, Khalil Guetari, Marine Tassel +2
Image captioning models are widely used to describe recent and archived pictures with the objective of improving their accessibility and retrieval. Yet, these approaches tend to be…
A Formalization of Finite Group Theory: Part II
David M. Russinoff
This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgro…
A Formalization of Finite Group Theory: Part III
David M. Russinoff
This is the third and final installment of an exposition of an ACL2 formalization of finite group theory. Part I covers groups and subgroups, cosets, normal subgroups, and quotient…
Robotic Table Tennis: A Case Study into a High Speed Learning System
David B. D'Ambrosio, Jonathan Abelian, Saminda Abeyruwan +32
We present a deep-dive into a real-world robotic learning system that, in previous work, was shown to be capable of hundreds of table tennis rallies with a human and has the abilit…
FABRID: Flexible Attestation-Based Routing for Inter-Domain Networks
Cyrill Krähenbühl, Marc Wyss, David Basin +3
In its current state, the Internet does not provide end users with transparency and control regarding on-path forwarding devices. In particular, the lack of network device informat…
The Newsbridge -Telecom SudParis VoxCeleb Speaker Recognition Challenge 2022 System Description
Yannis Tevissen, Jérôme Boudy, Frédéric Petitpont
We describe the system used by our team for the VoxCeleb Speaker Recognition Challenge 2022 (VoxSRC 2022) in the speaker diarization track. Our solution was designed around a new c…
Async-HFL: Efficient and Robust Asynchronous Federated Learning in Hierarchical IoT Networks
Xiaofan Yu, Ludmila Cherkasova, Harsh Vardhan +5
Federated Learning (FL) has gained increasing interest in recent years as a distributed on-device learning paradigm. However, multiple challenges remain to be addressed for deployi…
SecDDR: Enabling Low-Cost Secure Memories by Protecting the DDR Interface
Ali Fakhrzadehgan, Prakash Ramrakhyani, Moinuddin K. Qureshi +1
The security goals of cloud providers and users include memory confidentiality and integrity, which requires implementing Replay-Attack protection (RAP). RAP can be achieved using…
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code
Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya +7
Most programs compiled to WebAssembly (Wasm) today are written in unsafe languages like C and C++. Unfortunately, memory-unsafe C code remains unsafe when compiled to Wasm -- and a…
Bring the BitCODE -- Moving Compute and Data in Distributed Heterogeneous Systems
Wenbin Lu, Luis E. Peña, Pavel Shamis +3
In this paper, we present a framework for moving compute and data between processing elements in a distributed heterogeneous system. The implementation of the framework is based on…
Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications
Rob Sumners, Cuong Chau
This volume contains a selection of papers presented at the 17th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2022). The workshops are the premier t…
Combining Individual and Joint Networking Behavior for Intelligent IoT Analytics
Jeya Vikranth Jeyakumar, Ludmila Cherkasova, Saina Lajevardi +4
The IoT vision of a trillion connected devices over the next decade requires reliable end-to-end connectivity and automated device management platforms. While we have seen successf…
Federated Learning Based on Dynamic Regularization
Durmus Alp Emre Acar, Yue Zhao, Ramon Matas Navarro +3
We propose a novel federated learning method for distributively training neural network models, where the server orchestrates cooperation between a subset of randomly chosen device…
UCX Programming Interface for Remote Function Injection and Invocation
Luis E. Peña, Wenbin Lu, Pavel Shamis +1
Network library APIs have historically been developed with the emphasis on data movement, placement, and communication semantics. Many communication semantics are available across…
Two-Chains: High Performance Framework for Function Injection and Execution
Megan Grodowitz, Luis E. Peña, Curtis Dunham +3
Some important problems, such as semantic graph analysis, require large-scale irregular applications composed of many coordinating tasks that operate on a shared data set so big it…
A Fokker-Planck Solver to Model MTJ Stochasticity
Fernando García-Redondo, Pranay Prabhat, Mudit Bhargava
Magnetic Tunnel Junctions (MTJs) constitute the novel memory element in STT-MRAM, which is ramping to production at major foundries as an eFlash replacement. MTJ switching exhibits…
Stochastic-Shield: A Probabilistic Approach Towards Training-Free Adversarial Defense in Quantized CNNs
Lorena Qendro, Sangwon Ha, René de Jong +1
Quantized neural networks (NN) are the common standard to efficiently deploy deep learning models on tiny hardware platforms. However, we notice that quantized NNs are as vulnerabl…