1

signatr: A Data-Driven Fuzzing Tool for R

The fast-and-loose, permissive semantics of dynamic programming languages limit the power of static analyses. For that reason, soundness is often traded for precision through dynamic program analysis. Dynamic analysis is only as good as the available …

What We Eval in the Shadows

Most dynamic languages allow users to turn text into code using various functions, often named `eval`, with language-dependent semantics. The widespread use of these reflective functions hinders static analysis and prevents compilers from performing …

Optimization of audio graphs by resampling

Interactive music systems are dynamic real-time systems which combine control and signal processing based on an audio graph. They are often used on platforms where there are no reliable and precise real-time guarantees. Here, we present a method of …

AntesCollider: Control and Signal Processing in the Same Score

We present AntesCollider, an environment harnessing Antescofo, a score following system extended with a real-time synchronous programming language, and SuperCol-lider, a client-server programming environment for real-time audio synthesis. The …

Ordonnancement adaptatif d'un graphe audio avec dégradation de qualité

Les systèmes interactifs musicaux sont des systèmes particulièrement dynamiques qui combinent du traitement du signal avec du contrôle en temps réel. Ils sont souvent utilisés sur des plateformes où il n'est pas possible d'avoir des garanties temps …

Typing heterogeneous dataflow graphs for static buffering and scheduling

Interactive multimedia system usually represents computations as a dataflow graph – the patching model. Nowadays , dataflow graphs integrate multiple medias from various dedicated languages and systems, with multiple rates, for instance audio rate, …

Work-in-Progress: Adaptive Scheduling with Approximate Computing for Audio Graphs

Interactive music systems are highly dynamic systems that combine audio processing and control in real-time. They often have to work on soft real-time platforms, where no stringent real-time guarantees can be upheld. We present here an overhead-aware …

Embedding native audio-processing in a score following system with quasi sample accuracy

This paper reports on the experimental native embedding of audio processing into the Antescofo system, to leverage timing precision both at the program and system level, to accommodate time-driven (audio processing) and event-driven (control) …

On the Usability of Shortest Remaining Time First Policy in Shared Hadoop Clusters

Hadoop has been recently used to process a diverse variety of applications, sharing the same execution infrastructure. A practical problem facing the Hadoop community is how to reduce job makespans by reducing job waiting times and ex- ecution times. …

A Structural Theory of Rhythm Notation based on Tree Representations and Term Rewriting

We present a tree-based symbolic representation of rhythm notation suitable for processing with purely syntactic theoretical tools such as term rewriting systems or tree automata. Then we propose an equational theory, defined as a set of rewrite …