Sökning: "Haskell"

Visar resultat 1 - 5 av 51 avhandlingar innehållade ordet Haskell.

  1. 1. Obsidian: GPU Kernel Programming in Haskell

    Författare :Joel Bo Svensson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Haskell; data-parallelism; GPGPU; DSL; CUDA; parallelism; Obsidian; GPU; NVIDIA; Language design; ; EDSL;

    Sammanfattning : Graphics Processing Units (GPUs) are evolving into powerful general purpose computing platforms. At first, GPU performance was driven by the requirements of 3D graphics computer games. To fit this workload, a GPU is a many-core processor suitable for the data-parallel programming paradigm. LÄS MER

  3. 2. High-level Programming on Low-level Platforms: Two Domain-specific Languages based on Haskell

    Författare :Robert Krook; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Embedded Domain-specific Languages; Haskell; Confidential Computing; TEE;

    Sammanfattning : In this thesis, we describe our research on how to program low-level platforms with high-level languages. As an example, consider applications that run on microcontrollers. Such applications may need to specify precise temporal behavior, carefully manage power usage, and handle cryptographic keys. LÄS MER

  4. 3. Securing functional programs with floating-label information-flow control

    Författare :Pablo Buiras; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; covert timing channels; LIO; concurrency; type-level programming; floating-label; Haskell; internal timing; dynamic enforcement; DC labels; dynamic policies; lazy evaluation; information-flow control; cache-based attacks; language-based security; hybrid enforcement; flow-sensitivity; functional programming; privileges;

    Sammanfattning : The work presented in this thesis focuses on information-flow control systems for functional programs, particularly on the LIO library in Haskell. The thesis considers threemain aspects in this area: timing covert channels, dynamic policies andenforcement mechanisms that improve precision of the analysis. LÄS MER

  5. 4. Securing concurrent programs with dynamic information-flow control

    Författare :Pablo Buiras; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; dynamic; lazy evaluation; LIO; Haskell; information-flow control; cache; covert channels; covert timing channels; concurrency;

    Sammanfattning : The work presented in this thesis focusses on dealing with timingcovert channels in dynamic information-flow control systems,particularly for the LIO library in Haskell.Timing channels are dangerous in the presence ofconcurrency. LÄS MER

  7. 5. MAC, A Verified Information-Flow Control Library

    Författare :Marco Vassena; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Haskell; NonInterference; Agda; Functional Programming; Information-Flow Control;

    Sammanfattning : Information Flow Control (IFC) is a language-based security mechanism that tracks where data flows within a program and prevents leakage of sensitive data. IFC has been embedded in pure functional languages such as Haskell, in the form of a library, thus reducing the implementation and maintenance effort and fostering a secure-by-construction programming-model. LÄS MER