In this paper we propose a method to find the location of crop plants in Unmanned Aerial
Vehicle (UAV) imagery. Finding the location of plants is a crucial step to derive and track …

Previous work has demonstrated that it is possible to generate efficient and highly parallel
code for multicore CPUs and GPUs from combinator-based array languages for a range of …

Haskell is a popular choice for hosting deeply embedded languages. A recurring challenge
for these embeddings is how to seamlessly integrate user defined algebraic data types. In …

This paper describes GPotion, a DSL for GPU programming embedded in the Elixir
functional language. GPotion allows programmers to write low-level GPU kernels, similar to …

Despite decades of progress, static analysis tools still have great difficulty dealing with
programs that combine arithmetic, loops, dynamic memory allocation, and linked data …

This paper presents GPotion, a DSL for GPU programming embedded in the Elixir functional
language. GPotion allows programmers to write low-level GPU kernels, similar to CUDA …

We present work assisting, a novel scheduling strategy for mixing data parallelism (loop
parallelism) with task parallelism, where threads share their current data-parallel activity in a …

Proof assistants and dependently typed languages such as Coq, Agda, Lean, and Idris can
be used to ascertain the correctness of software with mathematical precision. While much …

Generalized Algebraic Dataypes, or simply GADTs, can encode non-trivial properties in the
types of the constructors. Once such properties are encoded in a datatype, however, all code …

Code obfuscation increases the difficulty of reverse engineering software and devices,
improves the security of software and devices, and also prevents governments, enterprises …