Practical LR Parser Generation

jzimmerman/langcc 17 Sep 2022

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

5.81 stars / hour

ERC-20R and ERC-721R: Reversible Transactions on Ethereum

kkailiwang/erc20r 31 Jul 2022

After the dispute period has elapsed, the transaction can no longer be reversed.

Cryptography and Security

0.58 stars / hour

Dark Patterns after the GDPR: Scraping Consent Pop-ups and Demonstrating their Influence

cavi-au/Consent-O-Matic 8 Jan 2020

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

0.20 stars / hour

Conditional Variational Autoencoder with Adversarial Learning for End-to-End Text-to-Speech

jaywalnut310/vits 11 Jun 2021

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

0.17 stars / hour

Katara: Synthesizing CRDTs with Verified Lifting

hydro-project/katara 25 May 2022

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

0.17 stars / hour

Unikraft: Fast, Specialized Unikernels the Easy Way

unikraft/unikraft 26 Apr 2021

Unikernels are famous for providing excellent performance in terms of boot times, throughput and memory consumption, to name a few metrics.

Operating Systems

0.13 stars / hour

Code Smells in Elixir: Early Results from a Grey Literature Review

lucasvegi/elixir-code-smells 16 Mar 2022

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

0.13 stars / hour

I Learn to Diffuse, or Data Alchemy 101: a Mnemonic Manifesto

alembics/disco-diffusion 8 Aug 2022

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

0.09 stars / hour

MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract

crytic/slither 1 Nov 2019

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

0.10 stars / hour

A lightweight design for serverless Function-as-a-Service

WasmEdge/WasmEdge 13 Oct 2020

FaaS (Function as a Service) allows developers to upload and execute code in the cloud without managing servers.

Distributed, Parallel, and Cluster Computing

0.08 stars / hour