Trending Research
Conditional Variational Autoencoder with Adversarial Learning for End-to-End Text-to-Speech
Several recent end-to-end text-to-speech (TTS) models enabling single-stage training and parallel sampling have been proposed, but their sample quality does not match that of two-stage TTS systems.
Sound Audio and Speech Processing
A Holistic Approach to Reactive Mobile Manipulation
We present the design and implementation of a taskable reactive mobile manipulation system.
Robotics
FogROS 2: An Adaptive and Extensible Platform for Cloud and Fog Robotics Using ROS 2
We demonstrate in example applications that the performance gained by using cloud computers can overcome the network latency to significantly speed up robot performance.
Robotics
Roaring Bitmaps: Implementation of an Optimized Software Library
Compressed bitmap indexes are used in systems such as Git or Oracle to accelerate queries.
Databases
MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract
We have implemented our technique in a tool called MPro, a scalable and automated smart contract analyzer based on the existing symbolic analysis tool Mythril-Classic and the static analysis tool Slither.
Cryptography and Security
A lightweight design for serverless Function-as-a-Service
FaaS (Function as a Service) allows developers to upload and execute code in the cloud without managing servers.
Distributed, Parallel, and Cluster Computing
ADEPT: Automatic Differentiable DEsign of Photonic Tensor Cores
Photonic tensor cores (PTCs) are essential building blocks for optical artificial intelligence (AI) accelerators based on programmable photonic integrated circuits.
Emerging Technologies Optics
The Bloom Clock
To reduce the space complexity from which the vector clock suffers, the bloom clock uses a 'moving window' in which the partial order of events can be inferred with high confidence.
Distributed, Parallel, and Cluster Computing Data Structures and Algorithms
Harvey: A Greybox Fuzzer for Smart Contracts
First, Harvey extends standard greybox fuzzing with a method for predicting new inputs that are more likely to cover new paths or reveal vulnerabilities in smart contracts.
Software Engineering Cryptography and Security
Flash Boys 2.0: Frontrunning, Transaction Reordering, and Consensus Instability in Decentralized Exchanges
We study the breadth of DEX arbitrage bots in a subset of transactions that yield quantifiable revenue to these bots.
Cryptography and Security Computer Science and Game Theory
