Trending Research
Practical LR Parser Generation
In this work we demonstrate that, contrary to the prevailing consensus, we can have the best of both worlds: for a very general, practical class of grammars -- a strict superset of Knuth's canonical LR -- we can generate parsers automatically, and the resulting parser code, as well as the generation procedure itself, is highly efficient.
Formal Languages and Automata Theory Programming Languages
ERC-20R and ERC-721R: Reversible Transactions on Ethereum
After the dispute period has elapsed, the transaction can no longer be reversed.
Cryptography and Security
Dark Patterns after the GDPR: Scraping Consent Pop-ups and Demonstrating their Influence
New consent management platforms (CMPs) have been introduced to the web to conform with the EU's General Data Protection Regulation, particularly its requirements for consent when companies collect and process users' personal data.
Human-Computer Interaction Computers and Society
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
Katara: Synthesizing CRDTs with Verified Lifting
In this paper, we present Katara, a program synthesis-based system that takes sequential data type implementations and automatically synthesizes verified CRDT designs from them.
Programming Languages Distributed, Parallel, and Cluster Computing D.1.2
Unikraft: Fast, Specialized Unikernels the Easy Way
Unikernels are famous for providing excellent performance in terms of boot times, throughput and memory consumption, to name a few metrics.
Operating Systems
Code Smells in Elixir: Early Results from a Grey Literature Review
We also propose a list of 18 new smells specific for Elixir systems and investigate whether these smells are currently identified by Credo, a well-known static code analysis tool for Elixir.
Software Engineering
I Learn to Diffuse, or Data Alchemy 101: a Mnemonic Manifesto
In this manifesto, we put forward the idea of data alchemy as a narrative device to discuss storytelling and transdisciplinarity in visualization.
Human-Computer Interaction
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
