Streaming JSON Parsing

The structure of tame and wild sets

Overview of structures from a geometric perspective, examples of structures, and expansions of the semialgebraic structure.

Systematic Testing of Hardware Compilers: Testing the DWARV C-to-VHDL Compiler

DWARV is a C-to-VHDL compiler which can compile arbitrary C programs for a heterogeneous platform with minimal effort. Depending on the application this will imply faster execution. We give an overview of C-to-VHDL compilers. One important aspect of all software is its reliability, and we aim to assess DWARV’s reliability and the adequacy of its...