Latest Research
Catala: A Programming Language for the Law
Law at large underpins modern society, codifying and governing many aspects of citizens' daily lives.
PROGRAMMING LANGUAGES
Real-Time Navigation System for a Low-Cost Mobile Robot with an RGB-D Camera
• shinkansan/2019-UGRP-DPoom
• 
In this study, we propose a navigation system that is operable on a low-end computer with an RGB-D camera and a mobile robot platform for the operation of an integrated autonomous driving system.
ROBOTICS SYSTEMS AND CONTROL SYSTEMS AND CONTROL
Who Can Find My Devices? Security and Privacy of Apple's Crowd-Sourced Bluetooth Location Tracking System
In particular, OF aims to ensure finder anonymity, untrackability of owner devices, and confidentiality of location reports.
CRYPTOGRAPHY AND SECURITY NETWORKING AND INTERNET ARCHITECTURE
Distributed statistical inference with pyhf enabled through funcX
In High Energy Physics facilities that provide High Performance Computing environments provide an opportunity to efficiently perform the statistical inference required for analysis of data from the Large Hadron Collider, but can pose problems with orchestration and efficient scheduling.
DISTRIBUTED, PARALLEL, AND CLUSTER COMPUTING HIGH ENERGY PHYSICS - EXPERIMENT
Decoding supercodes of Gabidulin codes and applications to cryptanalysis
This article discusses the decoding of Gabidulin codes and shows how to extend the usual decoder to any supercode of a Gabidulin code at the cost of a significant decrease of the decoding radius.
CRYPTOGRAPHY AND SECURITY INFORMATION THEORY INFORMATION THEORY
Path continuity for multi-wheeled AGVs
Notwithstanding the growing presence of AGVs in the industry, there is a lack of research about multi-wheeled AGVs which offer higher maneuverability and space efficiency.
ROBOTICS
LEAF: Simulating Large Energy-Aware Fog Computing Environments
Despite constant improvements in efficiency, today's data centers and networks consume enormous amounts of energy and this demand is expected to rise even further.
DISTRIBUTED, PARALLEL, AND CLUSTER COMPUTING
PARIMA: Viewport Adaptive 360-Degree Video Streaming
However, streaming 360{\deg} videos require high bandwidth, thus escalating the need for developing optimized streaming algorithms.
MULTIMEDIA
A Differential Testing Approach for Evaluating Abstract Syntax Tree Mapping Algorithms
Our approach determines that GumTree, MTDiff and IJM generate inaccurate mappings for 20%--29%, 25%--36% and 21%--30% of the file revisions, respectively.
SOFTWARE ENGINEERING
Recovering or Testing Extended-Affine Equivalence
This problem has two variants: EA-testing deals with figuring out whether the two functions can be EA-equivalent, and EA-recovery is about recovering the tuple $(A, B, C)$ if it exists.
CRYPTOGRAPHY AND SECURITY DISCRETE MATHEMATICS INFORMATION THEORY INFORMATION THEORY